Sciweavers

1532 search results - page 199 / 307
» The Symbol Grounding Problem
Sort
View
ICRA
2010
IEEE
193views Robotics» more  ICRA 2010»
15 years 4 months ago
Real-time identification and localization of body parts from depth images
Abstract-- We deal with the problem of detecting and identifying body parts in depth images at video frame rates. Our solution involves a novel interest point detector for mesh and...
Christian Plagemann, Varun Ganapathi, Daphne Kolle...
ICMCS
2009
IEEE
219views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Moving targets labeling and correspondence over multi-camera surveillance system based on Markov network
In this paper, we propose an efficient way to simultaneously label and map targets over a multi-camera surveillance system. In the system, we first fuse the detection results from...
Chingchun Huang, Sheng-Jyh Wang
CORR
2011
Springer
177views Education» more  CORR 2011»
15 years 1 months ago
Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
Feng Niu, Christopher Ré, AnHai Doan, Jude ...
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
16 years 1 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
GLOBECOM
2009
IEEE
16 years 1 months ago
EXIT Chart Evaluation of a Receiver Structure for Multi-User Multi-Antenna OFDM Systems
— In this paper we evaluate, by means of Extrinsic Information Transfer (EXIT) charts, an iterative receiver that has emerged as a promising candidate for non-coherent multi-user...
Peter Hammarberg, Fredrik Rusek, Pierluigi Salvo R...