Sciweavers

979 search results - page 28 / 196
» Footprints in Local Reasoning
Sort
View
238
Voted
ICS
2001
Tsinghua U.
15 years 6 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
15 years 6 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
15 years 3 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
113
Voted
UAI
1993
15 years 3 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
135
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 1 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