Sciweavers

4307 search results - page 75 / 862
» Dynamic Spyware Analysis
Sort
View
GECCO
2009
Springer
14 years 2 months ago
Dynamic evolutionary optimisation: an analysis of frequency and magnitude of change
In this paper, we rigorously analyse how the magnitude and frequency of change may affect the performance of the algorithm (1+1) EAdyn on a set of artificially designed pseudo-Bo...
Philipp Rohlfshagen, Per Kristian Lehre, Xin Yao
AOSE
2005
Springer
14 years 1 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
CAV
2007
Springer
112views Hardware» more  CAV 2007»
14 years 1 months ago
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
Ahmed Bouajjani, Séverine Fratani, Shaz Qad...
CONCUR
2005
Springer
14 years 1 months ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
ICBA
2004
Springer
207views Biometrics» more  ICBA 2004»
14 years 1 months ago
Dynamic Local Feature Analysis for Face Recognition
This paper introduces an innovative method, Dynamic Local Feature Analysis (DLFA), for human face recognition. In our proposed method, the face shape and the facial texture informa...
Johnny Ng, Humphrey Cheung