9521 search results - page 408 / 1905 » Compiling with continuations, continued |
187
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
163
click to vote
VLSM
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
173
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes a new niching method named hierarchical niching, which combines spatial niching in search space and a continuous temporal niching concept. The method is natural...
150
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
156
click to vote
VLDB
2004
ACM
16 years 4 days ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...