Sciweavers

2196 search results - page 326 / 440
» Practical Reasoning Using Values
Sort
View
SIGMOD
1996
ACM
97views Database» more  SIGMOD 1996»
15 years 5 months ago
Bifocal Sampling for Skew-Resistant Join Size Estimation
This paper introduces bifocal sampling, a new technique for estimating the size of an equi-join of two relations. Bifocal sampling classi es tuples in each relation into two group...
Sumit Ganguly, Phillip B. Gibbons, Yossi Matias, A...
APN
1994
Springer
15 years 5 months ago
Coloured Petri Nets Extended with Channels for Synchronous Communication
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
Søren Christensen, Niels Damgaard Hansen
ECAI
1994
Springer
15 years 5 months ago
The SAT Phase Transition
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
Ian P. Gent, Toby Walsh
IAT
2009
IEEE
15 years 5 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone
ATAL
2006
Springer
15 years 5 months ago
Specifying and resolving preferences among agent interaction patterns
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
Ashok U. Mallya, Munindar P. Singh