6704 search results - page 444 / 1341 » Testing Scenario-Based Models |
166
click to vote
COMPSAC
2006
IEEE
16 years 29 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
161
click to vote
ACIVS
2006
Springer
16 years 27 days ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
180
click to vote
MM
2006
ACM
16 years 26 days ago
2006
ACM
This paper presents a novel approach to object recognition involving a sparse 2D model and matching using video. The model is generated on the basis of geometry and image measurab...
189
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
160
click to vote
APGV
2005
ACM
16 years 14 days ago
2005
ACM
How different are two images when viewed by a human observer? Such knowledge is needed in many situations including when one has to judge the degree to which a graphics representa...