2646 search results - page 130 / 530 » Local Type Inference |
140
click to vote
CVPR
2003
IEEE
15 years 9 months ago
2003
IEEE
A “graphics for vision” approach is proposed to address the problem of reconstruction from a large and imperfect data set: reconstruction on demand by tensor voting, or ROD-TV...
150
click to vote
ISMB
2000
15 years 5 months ago
2000
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
126
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Text reuse occurs in many different types of documents and for many different reasons. One form of reuse, duplicate or near-duplicate documents, has been a focus of researchers be...
144
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
136
click to vote
SSD
2007
Springer
15 years 10 months ago
2007
Springer
Topological relationships between spatial objects are important for querying, reasoning, and indexing of data within spatial databases. These relationships are qualitative and resp...