491 search results - page 30 / 99 » Linear Quantifier Elimination |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we present a lower-bound estimate for dynamic time warping (DTW) on time series consisting of multi-dimensional posterior probability vectors known as posteriorgram...
MLDM
2007
Springer
14 years 1 months ago
2007
Springer
Recursive Feature Elimination (RFE) combined with feature ranking is an effective technique for eliminating irrelevant features when the feature dimension is large, but it is diffi...
CONSTRAINTS
1999
13 years 7 months ago
1999
We consider two approaches to the stable marriage problem: proposal algorithms and describing the stable matching polytope using linear inequalities. We illuminate the relationship...
SIGMETRICS
1999
ACM
13 years 12 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Code updates, such as those for debugging purposes, are frequent and expensive in the early development stages of wireless sensor network applications. We propose AdapCode, a re...