33356 search results - page 140 / 6672 » Models of Continual Computation |
143
click to vote
MCS
2007
Springer
15 years 4 months ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...
260
Voted
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
The continuous intersection join query is computationally expensive yet important for various applications on moving objects. No previous study has particularly addressed this que...
122
click to vote
IJCAI
2003
15 years 6 months ago
2003
We describe algorithms for computing Nash equilibria in structured game representations, including both graphical games and multi-agent influence diagrams (MAIDs). The algorithms...
133
Voted
ISER
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we present a new approach for continuous probabilistic mapping. The objective is to build metric maps of unknown environments through cooperation between multiple au...
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...