Sciweavers

9503 search results - page 390 / 1901
» Authenticated System Calls
Sort
View
IJCAI
2001
15 years 9 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
TREC
2001
15 years 9 months ago
The QUANTUM Question Answering System
We participated to the TREC-X QA main task and list task with a new system named QUANTUM, which analyzes questions with shallow parsing techniques and regular expressions. Instead...
Luc Plamondon, Guy Lapalme, Leila Kosseim
VISSYM
2004
15 years 9 months ago
Software Landscapes: Visualizing the Structure of Large Software Systems
Modern object-oriented programs are hierarchical systems with many thousands of interrelated subsystems. Visualization helps developers to better comprehend these large and comple...
Michael Balzer, Andreas Noack, Oliver Deussen, Cla...
ICMAS
2000
15 years 9 months ago
Benevolent Agents in Multiagent Systems
This paper describes an analysis of benevolent agents in multiagent systems (MAS). We first present a definition and motivation for benevolence that is appropriate for MAS. We the...
Abdulla M. Mohamed, Michael N. Huhns
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
15 years 7 months ago
Ensemble-on-demand Kalman filter for large-scale systems with time-sparse measurements
The ensemble Kalman filter for data assimilation involves the propagation of a collection of ensemble members. Under the assumption of time-sparse measurements, we avoid propagatin...
In Sung Kim, Bruno Otávio Soares Teixeira, ...