2686 search results - page 262 / 538 » Testing metric properties |
175
click to vote
SP
2006
IEEE
16 years 18 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
154
click to vote
IV
2005
IEEE
16 years 6 days ago
2005
IEEE
We have developed a visual syntax for representing concepts that are contingent on temporal properties (timedependent semantics). A within-group (N=24) experiment was conducted to...
162
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
147
click to vote
APN
2003
Springer
15 years 12 months ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
181
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes an active-camera real-time system for tracking, shape description, and classification of the human face and mouth using only an SGI Indy computer. The system...