6456 search results - page 1072 / 1292 » Constraint Solving on Terms |
145
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Evolutionary computation algorithms are increasingly being used to solve optimization problems as they have many advantages over traditional optimization algorithms. In this paper...
165
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
192
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
162
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
181
click to vote
DPD
2002
15 years 6 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...