Sciweavers

3435 search results - page 117 / 687
» Aspect Model Unweaving
Sort
View
SEFM
2003
IEEE
15 years 9 months ago
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
ATAL
2006
Springer
15 years 8 months ago
Modelling the links between social commitments and individual intentions
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Philippe Pasquier, Brahim Chaib-draa
130
Voted
CMMR
2005
Springer
143views Music» more  CMMR 2005»
15 years 6 months ago
The BRASS Project, from Physical Models to Virtual Musical Instruments: Playability Issues
The Brass project aims to deliver software virtual musical instruments (trumpet, trombone, tenor saxophone) based on physical modelling. This requires to work on some aspects of th...
Christophe Vergez, Patrice Tisserand
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
122
Voted
ICIP
2003
IEEE
16 years 6 months ago
Towards objective performance analysis for estimation of complex motion: analytic motion modeling, filter optimization, and test
This paper deals with several aspects towards a more objective performance analysis of low-level motion analysis. A generalized spatiotemporal filter formulation and motion modeli...
Bernd Jähne, Christoph S. Garbe