JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computer Science by Type "technical report"
Now showing items 2140 of 1735

An Adaptive Nonlinear LeastSquares Algorithm
Dennis, John E. Jr.; Gay, David M.; Welsch, Roy E. (Cornell University, 197708)NL2SOL is a modular program for solving nonlinear leastsquares problems that incorporate a number of novel features. It maintains a secant approximation S to the secondorder part of the leastsquares Hessian and ... 
Adding the Everywhere Operator to Propositional Logic
Gries, David; Schneider, Fred B. (Cornell University, 199605)Sound and complete modal propositional logic C is presented, in which "P" has the interpretation "P is true in all states". The interpretation is already known as the Carnapian extension of S5. A new axiomatization for ... 
Addition Requirements for Rational Functions
Kirkpatrick, David G.; Kedem, Zvi M. (Cornell University, 197508)A notion of rank or independence for arbitrary sets of rational functions is developed, which bounds from below the number of additions and subtractions required of all straightline algorithms which compute those ... 
Admissibility of Fixpoint Induction over Partial Types
Crary, Karl (Cornell University, 199804)Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned types using fixpoint induction. However, ... 
ADMIT1 : Automatic Differentiation and MATLAB Interface Toolbox
Coleman, Thomas F.; Verma, Arun (Cornell University, 199801)ADMIT1 enables you to compute {\em sparse} Jacobian and Hessian matrices, using automatic differentiation technology, from a MATLAB environment. You need only supply a function to be differentiated and ADMIT1 will exploit ... 
Advanced Feedback Methods in Information Retrieval
Salton, Gerard; Fox, Edward A.; Voorhees, Ellen M. (Cornell University, 198308)Automatic feedback methods may be used in online information retrieval to generate improved query statements based on information contained in previously retrieved documents. In this study automatic relevance feedback ... 
An Affine Scaling Algorithm for Minimizing Total Variation in ImageEnhancement
Li, Yuying; Santosa, Fadil (Cornell University, 199412)A computational algorithm is proposed for image enhancement based on total variation minimization with constraints. This constrained minimization problem is introduced by Rudin et al \cite{osher1,osher3,osher2} to enhance ... 
Agent Technology Applied to Adaptive Relay Setting for MultiTerminalLines
Coury, Denis V.; Thorp, Jim S.; Hopkinson, Kenneth M.; P., Birman Kenneth (Cornell University, 20000327)Abstract: This paper discusses the adaptation of the settings of distance relays for multiterminal lines employing agents. Agents are software processes capable of searching for information in networks, interacting with ... 
Alex  A Paradigm for Expressing and Compiling Matrix Functions
Ressler, Gene K. (Cornell University, 199306)This work presents formal and practical tools to support the Alex paradigm for expressing and compiling matrix functions. Alex programs are recursive definitions over matrices with the same flavor as the elegant FP ... 
ALEX  an Alexical Programming Language
Kozen, Dexter; Teitelbaum, Tim; Chen, Wilfred Z.; Field, John H.; Pugh, William W.; Vander Zanden, Bradley T. (Cornell University, 198705)ALEX is an experimental language for highlevel parallel programming. It is a testbed for exploring various nontraditional ways of expressing algorithmic ideas, making extensive use of highresolution color graphics. ... 
Algebraic Specification of a Communication Scheduler
Mathai, Joseph; Moitra, Abha (Cornell University, 198406)A distributed programming language normally incorporates one mechanism by which processes communicate with each other. This mechanism can be used to transfer information or to synchronize the flow of control in the ... 
An Algorithm for Checking PL/CV Arithmetic Inferences
Chan, Tathung (Cornell University, 197710)This paper describes the operation and implementation of the arithmetic proof rule for the quantifier free integer arithmetic used in the PL/CV 2 program verification system. The general arithmetic satisfiability problem ... 
An Algorithm for Coloring the Nodes of a Graph
Wagner, Robert A. (Cornell University, 197010)We study the problem of coloring the nodes of a graph such that two nodes joined by an arc are assigned different colors. An algorithm is presented which requires $~n^{3}$ time, where the graph contains $n$ nodes. This ... 
An Algorithm for Determining Whether the Connectivity of a Graph is at Least k
Even, Shimon (Cornell University, 197309)The algorithm presented in this paper is for testing whether the connectivity of a large graph of $n$ vertices is at least $k$. First the case of undirected graphs is discussed, and then it is shown that a variation of ... 
An Algorithm for Extracting Phrases in a SpaceOptimal Fashion
Wagner, Robert A. (Cornell University, 197102)NO ABSTRACT SUPPLIED 
An Algorithm for Processing Program Transformations
Efremidis, Sofoklis G.; Gries, David (Cornell University, 199310)An algorithm for processing program transformations as described by the transform construct is presented. The algorithm constructs a coordinate transformation of an abstract program based on a set of transforms and ... 
An Algorithm for the Newton Resultant
Canny, John; Pedersen, Paul (Cornell University, 199310)Given a system of $n+1$ generic Laurent polynomials, for $i \,=\, 1, \ldots, n+1$, $$\eqlabel(\InputSystem) f_i(\x) \quad = \quad \sum_{q\in \A_i} c_{iq} \,x^q; \qquad q \,=\, (q_1,\ldots,q_n); \qquad \x^q \,=\, ... 
The Algorithmic Analysis of Hybrid Systems
Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho, PeiHsin; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio (Cornell University, 199410)We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata ... 
Algorithmic Investigations in PAdic Fields
Dubhashi, Devdatt P. (Cornell University, 199209)This thesis is concerned with algorithmic investigations in padically closed fields, of which Hensel's field of padic numbers is prototypical. The well known analogies between the field of real numbers and the field ... 
Algorithms for Nonlinear Problems Which Use DiscreteApproximations to Derivatives
Dennis, John E., Jr. (Cornell University, 197105)The most desirable algorithms for nonlinear programming problems call for obtaining the gradient of the objective and the Jacobian of the constraint function. The analytic form is often impossible and almost always impractical ...