Sciweavers

466 search results - page 9 / 94
» Critical Reasoning
Sort
View
ESOP
2010
Springer
14 years 8 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ECAI
2000
Springer
14 years 3 months ago
Picture Perfect: Visualisation Techniques for Case-based Reasoning
Case-based reasoning systems solve new problems by retrieving and adapting the solutions to similar previously solved problems. The success and performance of any case-based reason...
Barry Smyth, Mark Mullins, Elizabeth McKenna
IBERAMIA
2004
Springer
14 years 4 months ago
Dynamic Case Base Maintenance for a Case-Based Reasoning System
Abstract. The success of a case-based reasoning system depends critically on the relevance of the case base. Much current CBR research focuses on how to compact and refine the con...
Maria Salamó, Elisabet Golobardes
AINA
2008
IEEE
14 years 5 months ago
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
IAT
2010
IEEE
13 years 8 months ago
Predictive Analytics Using a Blackboard-Based Reasoning Agent
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
Jia Yue, Anita Raja, William Ribarsky