Search
Skip to Search Results- 28Szafron, Duane
- 21Schaeffer, Jonathan
- 19Zaiane, Osmar
- 15Ozsu, M. Tamer
- 14Nascimento, Mario
- 13Yang, Herb
- 29Database Systems
- 18Artificial Intelligence
- 13Computer Games
- 9Computer Graphics
- 9Databases
- 8Communication Networks
-
The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar
1996
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. ...
-
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
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
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...
-
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...