1738 search results - page 84 / 348 » Local Consistency and SAT-Solvers |
MICCAI
2004
Springer
2004
Springer
Border Detection on Short Axis Echocardiographic Views Using a Region Based Ellipse-Driven Framework
14 years 9 months ago
In this paper, we propose a robust technique that integrates spatial and temporal information for consistent recovery of the endocardium. To account for the low image quality we in...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
CGF
2006
13 years 9 months ago
2006
Image-based representations of an object profit from known geometry. The more accurate this geometry is known, the better corresponding pixels in the different images can be align...
ESWA
2007
13 years 8 months ago
2007
The goal of assembly planning consists in generating feasible sequences to assemble a product and selecting an efficient assembly sequence from which related constraint factors su...
MOBISYS
2011
ACM
12 years 11 months ago
2011
ACM
Operators of 3G data networks need to distinguish the performance of each geographic area in their 3G networks to detect and resolve local network problems. This is because the qu...