Sciweavers

2448 search results - page 288 / 490
» The Octahedron Abstract Domain
Sort
View
IJCAI
1997
15 years 6 months ago
Reasoning Symbolically About Partially Matched Cases
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
Kevin D. Ashley, Vincent Aleven
PPSC
1997
15 years 6 months ago
A Real-Time Parallel Benchmark Suite
Abstract. Standard benchmark suites are a popular way to measure and compare computers performance. The Honeywell Technology Center has developed two benchmarking suites for parall...
Brian Van Voorst, Luiz Pires, Rakesh Jha
IJCAI
1989
15 years 5 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...
WCE
2007
15 years 5 months ago
Agent-Based Perception of an Environment in an Emergency Situation
Abstract—We are interested in the problem of multiagent systems development for risk detecting and emergency response in an uncertain and partially perceived environment. The eva...
Fahem Kebair, Frédéric Serin, Cyrill...
ATMOS
2009
105views Optimization» more  ATMOS 2009»
15 years 5 months ago
On Assessing Robustness in Transportation Planning
Abstract. We consider a fundamental problem, called QoS-aware Multicommodity Flow, for assessing robustness in transportation planning. It constitutes a natural generalization of t...
Apostolos Bessas, Christos D. Zaroliagis