2487 search results - page 364 / 498 » Automatic Model Selection by Modelling the Distribution of R... |
309
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
198
click to vote
ICPP
2006
IEEE
16 years 26 days ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
180
click to vote
MIR
2004
ACM
16 years 7 days ago
2004
ACM
For describing and analyzing digital images of paintings we propose a model to serve as the basis for an interactive image retrieval system. The model defines two types of feature...
396
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
155
click to vote
TMI
2010
15 years 5 months ago
2010
—Optical coherence tomography (OCT) has recently become one of the primary methods for noninvasive probing of the human retina. The pseudoimage formed by OCT (the so-called B-sca...