4949 search results - page 663 / 990 » Consistency and Set Intersection |
173
click to vote
ICCSA
2007
Springer
16 years 26 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
186
click to vote
IESS
2007
Springer
16 years 26 days ago
2007
Springer
This work investigates the use of reconfigurable devices as computing platform for self-organizing embedded systems. Those usually consist of a set of distributed, autonomous node...
154
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
165
click to vote
LOCA
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure....
205
Voted
LOPSTR
2007
Springer
16 years 25 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...