5964 search results - page 891 / 1193 » A theory of speculative computation |
215
click to vote
LICS
2006
IEEE
16 years 1 months 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...
233
click to vote
MICAI
2005
Springer
16 years 28 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...
182
click to vote
MM
2004
ACM
16 years 26 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...
237
Voted
SMA
2003
ACM
16 years 20 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...
180
click to vote
SMA
2003
ACM
16 years 20 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...