1916 search results - page 65 / 384 » Reasoning with class algebra |
CVPR
1998
IEEE
14 years 12 months ago
1998
IEEE
We introduce in this paper two probabilistic reasoning models (PRM-1 and PRM-2) which combine the Principal Component Analysis (PCA) technique and the Bayes classifier and show th...
SIAMCOMP
2010
13 years 8 months ago
2010
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
ER
2010
Springer
13 years 8 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...