11436 search results - page 1923 / 2288 » Modeling Real Reasoning |
189
click to vote
SIGMETRICS
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
123
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
In the theory of algorithmic randomness, one of the central notions is that of computable randomness. An infinite binary sequence X is computably random if no recursive martingale...
123
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
The advent of DNA microarray technologies has revolutionized the experimental study of gene expression. Clustering is the most popular approach of analyzing gene expression data a...
139
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
The recovery of 3D shape and camera motion for non-rigid scenes from single-camera video footage is a very important problem in computer vision. The low-rank shape model consists ...
144
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...