3333 search results - page 97 / 667 » Abstract Proof Search |
229
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
147
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
138
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with respectively nA and nB vertices. We define a nA × nB...
148
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
103
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Historically, information retrieval (IR) has followed two principally different paths that we call syntactic IR and semantic IR. In syntactic IR, terms are represented as...