Sciweavers

4795 search results - page 298 / 959
» The Message Classification Model
Sort
View
DAM
2008
110views more  DAM 2008»
15 years 6 months ago
Counting and enumerating aggregate classifiers
We propose a generic model for the "weighted voting" aggregation step performed by several methods in supervised classification. Further, we construct an algorithm to en...
Jan Adem, Yves Crama, Willy Gochet, Frits C. R. Sp...
ENTCS
2006
339views more  ENTCS 2006»
15 years 6 months ago
A Short Visit to the STS Hierarchy
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
Nathalie Bertrand, Ph. Schnoebelen
LREC
2008
134views Education» more  LREC 2008»
15 years 8 months ago
Evaluating the Ontology underlying sMail - the Conceptual Framework for Semantic Email Communication
The lack of structure in the content of email messages makes it very hard for data channelled between the sender and the recipient to be correctly interpreted and acted upon. As a...
Simon Scerri, Myriam Mencke, Brian Davis, Siegfrie...
175
Voted
FSEN
2009
Springer
16 years 1 months ago
Modular Schedulability Analysis of Concurrent Objects in Creol
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jagh...
ASM
2004
ASM
16 years 1 days ago
The Cryptographic Abstract Machine
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
Dean Rosenzweig, Davor Runje