Sciweavers

834 search results - page 98 / 167
» A Decomposition Technique for Max-CSP
Sort
View
ALP
1990
Springer
14 years 2 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
ACCV
2009
Springer
14 years 2 months ago
Efficient Classification of Images with Taxonomies
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
Alexander Binder, Motoaki Kawanabe, Ulf Brefeld
ICASSP
2009
IEEE
14 years 1 months ago
A MIMO channel perturbation analysis for robust bit loading
In narrowband multiple-input multiple-output (MIMO) communication systems, when the channel state information (CSI) is known perfectly at the transmitter and the receiver, techniq...
Michael D. Larsen, A. Lee Swindlehurst
CPAIOR
2006
Springer
14 years 1 months ago
Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
ECML
2006
Springer
14 years 1 months ago
Case-Based Label Ranking
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. We approach this setting from a case-based perspective and propo...
Klaus Brinker, Eyke Hüllermeier