Sciweavers

2086 search results - page 151 / 418
» Mathematical Theory Exploration
Sort
View
UAI
2007
15 years 4 months ago
A System for Ontologically-Grounded Probabilistic Matching
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
Rita Sharma, David Poole, Clinton Smyth
ACS
2007
15 years 3 months ago
Yoneda Structures from 2-toposes
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...
Mark Weber
AAECC
2006
Springer
109views Algorithms» more  AAECC 2006»
15 years 3 months ago
Cryptosystems using Linear Groups
Several suggestions are presented for developing cryptosystems, both classical and public key, using a combination of combinatorial group theory and linear groups. In particular, t...
Gilbert Baumslag, Benjamin Fine, Xiaowei Xu
TCS
2008
15 years 3 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...
EC
2000
93views ECommerce» more  EC 2000»
15 years 3 months ago
Is Echo a Complex Adaptive System?
We evaluate whether John Holland's Echo model exemplifies his theory of complex adaptive systems. After reviewing Holland's theory of complex adaptive systems and descri...
Richard Smith, Mark A. Bedau