4814 search results - page 395 / 963 » Combining abstract interpreters |
186
Voted
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 ...
177
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...
208
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...
194
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...
196
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...