Sciweavers

6650 search results - page 370 / 1330
» models 2009
Sort
View
ICCCI
2009
Springer
15 years 11 months ago
A Multi-agent Model of Deceit and Trust in Intercultural Trade
Trust is a sine qua non for trade. According to transaction cost economics, a contract always offers some opportunity to defect. In the case of asymmetric product information, wher...
Gert Jan Hofstede, Catholijn M. Jonker, Tim Verwaa...
IFIP
2009
Springer
15 years 11 months ago
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...
Zbigniew Paszkiewicz, Willy Picard
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 10 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
CIARP
2009
Springer
15 years 10 months ago
Particle Swarm Model Selection for Authorship Verification
Authorship verification is the task of determining whether documents were or were not written by a certain author. The problem has been faced by using binary classifiers, one per a...
Hugo Jair Escalante, Manuel Montes-y-Gómez,...
EPIA
2009
Springer
15 years 10 months ago
Towards a Spatial Model for Humanoid Social Robots
This paper presents an approach to endow a humanoid robot with the capability of learning new objects and recognizing them in an unstructured environment. New objects are learnt, w...
Dario Figueira, Manuel Lopes, Rodrigo M. M. Ventur...