Sciweavers

771 search results - page 78 / 155
» What is situated evolution
Sort
View
AMAST
2004
Springer
14 years 1 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
EXTREME
2004
ACM
14 years 1 months ago
Interpretation Beyond Markup
The meaning conveyed by documents and their markup often goes well beyond what can be inferred from the markup alone. It often depends on context, so that to interpret document ma...
David Dubin, David J. Birnbaum
FTDCS
2004
IEEE
14 years 1 months ago
Friendly Object Tracking and Foreign Object Detection and Localization with an SDAC Wireless Sensor Network
This paper presents a proof-of-concept wireless sensor network for detecting and tracking friendly objects and detecting and localizing foreign objects. The network incorporates a...
Douglas Stark, Jesse Davis
AI
2001
Springer
14 years 1 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
AAAI
2007
14 years 13 days ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer