2152 search results - page 98 / 431 » A Comparative Study of 2QBF Algorithms |
174
click to vote
ISMM
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Surface reconstruction from a set of noisy point measurements has been a well studied problem for several decades. Recently, variational and discrete optimization approac...
135
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the problem of dynamic load-balancing on hierarchical platforms. In particular, we consider applications involving heavy communications on a distributed platform...
128
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
133
Voted
TWC
2008
15 years 3 months ago
2008
In this paper, we investigate an optimal power loading algorithm for an OFDM-based cognitive radio (CR) system. The downlink transmission capacity of the CR user is thereby maximiz...
138
click to vote
TLCA
1993
Springer
15 years 8 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...