1071 search results - page 197 / 215 » The Calculus of Algebraic Constructions |
172
click to vote
AAAI
2008
15 years 8 months ago
2008
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...
140
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
166
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
190
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper provides a framework for designing space-time codes to take advantage of a small number of feedback bits from the receiver. The new codes are based on circulant matri...
182
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...