419 search results - page 74 / 84 » Using Matrix Decompositions in Formal Concept Analysis |
CLEIEJ
2008
13 years 7 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
CSCWD
2001
Springer
14 years 5 days ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
ALT
2003
Springer
14 years 4 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
AAI
2010
13 years 7 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...