3082 search results - page 275 / 617 » Deviation Analysis: A New Use of Model Checking |
176
click to vote
FLAIRS
2009
15 years 4 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
143
click to vote
ICDM
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose a new theoretical framework for generalizing the traditional notion of covariance. First, we discuss the role of pairwise cross-cumulants by introducing a cluster expan...
166
click to vote
IADIS
2003
15 years 8 months ago
2003
The purpose of this paper is to provide some understanding on the key forces impacting on the successful evolvement of m-commerce in the US market from Mobile Network Operators’...
214
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
166
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper describes our recent analysis on the security and privacy of biometric feature vectors obtained from fingerprint minutiae. A large number of contiguous regions (cuboid...