Sciweavers

8469 search results - page 393 / 1694
» An Agent-Environment Interaction Model
Sort
View
LPAR
2005
Springer
16 years 10 days ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
BSN
2006
IEEE
150views Sensor Networks» more  BSN 2006»
15 years 10 months ago
Multi-sensor Data Fusion Using the Influence Model
System robustness against individual sensor failures is an important concern in multi-sensor networks. Unfortunately, the complexity of using the remaining sensors to interpolate ...
Wen Dong, Alex Pentland
137
Voted
CGF
2000
72views more  CGF 2000»
15 years 6 months ago
Priority-Driven Acoustic Modeling for Virtual Environments
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
Patrick Min, Thomas A. Funkhouser
ETS
2002
IEEE
132views Hardware» more  ETS 2002»
15 years 6 months ago
Theories for Deep Change in Affect-sensitive Cognitive Machines: A Constructivist Model
There is interplay between emotions and learning, but this interaction is far more complex than previous learning theories have articulated--this interplay interacts with other re...
Barry Kort, Rob Reilly
IFIP
2010
Springer
15 years 1 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller