1074 search results - page 172 / 215 » Rule sets based bilevel decision model |
108
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
120
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
IJCAI
2003
15 years 1 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents a new technique for combining multiple texture feature extraction methods in order to classify the pixels of an input image into a set of texture models of int...