1940 search results - page 318 / 388 » Eurostore - Initial Design and First Results |
100
click to vote
DSN
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
ITP
2010
15 years 3 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
FOAL
2007
ACM
15 years 3 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
117
click to vote
ICMCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Mismatch between training and testing data is a major error source for both Automatic Speech Recognition (ASR) and Automatic Speaker Identification (ASI). In this paper, we first ...
110
click to vote
ACMACE
2006
ACM
15 years 3 months ago
2006
ACM
We present a study that explores the use of a commercially available eye tracker as a control device for video games. We examine its use across multiple g...