2412 search results - page 159 / 483 » Which Problems Have Strongly Exponential Complexity |
146
Voted
ECIR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Machine learning ranking methods are increasingly applied to ranking tasks in information retrieval (IR). However ranking tasks in IR often differ from standard ranking t...
223
Voted
ASIAMS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
125
Voted
BIBE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Following the technological advances that have enabled genome-wide analysis in most model organisms over the last ten years, there has been unprecedented growth in genome and po...
147
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
126
click to vote
JCP
2008
15 years 3 months ago
2008
A huge application domain, in particular, wireless and handheld devices strongly requires flexible and powerefficient hardware with high performance. This can only be achieved with...