Sciweavers

1227 search results - page 144 / 246
» Using Generation for Grammar Analysis and Error Detection
Sort
View
159
Voted
CVPR
2008
IEEE
15 years 3 months ago
Globally optimal surface segmentation using regional properties of segmented objects
Efficient segmentation of globally optimal surfaces in volumetric images is a central problem in many medical image analysis applications. Intra-class variance has been successful...
Xin Dou, Xiaodong Wu, Andreas Wahle, Milan Sonka
SIGSOFT
2010
ACM
15 years 1 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
138
Voted
IJCV
1998
98views more  IJCV 1998»
15 years 3 months ago
Exploiting Discontinuities in Optical Flow
Most optical flow estimation techniques have substantial difficulties dealing with flow discontinuities. Methods which simultaneously detect flow boundaries and use the detect...
William B. Thompson
116
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
Eyegaze Analysis of Displays With Combined 2D and 3D Views
Displays combining both 2D and 3D views have been shown to support higher performance on certain visualization tasks. However, it is not clear how best to arrange a combination of...
Melanie Tory, M. Stella Atkins, Arthur E. Kirkpatr...
140
Voted
CP
2003
Springer
15 years 8 months ago
Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
Carlos Eisenberg, Boi Faltings