4502 search results - page 599 / 901 » Regular Model Checking |
181
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
121
click to vote
COR
2008
15 years 6 months ago
2008
We propose a model for the design of protected habitat reserves, which maximizes the number of species represented at least once in a limited set of reserved sites or parcels. Mos...
156
click to vote
ARTMED
2005
15 years 6 months ago
2005
Objectives: We present the summarization system in the PERSIVAL medical digital library. Although we discuss the context of our summarization research within the PERSIVAL platform...
153
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
228
click to vote
TIP
2010
15 years 5 months ago
2010
Abstract—This study investigates level set multiphase image segmentation by kernel mapping and piecewise constant modeling of the image data thereof. A kernel function maps impli...