11808 search results - page 483 / 2362 » Isometries and Computability Structures |
166
Voted
ICAD
2004
15 years 8 months ago
2004
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...
193
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
186
click to vote
PDPTA
2003
15 years 8 months ago
2003
We investigate the management of flocking mobile objects using a parallel message-passing computer cluster. An octree, a data structure well-known for use in managing a 3D space, ...
206
click to vote
AIPS
2009
15 years 8 months ago
2009
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
189
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...