5216 search results - page 257 / 1044 » Planning as Model Checking |
133
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
The ATLAS Collaboration[1] has been preparing for Large Hadron Collider (LHC) running for more than 20 years. By summer of 2007 we expect the first colliding beams of protons and...
WSC
2008
15 years 6 months ago
2008
144
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
139
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
In a known environment, objects may be tracked in multiple views using a set of background models. Stereo-based models can be illumination-invariant, but often have undefined valu...
146
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...