295 search results - page 17 / 59 » Simultaneous Quantifier Elimination |
AML
2005
13 years 8 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
ICASSP
2011
IEEE
13 years 11 days 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...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper explores thread scheduling on an increasingly popular architecture: chip multiprocessors with simultaneous multithreading cores. Conventional multiprocessor scheduling,...
SIGMETRICS
1999
ACM
14 years 28 days 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...
USENIX
2008
13 years 11 months ago
2008
Aggressive energy conserving mechanisms can maximize energy efficiency, but often have the negative tradeoff of simultaneously reducing system responsiveness due to the switching ...