1953 search results - page 250 / 391 » Embedded Probabilistic Programming |
122
Voted
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
106
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
131
click to vote
SIGCSE
2000
ACM
15 years 6 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
128
click to vote
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
119
click to vote
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most classification methods assume that the samples are drawn independently and identically from an unknown data generating distribution, yet this assumption is violated ...