3082 search results - page 492 / 617 » Deviation Analysis: A New Use of Model Checking |
161
click to vote
CVPR
2008
IEEE
16 years 22 days ago
2008
IEEE
We describe a method to retrieve images found on web pages with specified object class labels, using an analysis of text around the image and of image appearance. Our method dete...
155
click to vote
AICT
2006
IEEE
16 years 10 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
182
click to vote
PAMI
2010
15 years 4 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
191
click to vote
IWCIA
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In this paper, we address the problem of computing a canonical representation of an n-dimensional combinatorial map. To do so, we define two combinatorial map signatures...
199
click to vote
AIA
2006
15 years 7 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...