316 search results - page 4 / 64 » paste 2004 |
ECIS
2000
14 years 11 months ago
2000
Past research studies have documented the failure of the Insurance Regulatory Information System (IRIS) to provide adequate warning of insurer financial distress or insolvency. As ...
ICAD
2004
14 years 11 months ago
2004
In this paper, we describe an interactive environment designed and created within a museum context. "Re-Tracing the Past: Exploring objects, stories and mysteries" allow...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...