Sciweavers

3368 search results - page 401 / 674
» The Complexity of Query Reliability
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 months ago
Achieving Critical System Survivability Through Software Architectures
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...
John C. Knight, Elisabeth A. Strunk
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 11 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
ACCV
1998
Springer
15 years 10 months ago
Automatic Detection and Tracking of Human Heads Using an Active Stereo Vision System
A head tracking system for automatically detecting and tracking human heads in complex backgrounds is developed. In this paper, two issues are addressed: the detection ofhumanhead...
Cheng-Yuan Tang, Yi-Ping Hung, Zen Chen
ATAL
1997
Springer
15 years 10 months ago
Approximate Reasoning about Combined Knowledge
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
Frédéric Koriche
WSC
2007
15 years 9 months ago
Model-based measurement of situation awareness
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
W. Scott Neal Reilly, Sean L. Guarino, Bret Kellih...