1127 search results - page 91 / 226 » Theory Extension in ACL2(r) |
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
107
Voted
AMC
2010
15 years 1 months ago
2010
In this work we propose a conjecture about the stability of the periodic solutions of the Ricker equation with periodic parameters, which goes beyond the existing theory, and for ...
DAM
2008
15 years 1 months ago
2008
We give an overview on twisting commutative algebraic groups and applications to discrete log based cryptography. We explain how discrete log based cryptography over extension fie...
111
click to vote
IDA
2007
Springer
15 years 1 months ago
2007
Springer
Natural extension is a powerful tool for combining the expert judgments in the framework of imprecise probability theory. However, it assumes that every judgment is “true” and...
95
Voted
NJC
2006
15 years 1 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...