11381 search results - page 482 / 2277 » Connectivity |
177
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
157
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a purely vision-based scheme for learning a topological representation of an open environment. The system represents selected places by local views of the surr...
172
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
159
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
162
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
The recent popularity of digital media such as CD-ROM and the Internet has prompted exploration of techniques for embedding data, either visibly or invisibly, into text, image, and...