269 search results - page 6 / 54 » Computational soundness of observational equivalence |
IJCAI
2007
13 years 9 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
GC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
AUTOMATICA
1999
13 years 8 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
CISS
2010
IEEE
13 years 1 days ago
2010
IEEE
—Recovery of sparse signals from noisy observations is a problem that arises in many information processing contexts. LASSO and the Dantzig selector (DS) are two well-known schem...