364 search results - page 42 / 73 » Guiding Model Search Using Segmentation |
105
click to vote
NIPS
2001
15 years 2 months ago
2001
The PageRank algorithm, used in the Google search engine, greatly improves the results of Web search by taking into account the link structure of the Web. PageRank assigns to a pa...
114
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Detecting and segmenting free-form objects from cluttered backgrounds is a challenging problem in computer vision. Signature detection in document images is one classic example an...
106
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
Traditionally, search engines have ignored the reading difficulty of documents and the reading proficiency of users in computing a document ranking. This is one reason why Web se...
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
122
click to vote
TSE
2008
15 years 1 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...