1743 search results - page 14 / 349 » Generalized Modal Satisfiability |
CPAIOR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
PODS
2009
ACM
14 years 10 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...
AIPS
2006
13 years 11 months ago
2006
Planning as satisfiability (SAT-Plan) is one of the best approaches to optimal planning, which has been shown effective on problems in many different domains. However, the potenti...
AUTOMATICA
2007
13 years 10 months ago
2007
This paper is concerned with synthesis of output feedback controllers for descriptor systems to attain dissipativity of the closed-loop system. A necessary and sufficient conditio...
CVIU
2006
13 years 10 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...