446 search results - page 73 / 90 » On the Interactive Complexity of Graph Reliability |
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
DOA
2001
13 years 9 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
IFIP13
2004
13 years 9 months ago
2004
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
WIIW
2001
13 years 9 months ago
2001
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...