5964 search results - page 891 / 1193 » A theory of speculative computation |
198
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
214
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
167
click to vote
MM
2004
ACM
16 years 7 days ago
2004
ACM
This is a personal narrative that began 30 years ago as a childhood hobby, of wearing and implanting various sensors, effectors, and multimedia computation in order to re-define...
208
click to vote
SMA
2003
ACM
16 years 1 days ago
2003
ACM
Surface reconstruction from unorganized sample points is an important problem in computer graphics, computer aided design, medical imaging and solid modeling. Recently a few algor...
166
click to vote
SMA
2003
ACM
16 years 1 days ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...