6020 search results - page 932 / 1204 » A New Approach to Model Counting |
180
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Thesaurus has been widely used in many applications, including information retrieval, natural language processing, and question answering. In this paper, we propose a novel approa...
183
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
169
click to vote
AE
2003
Springer
15 years 11 months ago
2003
Springer
The ideas proposed in this work are aimed to describe a novel approach based on artificial life (alife) environments for on-line adaptive optimisation of dynamical systems. The bas...
201
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
171
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...