Sciweavers

4539 search results - page 296 / 908
» Approaches to Compute Workflow Complexity
Sort
View
LICS
2006
IEEE
16 years 19 days ago
Avoiding Determinization
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
Orna Kupferman
ACII
2005
Springer
16 years 5 days ago
Using an Avatar to Develop a System for the Predication of Human Body Pose from Moments
Tracking people using movie sequences is not straightforward because of the human body's articulation and the complexity of a person's movements. In this paper we show ho...
Song Hu, Bernard F. Buxton
ICTAC
2004
Springer
16 years 4 hour ago
Real Time Reactive Programming in Lucid Enriched with Contexts
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
MICRO
1995
IEEE
72views Hardware» more  MICRO 1995»
15 years 10 months ago
Dynamic rescheduling: a technique for object code compatibility in VLIW architectures
Lack of object code compatibility in VLIW architectures is a severe limit to their adoption as a generalpurpose computing paradigm. Previous approaches include hardware and softwa...
Thomas M. Conte, Sumedh W. Sathaye
156
Voted
AIIDE
2008
15 years 9 months ago
Direction Maps for Cooperative Pathfinding
Cooperative behavior is a desired trait in many fields from computer games to robotics. Yet, achieving cooperative behavior is often difficult, as maintaining shared information a...
M. Renee Jansen, Nathan R. Sturtevant