1224 search results - page 59 / 245 » Theory decision by decomposition |
146
Voted
GLVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
94
Voted
IJAR
2007
15 years 18 days ago
2007
The belief decision tree (BDT) approach is a decision tree in an uncertain environment where the uncertainty is represented through the Transferable Belief Model (TBM), one interp...
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
94
Voted
DATESO
2008
15 years 2 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
99
Voted
STOC
1992
ACM
15 years 4 months ago
1992
ACM
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...