JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Title
Now showing items 2340923428 of 40724

Incremental Computation: A SemanticsBased Systematic Transformational Approach
Liu, Yanhong Annie (Cornell University, 199510)Incremental computation takes advantage of repeated computations on inputs that differ slightly from one another, computing each new output incrementally by making use of the previous output rather than from scratch. ... 
Incremental Constraint Satisfaction and its Application to Graphical Interfaces
Vander Zanden, Bradley T. (Cornell University, 198810)Software that emphasizes pictures, rather than text, has become increasingly popular since the introduction of the Macintosh computer. Creating this software is a timeconsuming task that can take months or years. ... 
An Incremental Drawing Algorithm for Planar Graphs
Harel, David; Sardas, Meir (Cornell University, 199504)We present a new algorithm for drawing planar graphs on the plane. It can be viewed as a generalization of the algorithm of Chrobak and Payne, which in turn, is based on an algorithm by de Fraysseix, Pach and Pollack. Our ... 
Incremental Graph Evaluation
Hoover, Roger (Cornell University, 198705)There are many computer applications that can be made incremental. After a small perturbation to the computation at hand, intermediate values of a previous evaluation can be used to obtain the result of the new computation. ... 
An Incremental Model for Combinatorial Maximization Problems
Hartline, Jeff; Sharp, Alexa (Cornell University, 20051026)Many combinatorial optimization problems aim to select a subset of elements of maximum value subject to certain constraints. We consider an incremental version of such problems, in which some of the constraints rise over ... 
An Incremental Model for Combinatorial Minimization
Hartline, Jeff; Sharp, Alexa (Cornell University, 20060705)Traditional optimization algorithms are concerned with static input, static constraints, and attempt to produce static output of optimal value. Recent literature has strayed from this conventional approach to deal with ... 
Incremental Optimization
Jeff, Hartline (20070815)Typical optimization problems aim to select a single solution of maximum or minimum value from a large space of feasible solutions. For many such problems, feasible solutions are subsets of a global set of elements that ... 
An Incremental Planning Algorithm for Ordering Equations in a Multilinear System of Constraints
Vander Zanden, Bradley T. (Cornell University, 198804)Constraint equations are increasingly being used in interactive applications such as graphics, logical programming, and simulation that demand immediate feedback. To handle the performance requirements imposed by such ... 
Incremental Reduction in the Lambda Calculus
Field, John H.; Teitelbaum, Tim (Cornell University, 199005)An incremental algorithm is one that takes advantage of the fact that the function it computes is to be evaluated repeatedly on inputs that differ only slightly from one another, avoiding duplication of common computations. ... 
Incremental Reduction in the Lambda Calculus and Related Reduction Systems
Field, John H. (Cornell University, 199111)An incremental algorithm is one that computes a function repeatedly on a series of inputs that differ only slightly from one another, yet avoids unnecessary duplication of computations from one input to the next. This ... 
An Incremental Shift To The Ecological Approach Of Obesity Prevention: Extension Nutrition Managersx19 Use Of Environmental Strategies
Lu, Angela (20120131)Recommendations and strategic plans for obesity prevention emphasize u se of the socioecological approach that necessitates collaborations among multiple stakeholders. As a partner in communitybased projects aimed at ... 
INCUBATING FOR INTELLIGENCE: SPATIAL ATTRIBUTES AND INTERACTION EMERGENCE IN CORPORATE WORKPLACE
Kuakul, Poonrit (20070216)As industries increasingly rely on innovation and knowledge workers, interaction and social networks have once again emerged as a primary purpose for working together in the place called office. The purposes of this thesis ... 
Incubating Open Journals in Economics
Getz, Malcolm (InternetFirst University Press, 20051020)As open journals become intellectual successes, they will come to substitute for subscriptionbased journals. The entry of two new journals specializing in economic theory, one a commercial subscription journal and the ... 
Indefinite Summation and the Kronecker Delta
Kozen, Dexter; Timme, Marc (20071018)Indefinite summation, together with a generalized version of the Kronecker delta, provide a calculus for reasoning about various polynomial functions that arise in combinatorics, such as the Tutte, chromatic, flow, and ... 
The Indefiniteness and Focusing of Question Words
Haida, Andreas (20090630)From the Proceedings of SALT XVIII, 2008 
Independence From Obfuscation: A Semantic Framework for Diversity
Pucella, Riccardo; Schneider, Fred B. (Cornell University, 20060130)A set of replicas is diverse to the extent that all implement the same functionality but differ in their implementation details. Diverse replicas are less prone to having vulnerabilities in common, because attacks typically ... 
Independence Results about ContextFree Languages and Lower Bounds
Hartmanis, Juris (Cornell University, 198405)We show that for any axiomatizable, sound formal system F there exist instances of natural problems about contextfree languages, lower bounds of computations and P versus NP that are not provable in F for any recursive ... 
Independence Results in Computer Science
Hartmanis, Juris; Hopcroft, John E. (Cornell University, 197612)In this note we show that instances of problems which appear naturally in computer science cannot be answered in formalized set theory. We show, for example, that some relativized versions of the famous P = NP problem ... 
Independent Bohemia, 1915
Masaryk, Tomas (The University Press and Macmillian Company, 1943)Confidential memorandum from 1915 in which Tomas Masaryk argues for the dismemberment of Austria and the creation of an independent Bohemia