2280 search results - page 390 / 456 » Global Optimization for Optimal Generalized Procrustes Analy... |
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
112
click to vote
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
Enterprises rely on decision support systems to influence critical business choices. At the same time, IT-related power costs are growing and are a key concern for enterprise exe...
116
click to vote
MM
2009
ACM
15 years 6 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
101
click to vote
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...