Sciweavers

9871 search results - page 234 / 1975
» On the Structure of Low Sets
Sort
View
AAAI
2010
15 years 8 months ago
Ordered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
AUTOMATICA
2002
93views more  AUTOMATICA 2002»
15 years 6 months ago
A probabilistic framework for problems with real structured uncertainty in systems and control
The objective of this paper is twofold. First, the problem of generation of real random matrix samples with uniform distribution in structured (spectral) norm bounded sets is stud...
Giuseppe Carlo Calafiore, Fabrizio Dabbene
ICCAD
1996
IEEE
90views Hardware» more  ICCAD 1996»
15 years 10 months ago
A coloring approach to the structural diagnosis of interconnects
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
Xiao-Tao Chen, Fabrizio Lombardi
EUSFLAT
2001
15 years 8 months ago
Learning maximal structure fuzzy rules with exceptions
This paper proposes a method to solve the con icts that arise in the framework of fuzzy model identi
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...
DASFAA
2009
IEEE
147views Database» more  DASFAA 2009»
16 years 1 months ago
SUITS: Faceted User Interface for Constructing Structured Queries from Keywords
Keyword search and database query are two ways for retrieving data in real world settings. In this demonstration, we show SUITS, a novel search interface over relational databases ...
Elena Demidova, Xuan Zhou, Gideon Zenz, Wolfgang N...