Sciweavers

3086 search results - page 310 / 618
» Generalized Discriminant Analysis Using a Kernel Approach
Sort
View
SCN
2011
Springer
292views Communications» more  SCN 2011»
15 years 1 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
CAIP
1999
Springer
15 years 11 months ago
Shift Detection by Restoration
In this paper an approach is presented for robust shift detection of two given images. The new unifying idea is that we determine a shifted delta impulse using some well-known res...
Herbert Süße, Klaus Voss, Wolfgang Ortm...
TCIAIG
2010
15 years 1 months ago
Game Bot Detection via Avatar Trajectory Analysis
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
Hsing-Kuo Pao, Kuan-Ta Chen, Hong-Chung Chang
RTAS
2008
IEEE
16 years 1 months ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...
IJCNN
2006
IEEE
16 years 21 days ago
A Monte Carlo Sequential Estimation for Point Process Optimum Filtering
— Adaptive filtering is normally utilized to estimate system states or outputs from continuous valued observations, and it is of limited use when the observations are discrete e...
Yiwen Wang 0002, António R. C. Paiva, Jose ...