Sciweavers

8699 search results - page 123 / 1740
» Elements of the Theory of Computation
Sort
View
IDEAS
2007
IEEE
89views Database» more  IDEAS 2007»
16 years 22 days ago
Foreign Superkeys and Constant References
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
Jon Heggland
SIGDOC
2006
ACM
16 years 11 days ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
ECAI
1998
Springer
15 years 10 months ago
Connection Relations in Mereotopology
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
Anthony G. Cohn, Achille C. Varzi
ATAL
2009
Springer
16 years 1 months ago
Easy and hard coalition resource game formation problems: a parameterized complexity analysis
Coalition formation is a key topic in multi–agent systems (mas). Coalitions enable agents to achieve goals that they may not have been able to achieve independently, and encoura...
Tammar Shrot, Yonatan Aumann, Sarit Kraus
IJCAI
1989
15 years 7 months ago
Formal Properties and Implementation of Bidirectional Charts
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
Giorgio Satta, Oliviero Stock