Sciweavers

800 search results - page 139 / 160
» On the Complexity of Parity Games
Sort
View
ICC
2007
IEEE
180views Communications» more  ICC 2007»
14 years 3 months ago
Distributed Quad-Tree for Spatial Querying in Wireless Sensor Networks
— In contrast to the traditional wireless sensor network (WSN) applications that perform only data collection and aggregation, new generation of information processing applicatio...
Murat Demirbas, Xuming Lu
PG
2007
IEEE
14 years 3 months ago
Wrestle Alone : Creating Tangled Motions of Multiple Avatars from Individually Captured Motions
Animations of two avatars tangled with each other often appear in battle or fighting scenes in movies or games. However, creating such scenes is difficult due to the limitations...
Edmond S. L. Ho, Taku Komura
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 3 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
FDL
2006
IEEE
14 years 3 months ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...
HRI
2006
ACM
14 years 3 months ago
Effective team-driven multi-model motion tracking
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
Yang Gu, Manuela M. Veloso