Sciweavers

4604 search results - page 72 / 921
» Analysis of Negotiation Dynamics
Sort
View
AOSE
2005
Springer
14 years 2 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 3 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 2 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 2 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

Publication
313views
13 years 9 months ago
Visual Surveillance: Dynamic Behavior Analysis at Multiple Levels
New cameras are installed daily all around the world. Hence it becomes increasingly important to develop methods for reducing the manual effort that is still required for video ana...
Michael D. Breitenstein