536 search results - page 22 / 108 » Efficient Search Using Bitboard Models |
DAGSTUHL
2006
13 years 9 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
P2PKM
2004
13 years 9 months ago
2004
Abstract. In the future it is likely that peer communities will be routinely established for the purpose of sharing electronic resources and targeted information among groups of pe...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
In this paper we explore the use of parsimonious language models for web retrieval. These models are smaller thus more efficient than the standard language models and are therefor...
CIRA
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper presents an automatic object detection and tracking algorithm by using particle swarm optimization (PSO) based method, which is a searching algorithm inspired by the ...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
While using more biometric traits in multimodal biometric fusion can effectively increase the system robustness, often, the cost associated to adding additional systems is not con...