1569 search results - page 88 / 314 » Programming contest strategy |
122
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
120
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
136
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
133
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
114
click to vote
ATS
2003
IEEE
15 years 8 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...