Sciweavers

1532 search results - page 199 / 307
» The Symbol Grounding Problem
Sort
View
ICRA
2010
IEEE
193views Robotics» more  ICRA 2010»
15 years 2 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 2 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»
14 years 11 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»
15 years 11 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
15 years 11 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...