278 search results - page 49 / 56 » A Framework for Counterexample Generation and Exploration |
PAMI
2007
13 years 8 months ago
2007
—Time-Correlated Single Photon Counting and Burst Illumination Laser data can be used for range profiling and target classification. In general, the problem is to analyze the res...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
Reconstructing the 3D shape of human faces is an intensively researched topic. Most approaches aim at generating a closed surface representation of geometry, i.e. a mesh, which is...
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper we propose a framework for synchronization based control (SBC) using neural oscillators for motion assist. A neural oscillator is used to accomplish synchronization a...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Grouping cues can affect the performance of segmentation greatly. In this paper, we show that superpixels (image segments) can provide powerful grouping cues to guide segmentation...
CCR
2010
13 years 8 months ago
2010
As data centers become more and more central in Internet communications, both research and operations communities have begun to explore how to better design and manage them. In th...