Sciweavers

304 search results - page 30 / 61
» A Multi-Context System Computing Modalities
Sort
View
CVPR
2000
IEEE
15 years 12 months ago
Multisensor Integration for Building Modeling
Machine perception can benefit from the use of features extracted from data provided by a variety of sensor modalities. Recent advances in sensor design makes it possible to incor...
Andres Huertas, Zu Whan Kim, Ramakant Nevatia
ACMACE
2008
ACM
14 years 12 months ago
An affective model of user experience for interactive art
The development of Affective Interface technologies makes it possible to envision a new generation of Digital Arts and Entertainment applications, in which interaction will be bas...
Stephen W. Gilroy, Marc Cavazza, Rémi Chaig...
ATAL
2011
Springer
13 years 9 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh
ATAL
2010
Springer
14 years 11 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
FUIN
2000
71views more  FUIN 2000»
14 years 9 months ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri