2451 search results - page 213 / 491 » Effective View Navigation |
160
click to vote
DAGM
1999
Springer
15 years 8 months ago
1999
Springer
We believe intelligence does not dwell solely in brain but emerges from active interactions with environments through perception, action, and communication. This paper give an over...
140
click to vote
PPOPP
1993
ACM
15 years 8 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
148
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
174
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
This paper explores a user interface technique which augments an immersive head tracked display with a hand-held miniature copy of the virtual environment. We call this interface ...
137
click to vote
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...