1361 search results - page 79 / 273 » Spaces of practice |
IPM
2006
15 years 20 days ago
2006
Similarity calculations and document ranking form the computationally expensive parts of query processing in ranking-based text retrieval. In this work, for these calculations, 11...
114
click to vote
CIVR
2006
Springer
15 years 4 months ago
2006
Springer
A combination of query-by-visual-example (QBVE) and semantic retrieval (SR), denoted as query-by-semantic-example (QBSE), is proposed. Images are labeled with respect to a vocabula...
103
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a novel algorithm that, given a data-flow graph and an input/output constraint, enumerates all convex subgraphs under the given constraint in polynomial time ...
89
Voted
GROUP
1999
ACM
15 years 5 months ago
1999
ACM
Research into collaborative document use often concentrates on how people share document content. However, studies of real-world document practices reveal that the structures by w...