12981 search results - page 2357 / 2597 » Model Checking (Abstract) |
147
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
138
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...
211
click to vote
ECAIW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
148
click to vote
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
133
click to vote
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The ability to localise a camera moving in a previously unknown environment is desirable for a wide range of applications. In computer vision this problem is studied as m...