Sciweavers

743 search results - page 61 / 149
» Intelligent Environment for Training of Power Systems Operat...
Sort
View
LISA
2008
13 years 11 months ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...
VLDB
2005
ACM
110views Database» more  VLDB 2005»
14 years 2 months ago
U-DBMS: A Database System for Managing Constantly-Evolving Data
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...
Reynold Cheng, Sarvjeet Singh, Sunil Prabhakar
CEC
2009
IEEE
14 years 3 months ago
Learning area coverage for a self-sufficient colony robot
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
Gary B. Parker, Richard Zbeda
ATAL
2005
Springer
13 years 10 months ago
Observation-based proactive communication in team cooperation
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
Yu Zhang, Richard A. Volz, Thomas R. Ioerger
LFCS
2007
Springer
14 years 2 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer