Sciweavers

LICS
2006
IEEE
13 years 11 months ago
Provable Implementations of Security Protocols
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
Andrew D. Gordon
IJCNN
2006
IEEE
13 years 11 months ago
How Not to Evaluate a Developmental System
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
Frederick Shic, Brian Scassellati
IPPS
2007
IEEE
13 years 11 months ago
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...
ICARCV
2008
IEEE
162views Robotics» more  ICARCV 2008»
13 years 11 months ago
Comparison of recent architectures of emotions
– In this paper we present a generic computational model to include emotion and personality in the behaviour of a robot. This model is based on a comparison of recent computation...
Thi-Hai-Ha Dang, Sabine Letellier-Zarshenas, Domin...
ARGMAS
2009
Springer
13 years 11 months ago
Assumption-Based Argumentation for the Minimal Concession Strategy
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
Maxime Morge, Paolo Mancarella

5
posts
with
1219
views
474profile views Browse  My Posts »
tserreProfessor, Assistant
Brown University
tserre
Thomas Serre is an Assistant Professor in the Department of Cognitive, Linguistic & Psychological Sciences at Brown. Dr Serre is also affiliated with the Brown Institute for Brain ...