2249 search results - page 156 / 450 » Representations for category disambiguation |
146
click to vote
ISMAR
2007
IEEE
16 years 23 days ago
2007
IEEE
Tangible Augmented Reality (AR) systems imbue physical objects with the ability to act and respond in new ways. In particular, physical objects and gestures made with them gain me...
162
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
188
click to vote
MIDDLEWARE
2007
Springer
16 years 19 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
171
click to vote
GLVLSI
2006
IEEE
16 years 16 days ago
2006
IEEE
In modern IC design, the number of long on-chip wires has been growing rapidly because of the increasing circuit complexity. Interconnect delay has dominated over gate delay as te...
178
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...