6941 search results - page 1095 / 1389 » Testing as a Certification Approach |
181
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
183
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
: Constraint Shape Model is proposed to extract facial feature using two different search methods for contour points and control points individually. In the proposed algorithm, sal...
175
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
172
click to vote
CIVR
2003
Springer
15 years 11 months ago
2003
Springer
The most expressive way humans display emotions is through facial expressions. In this work we report on several advances we have made in building a system for classification of f...
134
click to vote
COCOS
2003
Springer
15 years 11 months ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...