4131 search results - page 83 / 827 » The Generalized Max-Controlled Set Problem |
121
click to vote
JSCIC
2006
15 years 3 months ago
2006
We improve upon a method introduced in (Bertalmio et. al. JCP 2001) for solving evolution PDEs on codimension-one surfaces in RN. As in the original method, by representing the su...
169
click to vote
ISCI
2008
15 years 3 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
135
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
136
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...
146
click to vote
AAAI
2000
15 years 4 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...