2028 search results - page 75 / 406 » Deriving Relation Keys from XML Keys |
178
click to vote
IJAR
2010
15 years 4 months ago
2010
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
159
click to vote
IANDC
2006
15 years 6 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
171
click to vote
JAPLL
2008
15 years 6 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
208
click to vote
ACISP
2006
Springer
16 years 8 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
140
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...