450 search results - page 10 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
DATE
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper presents a new and low-cost approach for identifying sequentially untestable faults. Unlike the single fault theorem, where the stuck-at fault is injected only in the r...
WADS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
SODA
2004
ACM
13 years 8 months ago
2004
ACM
We present a new technique for constructing and analyzing couplings to bound the convergence rate of finite Markov chains. Our main theorem is a generalization of the path couplin...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
TACAS
1999
Springer
13 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...