2649 search results - page 332 / 530 » Argumentation for Decision Support |
AIME
2003
Springer
14 years 4 months ago
2003
Springer
an: A Distributed Temporal-Abstraction Mediator for Medical Databases David Boaz, Yuval Shahar (Israel) Short Papers 10:40 Prognosis of Approaching Infectious Diseases Rainer Schmi...
CAV
2003
Springer
14 years 4 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
IT professionals are finding that more of their IT investments are being measured against a knowledge management (KM) metric. Those who want to deploy foundation technologies such...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
The increasing overall global competition forces requirements for companies to improve their business performance continuously in every sector. The utilization of external resourc...
SYSTOR
2009
ACM
14 years 3 months ago
2009
ACM
The Internet Archive is a live production system supporting close to a petabyte of data and delivering an average of 2.3Gb/sec of data to Internet users. We describe the architect...