5964 search results - page 423 / 1193 » A theory of speculative computation |
194
click to vote
FOSSACS
2003
Springer
16 years 25 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
207
click to vote
ICRA
2002
IEEE
16 years 17 days ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
135
click to vote
WEBI
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. This paper is about a new research field called Web Intelligence (WI for short). We try to explain the needs for coining the term as a sub-discipline of computer science...
197
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
182
click to vote
VISUALIZATION
1992
IEEE
15 years 11 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...