JavaScript is disabled for your browser. Some features of this site may not work without it.
Computing and Information Science Technical Reports
Browse by
This is a collection of technical reports from the Cornell's Computing and Information Science (CIS) Department from the time period of 2003-present. These reports are part of the NCSTRL collection of Computer Science Technical Reports.
For reports prior to 2003, see the Computer Science Technical Reports Collection.
Recent Submissions
-
Hyperproperties
Clarkson, Michael R.; Schneider, Fred B. (2008-01-27)Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ... -
The Boehm-Jacopini Theorem is False, Propositionally
Kozen, Dexter; Tseng, Wei-Lung (Dustin) (2008-01-23)The Boehm-Jacopini theorem (Boehm and Jacopini, 1966) is a classical result of program schematology. It states that any deterministic flowchart program is equivalent to a while program. The theorem is usually formulated ... -
QuickSilver Scalable Multicast
Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (2007-12-24)Our work is motivated by a platform we are building to support a new style of distributed programming, in which users drag and drop live components into live documents, often without needing to write new code. The capability ... -
Scalable Winner Determination in Advertising Auctions
Martin, David; Gehrke, Johannes; Halpern, Joseph (2007-11-15)Internet search results are a growing and highly profitable advertising platform. Search providers auction advertising slots to advertisers on their search result pages. Due to the high volume of searches and the users' ... -
Indefinite Summation and the Kronecker Delta
Kozen, Dexter; Timme, Marc (2007-10-18)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 ... -
Videos of Trajectory Design Based on Motion Primitives: Direct Design and Learning
Li, Keyong; D'Andrea, Raffaello (2007-10-07)The enclosed videos demonstrate an approach of integrating the optimality of two layers of autonomous vehicle trajectory design. We assume that some optimal control laws are available as a set of motion primitives (the ... -
A Priority-Based Decision Model Demonstrated with Two-On-Two Robot Soccer
Li, Keyong; Purwin, Oliver; D'Andrea, Raffaello (AAAI-07, Video Competition, 2007-07)These videos are archived here to be referenced by current and future publications of the authors. What they demonstrate is a framework for mission-oriented robot control that seems to suggest a promising direction for ... -
Visuomotor Optimality and its Utility in Parametrization of Response
Sherback, Michael; D'Andrea, Raffaello (Cornell University, 2007-08-30)We present a method of characterizing visuomotor response by inferring subject-specific physiologically meaningful parameters within the framework of optimal control theory. The characterization of visuomotor response is ... -
A Generalized Frequency Weighting Framework for LQG Compensator Design
Sherback, Michael (Cornell University, 2007-08-30)This paper specifies methods enabling specific types of frequency domain loopshaping in the LQG framework. It gives the augmented state and observation equations for a general system with colored sensor or motor noise, ... -
High-Speed Function Approximation
Panda, Biswanath; Riedewald, Mirek; Gehrke, Johannes; Pope, Stephen (Cornell University, 2007-08-14)Learning methods for predictive models have traditionally focused on prediction quality and model building time, while prediction time(the time taken to make a prediction) is often ignored. However, there is an increasing ...