3333 search results - page 137 / 667 » Abstract Proof Search |
105
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Two methods were evaluated for performing spectral breakpoint matching: a multi-level pruned exhaustive search and a genetic algorithm. The GA found matches about as good...
110
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
113
click to vote
DT
2002
15 years 3 months ago
2002
nline search of authors and a broader subject search of abstracts of Young Children articles since 1985, volume 40, and of other articles published online since September 2002, vis...
225
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
65
Voted
COLING
2008
15 years 5 months ago
2008
This paper presents recent advances in an established treebank annotation framework comprising of an abstract XMLbased data format, fully customizable editor of tree-based annotat...