Technical Reports (Computing Science)

1996

Rudnicki, Piotr

Technical report TR96-09. An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by 2 by 1 dominoes. John McCarthy postulates that a mechanized system of heavy duty set theory should accept his formal description of the proposition and his proof that the covering...

1993

Peters, Randal J., Ozsu, M. Tamer, Szafron, Duane, Lipka, Anna

Technical report TR93-01. The establishment of a formal object model provides a theoretical foundation to investigate other objectbase features such as query processing. In this report, we present an extensible uniform behavioral object query model for the TIGUKAT(*) object management system. ...

2006

Zinkevich, Martin

Technical report TR06-25. In this paper we present a mathematical foundation for Incremental Least-Squares Temporal Difference Learning (iLSTD) for policy evaluation in reinforcement learning with linear function approximation. iLSTD is an incremental method for achieving results similar to...

1991

Rudnicki, Piotr, Hoover, James

Technical report TR91-02. We present a very simple protocol for the self-stabilizing orientation of a unicyclic network of uniform processors. It has the same O(n2) performance as the Israeli and Jalfon protocol for rings but is much simpler to state and furthermore operates under the weaker...

2005

Yang, Herb, Qin, Xuejie

Technical report TR05-26. Since the paper was published in SIGGRAPH 2003, the Graphcut Textures has become a popular and important technique for both static and dynamic image texture synthesis. However, the discussion on the theoretic side of the Graphcut Textures appears lacking with little...

1994

Peters, Randal J.

Technical report TR94-06. Object-oriented computing is influencing many areas of computer science, including database systems. Despite many advances, object-oriented computing is still in its infancy and a universally accepted definition of an object-oriented model is virtually nonexistent. In...

1992

Peters, Randal J., Szafron, Duane, Ozsu, M. Tamer

Technical report TR92-14. Object-oriented computing is influencing many areas of computer science including software engineering, user interfaces, operating systems, programming languages and database systems. The appeal of object-orientation is attributed to its higher levels of abstraction for...

2006

Stroulia, Eleni, Tansey, Brendan

Technical report TR06-20. Economic models are critical for business success because they can be used to determine the costs and benefits associated with making a business decision. As the economy moves away from traditional goods and towards delivering services, the need for an accurate economic...

2003

Cheng, Bin

Technical report TR03-03. The increasing amount of information available has made information retrieval tools become more and more important. Traditionally, these tools retrieve information by literally matching terms in the documents with the terms in the query. Unfortunately, because of...

2009

Cobzas, Dana, Birkbeck, Neil, Jagersand, Martin

Technical report TR09-03. We propose a method that makes standard turntable-based vision acquisition a practical method for recovering models of human geometry. A human subject typically exhibits some unintended joint motion while rotating on a turntable. Ignoring such motion causes...