Sciweavers

2200 search results - page 104 / 440
» The Generalized Pignistic Transformation
Sort
View
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
14 years 4 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
OOPSLA
2004
Springer
14 years 2 months ago
C-SAW and genAWeave: a two-level aspect weaving toolsuite
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
Jeffrey G. Gray, Jing Zhang, Suman Roychoudhury, I...
CLEF
2009
Springer
13 years 10 months ago
MorphoNet: Exploring the Use of Community Structure for Unsupervised Morpheme Analysis
This paper investigates a novel approach to unsupervised morphology induction relying on community detection in networks. In a first step, morphological transformation rules are a...
Delphine Bernhard
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 9 months ago
Type-II/III DCT/DST algorithms with reduced number of arithmetic operations
We present algorithms for the discrete cosine transform (DCT) and discrete sine transform (DST), of types II and III, that achieve a lower count of real multiplications and additi...
Xuancheng Shao, Steven G. Johnson
ESORICS
2007
Springer
14 years 3 months ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...