2828 search results - page 238 / 566 » Custom Local Search |
202
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The rapid growth of protein interactome data has elevated the necessity and importance of network analysis tools. However, unlike pure text data, network search spaces...
200
click to vote
AIPS
2004
15 years 8 months ago
2004
The planning as heuristic search framework, initiated by the planners ASP from Bonet, Loerincs and Geffner, and HSP from Bonet and Geffner, lead to some of the most performant pla...
156
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a new approach for estimating the disparity search range in stereo video that enforces temporal consistency. Reliable search range estimation is very important...
315
click to vote
IPM
2007
15 years 6 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
146
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...