546 search results - page 22 / 110 » Extended Null-Move Reductions |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
: This paper addresses the issue of designing scalable prototypes for multi input multi output (MIMO) wireless channel emulation. To date, emulators are extending single input sing...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Learning the underlying model from distributed data is often useful for many distributed systems. In this paper, we study the problem of learning a non-parametric model from distr...
CIE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. When defined with general elimination/application rules, natural deduction and λ-calculus become closer to sequent calculus. In order to get real isomorphism, normalisa...
CP
2007
Springer
14 years 2 months ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we extend our previous result on reusing shooting paths when dealing with moving light sources in radiosity to the final gathering step algorithm, which co...