Sciweavers

2542 search results - page 212 / 509
» An Operational Definition of Context
Sort
View
IWFM
1998
117views Formal Methods» more  IWFM 1998»
15 years 8 months ago
A Case Study on Proving Transformations Correct: Data-Parallel Conversion
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
Stephen Kilpatrick, Maurice Clint, Peter Kilpatric...
IJCAI
1997
15 years 8 months ago
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
David Poole
IJCAI
1989
15 years 7 months ago
Learning to Diagnose by Doing
This paper is a study on the process of evolution of a novice to an expert in a diagnostic context. In er, we have chosen an abstract example of a diagnostic problem. The results ...
Jayant Kalagnanam, Eswaran Subrahmanian
ECAI
2010
Springer
15 years 7 months ago
LP Solvable Models for Multiagent Fair Allocation Problems
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
Julien Lesca, Patrice Perny
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary