5409 search results - page 164 / 1082 » Basic Observables for Processes |
108
Voted
ENTCS
2010
15 years 2 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
156
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
104
click to vote
FGCS
2000
15 years 2 months ago
2000
This paper overviews recent work on ant algorithms, that is, algorithms for discrete optimization which took inspiration from the observation of ant colonies foraging behavior, an...
123
Voted
ICCV
2009
IEEE
15 years 15 days ago
2009
IEEE
The human visual system observes and understands a scene/image by making a series of fixations. Every "fixation point" lies inside a particular region of arbitrary shape...
200
click to vote
Publication
Spatio-temporal data streams that are generated from mobile stream sources (e.g., mobile sensors) experience similar environmental conditions that result in distinct phenomena. Sev...