6020 search results - page 1066 / 1204 » A New Approach to Model Counting |
173
click to vote
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a new implication of Wu’s (1997) Inversion Transduction Grammar (ITG) Hypothesis, on the problem of retrieving truly parallel sentence translations from larg...
155
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
176
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
149
click to vote
PCI
2005
Springer
15 years 11 months ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
147
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
Clustering algorithms are intensively used in the image analysis field in compression, segmentation, recognition and other tasks. In this work we present a new approach in clusteri...