5066 search results - page 366 / 1014 » Spectra of structures and relations |
189
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
183
click to vote
AIML
2004
15 years 8 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
128
click to vote
IJCAI
2003
15 years 8 months ago
2003
The structural rigidity property, a generalization of Laman’s theorem which characterizes rigid bar frameworks in 2D, is generally considered a good approximation of rigidity in...
200
click to vote
AAAI
1992
15 years 7 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
210
click to vote
ACL
1990
15 years 7 months ago
1990
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...