Sciweavers

1029 search results - page 118 / 206
» Compact representations of ordered sets
Sort
View
132
Voted
AMDO
2006
Springer
15 years 6 months ago
Acquisition of Articulated Human Body Models Using Multiple Cameras
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
Aravind Sundaresan, Rama Chellappa
AIPS
2000
15 years 3 months ago
New Results about LCGP, a Least Committed GraphPlan
Planners from the family of Graphplan (Graphplan, IPP, STAN...) are presently considered as the most efficient ones on numerous planning domains. Their partially ordered plans can...
Michel Cayrol, Pierre Régnier, Vincent Vida...
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 7 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
EDBT
2004
ACM
131views Database» more  EDBT 2004»
16 years 2 months ago
A Framework for Access Methods for Versioned Data
This paper presents a framework for understanding and constructing access methods for versioned data. Records are associated with version ranges in a version tree. A minimal repre...
Betty Salzberg, Linan Jiang, David B. Lomet, Manue...
MOBIHOC
2005
ACM
16 years 2 months ago
Sextant: a unified node and event localization framework using non-convex constraints
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
Emin Gün Sirer, Rohan Murty, Saikat Guha