7766 search results - page 1508 / 1554 » Testing Nondeterminate Systems |
149
click to vote
HASKELL
2007
ACM
15 years 6 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
135
click to vote
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
There is increasing evidence to suggest that the neocortex of the mammalian brain does not consist of a collection of specialised and dedicated cortical architectures, but instead ...
134
click to vote
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
129
click to vote
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
A combination of query-by-visual-example (QBVE) and semantic retrieval (SR), denoted as query-by-semantic-example (QBSE), is proposed. Images are labeled with respect to a vocabula...
127
click to vote
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
In the cyclic-to-random shuffle, we are given n cards arranged in a circle. At step k, we exchange the k'th card along the circle with a uniformly chosen random card. The pro...