3446 search results - page 91 / 690 » A Reasoning Algorithm for pD* |
123
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
105
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Recently, there has been increasing interest in the issues of cost-sensitive learning and decision making in a variety of applications of data mining. A number of approaches have ...
109
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
119
click to vote
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
142
click to vote
LPNMR
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...