3082 search results - page 202 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
139
click to vote
ICIAR
2004
Springer
15 years 12 months ago
2004
Springer
We 1 present a method for face detection which uses a new SVM structure trained in an expert manner in the eigenface space. This robust method has been introduced as a post process...
145
click to vote
VTS
2003
IEEE
15 years 11 months ago
2003
IEEE
— In this paper, we study the problem of delay defect diagnosis based on statistical timing models. We propose a diagnosis algorithm that can effectively utilize statistical timi...
196
click to vote
NIPS
2004
15 years 7 months ago
2004
Capturing dependencies in images in an unsupervised manner is important for many image processing applications. We propose a new method for capturing nonlinear dependencies in ima...
179
click to vote
APN
2007
Springer
16 years 19 days ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...