Sciweavers

1095 search results - page 154 / 219
» Algebraic Guide Generation
Sort
View
AIPS
2008
15 years 4 months ago
The Compression Power of Symbolic Pattern Databases
The heuristics used for planning and search often take the pattern databases generated from abstracted versions of the given state space. Pattern databases are typically stored p ...
Marcel Ball, Robert C. Holte
140
Voted
APN
2008
Springer
15 years 4 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
142
Voted
EDBTW
2006
Springer
15 years 4 months ago
Management of Executable Schema Mappings for XML Data Exchange
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
Tadeusz Pankowski
105
Voted
COCO
2008
Springer
118views Algorithms» more  COCO 2008»
15 years 4 months ago
Quantum Expanders: Motivation and Constructions
: We define quantum expanders in a natural way. We give two constructions of quantum expanders, both based on classical expander constructions. The first construction is algebraic,...
Avraham Ben-Aroya, Oded Schwartz, Amnon Ta-Shma
128
Voted
IADIS
2008
15 years 3 months ago
Towards Mining for Influence in a Multi Agent Environment
Multi agent learning systems pose an interesting set of problems: in large environments agents may develop localised behaviour patterns that are not necessarily optimal; in a pure...
Robert Logie, Jon G. Hall, Kevin G. Waugh