Sciweavers

2061 search results - page 93 / 413
» The continuous knapsack set
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
Voronoi cell shaping for feature selection with discrete HMMs
In this paper, we introduce a novel vector quantization (VQ) scheme for distributing the quantization error equally among the quantized dimensions. Afterwards, the proposed VQ sch...
Joachim Schenk, Gerhard Rigoll
ECRTS
2005
IEEE
15 years 3 months ago
Speed Modulation in Energy-Aware Real-Time Systems
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari
LPNMR
1999
Springer
15 years 2 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
CORR
2008
Springer
65views Education» more  CORR 2008»
14 years 10 months ago
The Wadge Hierarchy of Deterministic Tree Languages
Abstract. We provide a complete description of the Wadge hierarchy for deterministically recognizable sets of infinite trees. In particular we give an elementary procedure to decid...
Filip Murlak
MP
2008
99views more  MP 2008»
14 years 9 months ago
Compact formulations as a union of polyhedra
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
Michele Conforti, Laurence A. Wolsey