Sciweavers

4051 search results - page 148 / 811
» A Multilevel Segmentation Method
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 9 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
SCALESPACE
1999
Springer
15 years 6 months ago
Region Tracking on Surfaces Deforming via Level-Sets Methods
Since the work by Osher and Sethian on level-sets algorithms for numerical shape evolutions, this technique has been used for a large number of applications in numerous fields. In...
Marcelo Bertalmío, Guillermo Sapiro, Gregor...
109
Voted
JCIT
2010
112views more  JCIT 2010»
14 years 9 months ago
A Preprocessing Method for NaXi Pictograph Character Recognition
Preprocessing, a major component of Character Recognition System, has direct effect on the recognition system by its performance. A preprocessing method for NaXi Pictograph Charac...
Hai Guo, Jing-ying Zhao, Ming-jun Da
ICIP
2001
IEEE
16 years 4 months ago
A new filtering method for ultrasound images incorporating prior statistics concerning medical features
20 To 50 percent of the neonates with a very low birth weight (VLBW:< 1500 g) suffer from White Matter Damage (leukomalacia). Nowadays the diagnosis of WMD is still solely depe...
Gjenna Stippel, Ivana Duskunovic, Wilfried Philips...
139
Voted
ICIP
2005
IEEE
16 years 4 months ago
Using appearance and context for outdoor scene object classification
We propose a probabilistic object classifier for outdoor scene analysis as a first step in solving the problem of scene context generation. The method begins with a top-down contr...
Anna Bosch, Joan Martí, Xavier Muñoz