1054 search results - page 186 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
122
click to vote
SIGMOD
1996
ACM
15 years 7 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
129
click to vote
GPEM
2008
15 years 3 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
142
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
127
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...