Sciweavers

4385 search results - page 476 / 877
» Abstraction for Concurrent Objects
Sort
View
AIPS
2011
14 years 10 months ago
Directed Search for Generalized Plans Using Classical Planners
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
ICDE
2008
IEEE
190views Database» more  ICDE 2008»
16 years 8 months ago
Efficient Query Processing in Large Traffic Networks
Abstract-- We present an original graph embedding to speedup distance-range and k-nearest neighbor queries on static and/or dynamic objects located on a (weighted) graph. Our metho...
Hans-Peter Kriegel, Matthias Renz, Peer Kröge...
ACAL
2009
Springer
16 years 1 months ago
Evaluation of the Effectiveness of Machine-Based Situation Assessment
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
David M. Lingard, Dale A. Lambert
DAGM
2009
Springer
16 years 1 months ago
Fusing Time-of-Flight Depth and Color for Real-Time Segmentation and Tracking
Abstract. We present an improved framework for real-time segmentation and tracking by fusing depth and RGB color data. We are able to solve common problems seen in tracking and seg...
Amit Bleiweiss, Michael Werman
ECSQARU
2009
Springer
16 years 1 months ago
Belief Functions and Cluster Ensembles
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...
Marie-Hélène Masson, Thierry Denoeux