4949 search results - page 663 / 990 » Consistency and Set Intersection |
190
click to vote
ICCSA
2007
Springer
16 years 1 months 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...
212
Voted
IESS
2007
Springer
16 years 1 months 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...
169
click to vote
KI
2007
Springer
16 years 1 months 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...
191
click to vote
LOCA
2007
Springer
16 years 1 months 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....
234
click to vote
LOPSTR
2007
Springer
16 years 1 months 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 ...