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 ...

View more


RSS Feeds