3090 search results - page 554 / 618 » On Testing Answer-Set Programs |
131
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
131
click to vote
NAACL
2010
14 years 11 months ago
2010
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...
125
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
145
Voted
CONCURRENCY
2010
14 years 11 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
136
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Receiver operating characteristic (ROC) curves are useful tools to evaluate classifiers in biomedical and bioinformatics applications. However, conclusions are often r...