Sciweavers

2000 search results - page 114 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
ACMSE
2005
ACM
15 years 12 months ago
Acquiring and delivering lessons learned for NASA scientists and engineers: a dynamic approach
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...
Swapna Gupta, J. Scott Hawker, Randy K. Smith
PASTE
2004
ACM
15 years 11 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
CEEMAS
2007
Springer
15 years 10 months ago
Exploring Social Networks in Request for Proposal Dynamic Coalition Formation Problems
In farsighted MAS, every agent is aware of each other, and so they can evaluate the outcomes of their interaction in an efficient way. However, this farsighted knowledge becomes an...
Carlos Mérida-Campos, Steven Willmott
ATAL
2004
Springer
15 years 10 months ago
Distributed Path Planning for Robots in Dynamic Environments Using a Pervasive Embedded Network
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...
Keith J. O'Hara, Tucker R. Balch
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
15 years 8 months ago
Dynamic test selection for reconfigurable diagnosis
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
Mattias Krysander, Fredrik Heintz, Jacob Roll, Eri...