602 search results - page 97 / 121 » Integrating Data and Probabilistically Structured Text Docum... |
204
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
102
click to vote
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
173
click to vote
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
ICDM
2003
IEEE
15 years 2 months ago
2003
IEEE
We propose the combination of two recently introduced methods for the interactive visual data mining of large collections of data. Both, Hyperbolic Multi-Dimensional Scaling (HMDS...
PAMI
2007
14 years 9 months ago
2007
— This paper presents a novel approach for visual scene modeling and classification, investigating the combined use of text modeling methods and local invariant features. Our wo...