Sciweavers

7920 search results - page 1325 / 1584
» The Swarm Application Framework
Sort
View
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 10 months ago
Air traffic management with target windows: An approach using reachability
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
Kostas Margellos, John Lygeros
DASFAA
2007
IEEE
151views Database» more  DASFAA 2007»
15 years 10 months ago
On Label Stream Partition for Efficient Holistic Twig Join
Label stream partition is a useful technique to reduce the input I/O cost of holistic twig join by pruning useless streams beforehand. The Prefix Path Stream (PPS) partition scheme...
Bo Chen, Tok Wang Ling, M. Tamer Özsu, Zhenzh...
DMSN
2007
ACM
15 years 10 months ago
Declarative temporal data models for sensor-driven query processing
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
Yanif Ahmad, Ugur Çetintemel
ECOOP
2007
Springer
15 years 10 months ago
Tracking Linear and Affine Resources with Java(X)
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
Markus Degen, Peter Thiemann, Stefan Wehr
ICPR
2010
IEEE
15 years 10 months ago
Human Pose Estimation for Multiple Persons Based on Volume Reconstruction
—Most of the development of pose recognition focused on a single person. However, many applications of computer vision essentially require the estimation of multiple people. Henc...
Xinghan Luo
« Prev « First page 1325 / 1584 Last » Next »