3255 search results - page 405 / 651 » Combination of Abstractions in the ASTR |
174
click to vote
PARLE
1993
15 years 10 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
179
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to ...
173
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Performance analysis of Multiple-input Multipleoutput (MIMO) Orthogonal Frequency-Division Multiplexing (OFDM) systems with carrier frequency offset and channel estimati...
205
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A social networking service can become the basis for the information infrastructure of the future. For that purpose, it is important to extract social networks that refle...
184
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...