Sciweavers

8228 search results - page 173 / 1646
» Structural Logical Relations
Sort
View
AGP
1999
IEEE
15 years 8 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning
IJCAI
1989
15 years 5 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham
TCAD
1998
82views more  TCAD 1998»
15 years 4 months ago
LOT: Logic Optimization with Testability. New transformations for logic synthesis
—A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random...
Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang K...
DEXA
2000
Springer
147views Database» more  DEXA 2000»
15 years 8 months ago
Lattice-Structured Domains, Imperfect Data and Inductive Queries
The relational model, as proposed by Codd, contained the concept of relations as tables composed of tuples of single valued attributes taken from a domain. In most of the early lit...
Sally Rice, John F. Roddick
ISMIR
2004
Springer
95views Music» more  ISMIR 2004»
15 years 9 months ago
A multi-parametric and redundancy-filtering approach to pattern identification
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...
Olivier Lartillot