177 search results - page 24 / 36 » Combining Proof-Producing Decision Procedures |
ECML
2007
Springer
15 years 8 months ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
120
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
139
click to vote
TCAD
2008
15 years 1 months ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
121
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
107
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...