3082 search results - page 38 / 617 » Deviation Analysis: A New Use of Model Checking |
130
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we discuss new experiments on face recognition and authentication based on dimensional surface matching. While most of existing methods use facial intensity images,...
192
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
151
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
163
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
141
click to vote
SSIAI
2002
IEEE
15 years 10 months ago
2002
IEEE
The aim of this research is to develop new image processing models that can be used to characterize single opacities and opacity density within pre-selected regions of interest (R...