Sciweavers

979 search results - page 28 / 196
» Footprints in Local Reasoning
Sort
View
ICS
2001
Tsinghua U.
13 years 12 months ago
Computer aided hand tuning (CAHT): "applying case-based reasoning to performance tuning"
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
Antoine Monsifrot, François Bodin
ISMIS
1994
Springer
13 years 11 months ago
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
Yang Xiang
FLAIRS
2004
13 years 9 months ago
Improved Situation Interpretation Metrics in Context-Based Reasoning Simulations
The current implementation of situation interpretation metrics (SIMs) in context-based reasoning (CxBR) simulations makes it difficult to effectively and efficiently characterize ...
Roberto Sánchez, Avelino J. Gonzalez
UAI
1993
13 years 8 months ago
Probabilistic Assumption-Based Reasoning
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
Jürg Kohlas, Paul-André Monney
ENTCS
2008
120views more  ENTCS 2008»
13 years 7 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke