Sciweavers

3729 search results - page 506 / 746
» On Formal Modeling of Agent Computations
Sort
View
CIMCA
2005
IEEE
16 years 6 days ago
Oscillatory neural network for adaptive dynamical image processing
We develop a biologically motivated oscillatory network model and related dynamical synchronizationbased method of image segmentation. The first version of successive segmentation...
Margarita Kuzmina, Edward A. Manykin
DAMAS
2005
Springer
16 years 4 days ago
Representing Dispositions and Emotions in Simulated Combat
ct Emotion is an essential element of human behavior. Particularly in stressful situations such as combat, it is at least as important as rational analysis in determining a partici...
H. Van Dyke Parunak, Robert Bisson, Sven Brueckner...
SCVMA
2004
Springer
15 years 12 months ago
2D Motion Description and Contextual Motion Analysis: Issues and New Models
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
Patrick Bouthemy
BIRTHDAY
2003
Springer
15 years 11 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
ECSQARU
2009
Springer
16 years 1 months ago
Extracting the Core of a Persuasion Dialog to Evaluate Its Quality
: A persuasion dialog is a dialog in which agents exchange arguments on a subject. In this kind of dialog, the agents disagree about the status of the subject and each one tries to...
Leila Amgoud, Florence Dupin de Saint-Cyr