3082 search results - page 511 / 617 » Deviation Analysis: A New Use of Model Checking |
140
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...
104
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in O...
157
click to vote
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present and analyze two new communication libraries, cudaMPI and glMPI, that provide an MPI-like message passing interface to communicate data stored on the graphics cards of...
149
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
173
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
In the paper we present new Alternating Least Squares (ALS) algorithms for Nonnegative Matrix Factorization (NMF) and their extensions to 3D Nonnegative Tensor Factorization (NTF) ...