3984 search results - page 433 / 797 » A Model-Driven Transformation Method |
200
Voted
CSDA
2008
15 years 6 months ago
2008
A computationally fast procedure for identifying outliers is presented, that is particularly effective in high dimensions. This algorithm utilizes simple properties of principal c...
170
Voted
CSI
2008
15 years 6 months ago
2008
An identity-based (ID-based) universal designated verifier signature (ID-UDVS) scheme allows a signature holder to designate a specific verifier of the signature by using a simpli...
167
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
171
click to vote
IJWGS
2006
15 years 6 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
193
Voted
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a new classification technique of continuous EEG recordings, based on a network of spiking neurons. Human EEG signals published on the BCI Competition website w...