1973 search results - page 175 / 395 » The Construction of Ludic Space |
133
click to vote
ROMAN
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— We propose a “display robot” that directly anthropomorphizes objects using body parts that are like those of humans. It is constructed of devices that look like eye...
155
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
180
click to vote
ER
2005
Springer
15 years 12 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
163
click to vote
ISAAC
2005
Springer
15 years 12 months ago
2005
Springer
We characterize the gap between time and space complexity of functions by operators and completeness. First, we introduce a new notion of operators for function complexity classes ...
165
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...