Sciweavers

5619 search results - page 276 / 1124
» A Region Inference Algorithm
Sort
View
164
Voted
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 21 days ago
Magnifying-Lens Abstraction for Markov Decision Processes
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
Luca de Alfaro, Pritam Roy
3DPVT
2004
IEEE
148views Visualization» more  3DPVT 2004»
15 years 10 months ago
Surface Model Generation from Range Images of Industrial Environments
This paper presents an hybrid segmentation technique that combines both the speed of an edge based approach with the robustness of a surface based approach. It consists of three s...
Angel Domingo Sappa
RSS
2007
105views Robotics» more  RSS 2007»
15 years 8 months ago
Motion Strategies for Surveillance
Abstract— We address the problem of surveillance in an environment with obstacles. We show that the problem of tracking an evader with one pursuer around one corner is completely...
Sourabh Bhattacharya, Salvatore Candido, Seth Hutc...
BMCBI
2006
128views more  BMCBI 2006»
15 years 6 months ago
Rank-statistics based enrichment-site prediction algorithm developed for chromatin immunoprecipitation on chip experiments
Background: High density oligonucleotide tiling arrays are an effective and powerful platform for conducting unbiased genome-wide studies. The ab initio probe selection method emp...
Srinka Ghosh, Heather A. Hirsch, Edward A. Sekinge...
CVPR
2005
IEEE
16 years 8 months ago
Learning to Estimate Human Pose with Data Driven Belief Propagation
We propose a statistical formulation for 2-D human pose estimation from single images. The human body configuration is modeled by a Markov network and the estimation problem is to...
Gang Hua, Ming-Hsuan Yang, Ying Wu