Sciweavers

3307 search results - page 603 / 662
» The meaning of concurrent programs
Sort
View
AAAI
2000
15 years 5 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
WOA
2003
15 years 5 months ago
An approach to the integration of peer-to-peer systems with active environments
— We adopt a form of group communication, called channeled multicast, for active rooms and other scenarios featuring strict real-time requirements, inherently unreliable communic...
Paolo Busetta, Mattia Merzi
WSC
1997
15 years 5 months ago
System Concept Development with Virtual Prototyping
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
James C. Schaaf Jr., Faye Lynn Thompson
MASCOTS
1996
15 years 5 months ago
Using Remote Memory to Avoid Disk Thrashing: A Simulation Study
The increasing use of high-bandwidth and low-latency networks make possible the use of remote (network) memory as an alternative to disk means of storing an application's dat...
Evangelos P. Markatos
UAI
1993
15 years 5 months ago
Utility-Based Abstraction and Categorization
Based Abstraction and Categorization Eric J. Horvitz∗ and Adrian C. Klein Palo Alto Laboratory Rockwell International Science Center 444 High Street Palo Alto, CA 94301 We take ...
Eric Horvitz, Adrian Klein