4224 search results - page 351 / 845 » Reasoning about Choice |
165
click to vote
ECSQARU
2005
Springer
16 years 1 months ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
184
click to vote
FROCOS
2005
Springer
16 years 1 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
207
click to vote
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
197
click to vote
APLAS
2004
ACM
16 years 1 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
181
click to vote
CAISE
2004
Springer
16 years 29 days ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...