3082 search results - page 249 / 617 » Deviation Analysis: A New Use of Model Checking |
183
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
187
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
284
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
163
click to vote
AMDO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
172
click to vote
PRL
2002
15 years 6 months ago
2002
This paper reports the application of a recently developed shape-from-shading technique to estimate facial pose. The shape-from-shading algorithm uses a new geometric technique fo...