Sciweavers

1202 search results - page 219 / 241
» Sortings for Reactive Systems
Sort
View
JAIR
2007
117views more  JAIR 2007»
14 years 11 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
JAR
2007
104views more  JAR 2007»
14 years 11 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
TVLSI
2008
107views more  TVLSI 2008»
14 years 11 months ago
Static and Dynamic Temperature-Aware Scheduling for Multiprocessor SoCs
Thermal hot spots and high temperature gradients degrade reliability and performance, and increase cooling costs and leakage power. In this paper, we explore the benefits of temper...
Ayse Kivilcim Coskun, T. T. Rosing, Keith Whisnant...
TROB
2002
244views more  TROB 2002»
14 years 11 months ago
Distributed surveillance and reconnaissance using multiple autonomous ATVs: CyberScout
The objective of the CyberScout project is to develop an autonomous surveillance and reconnaissance system using a network of all-terrain vehicles. In this paper, we focus on two f...
Mahesh Saptharishi, C. Spence Oliver, Christopher ...
PRESENCE
2007
127views more  PRESENCE 2007»
14 years 11 months ago
Causal Perception in Virtual Reality and its Implications for Presence Factors
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
Marc Cavazza, Jean-Luc Lugrin, Marc Buehner