3333 search results - page 215 / 667 » Abstract Proof Search |
148
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
105
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
116
click to vote
COCO
1990
Springer
15 years 8 months ago
1990
Springer
d Abstract) Eric Allender Christopher Wilson Department of Computer Science Department of Computer Rutgers University and Information Science New Brunswick, NJ 08903, USA Universit...
140
click to vote
BIRD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Searching and mining nuclear magnetic resonance (NMR)spectra of naturally occurring substances is an important task to investigate new potentially useful chemical compoun...
135
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Shotgun sequencing is the state-of-the-art to decode genome sequence. However this technique needs a lot of fragments. Combining those fragments correctly requires enorm...