4178 search results - page 710 / 836 » Similarity Patterns in Language |
150
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
159
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
169
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
d Abstract) Noga Alon∗ Fedor V. Fomin† Gregory Gutin‡ Michael Krivelevich§ Saket Saurabh¶ We prove that finding a rooted subtree with at least k leaves in a directed grap...
166
click to vote
IFIP
2007
Springer
16 years 10 days ago
2007
Springer
As current Voice-over-IP (VoIP) systems encourage a direct communication between the callees they are similar in design to peerto-peer (P2P) approaches. Therefore, we introduce a f...
140
click to vote
NLDB
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...