9521 search results - page 408 / 1905 » Compiling with continuations, continued |
140
click to vote
CSL
2005
Springer
15 years 10 months 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...
135
click to vote
VLSM
2005
Springer
15 years 10 months 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...
144
Voted
GECCO
2004
Springer
15 years 10 months 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...
121
click to vote
HYBRID
2004
Springer
15 years 10 months 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...
120
Voted
VLDB
2004
ACM
15 years 10 months 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...