3166 search results - page 306 / 634 » Translation By Structural Correspondences |
164
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We present Variable Influence Structure Analysis, an algorithm that dynamically performs hierarchical decomposition of factored Markov decision processes. Our algorithm determines...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
225
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
163
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
162
click to vote
DSD
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper proposes a methodology and a basic structure for the design of wrappers used to adapt cores for use as bus masters. The AMBA AHB protocol is used as a case study in thi...