2542 search results - page 227 / 509 » One step ahead |
142
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
131
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
120
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
149
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present how appearance-based features can be used for the recognition of words in American sign language (ASL) from a video stream. The features are extracted wit...
125
click to vote
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...