927 search results - page 136 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
182
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
145
click to vote
AMTA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
120
Voted
ICFP
2007
ACM
16 years 16 days ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
117
Voted
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
118
click to vote
JAIR
2006
15 years 16 days ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...