5247 search results - page 977 / 1050 » Frequency Optimized Computation Methods |
ECIR
2009
Springer
14 years 7 months ago
2009
Springer
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
SAT
2009
Springer
14 years 4 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....
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
—This paper reviews the different gradient-based schemes and the sources of gradient, their availability, precision and computational complexity, and explores the benefits of usi...