Sciweavers

1249 search results - page 37 / 250
» Limitations of the Even-Mansour Construction
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
14 years 2 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
ICDT
1995
ACM
101views Database» more  ICDT 1995»
14 years 1 months ago
Approximation in Databases
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
Leonid Libkin
IJSI
2008
91views more  IJSI 2008»
13 years 10 months ago
Random Event Structures
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
Manfred Droste, Guo-Qiang Zhang
NAR
2007
128views more  NAR 2007»
13 years 9 months ago
Berkeley Phylogenomics Group web servers: resources for structural phylogenomic analysis
Phylogenomic analysis addresses the limitations of function prediction based on annotation transfer, and has been shown to enable the highest accuracy in prediction of protein mol...
Jake Gunn Glanville, Dan Kirshner, Nandini Krishna...
IS
2010
13 years 7 months ago
Building concepts for AI agents using information theoretic Co-clustering
Abstract--High level conceptual thought seems to be at the basis of the impressive human cognitive ability, and AI researchers aim to replicate this ability in artificial agents. C...
Jason R. Chen