338 search results - page 14 / 68 » On the Complexity of Termination Inference for Processes |
101
click to vote
ICCAD
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
101
click to vote
PVLDB
2008
14 years 9 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We consider an information-theoretic objective function for statistical modeling of time series that embodies a parametrized trade-off between the predictive power of a model and...
103
click to vote
MSO
2003
14 years 11 months ago
2003
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...
JAIR
1998
14 years 9 months ago
1998
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...