60 search results - page 3 / 12 » escape 2007 |
ESCAPE
2007
Springer
13 years 11 months ago
2007
Springer
We propose two new data stream models: the reset model and the delta model, motivated by applications to databases, and to tracking the location of spatial points. We present algor...
AML
2006
13 years 5 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
EUROSSC
2007
Springer
13 years 11 months ago
2007
Springer
Supporting adaptive processes in tackling emergency situations, such as disasters, is a key issue for any emergency management system. In such situations, various teams are deploye...
CC
2007
Springer
13 years 11 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
We revisit the problem of recovering 3D shape from the projection of planar curves on a surface. This problem is strongly motivated by perception studies. Applications include sin...