98 search results - page 12 / 20 » A semantics for procedure local heaps and its abstractions |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...
CONCUR
1999
Springer
14 years 4 days ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
ECCV
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. A major reason leading to tracking failure is the spatial distractions that exhibit similar visual appearances as the target, because they also generate good matches to t...
ECCV
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Robust face alignment is crucial for many face processing applications. As face detection only gives a rough estimation of face region, one important problem is how to al...