9110 search results - page 187 / 1822 » Formally-Based Design Evaluation |
140
click to vote
ESCIENCE
2006
IEEE
16 years 2 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
158
click to vote
IWRIDL
2006
ACM
15 years 12 months ago
2006
ACM
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
159
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
138
click to vote
UIST
2005
ACM
15 years 11 months ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
173
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...