Sciweavers

304 search results - page 30 / 61
» A Multi-Context System Computing Modalities
Sort
View
CVPR
2000
IEEE
14 years 9 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
13 years 9 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
12 years 7 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
13 years 9 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»
13 years 7 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