2517 search results - page 48 / 504 » Specifying Weak Sets |
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
AUTOMATICA
2008
14 years 12 months ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
109
click to vote
SUM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
115
click to vote
ENTCS
2006
14 years 12 months ago
2006
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
154
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
We present a tool for querying a set of points for geometric shapes. This tool was developed as part of a larger project studying the architecture of 13th century French churches....