3552 search results - page 668 / 711 » Proof theory in the abstract |
188
click to vote
ECCV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Graph cuts has emerged as a preferred method to solve a class of energy minimization problems in computer vision. It has been shown that graph cut algorithms designed kee...
171
click to vote
ECEASST
2010
14 years 11 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
133
click to vote
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Characterizing the topology and therefore fundamental limits is a must to establish effective end-to-end cognitive radio networking (CRN). However, there lacks complete u...
156
Voted
ACCV
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We propose a methodology for recognizing actions at a distance by watching the human poses and deriving descriptors that capture the motion patterns of the poses. Human p...
124
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- In robot deployment problems, the fundamental issue is to optimize a steady state performance measure that depends on the spatial configuration of a group of robots. For...