2889 search results - page 501 / 578 » Querying Structured Hyperdocuments |
168
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
183
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper presents an algorithm for recovering the globally optimal 2D human figure detection using a loopy graph model. This is computationally challenging because the time comp...
136
click to vote
WWW
2010
ACM
16 years 15 days ago
2010
ACM
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
139
click to vote
EDBT
2010
ACM
16 years 11 days ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
136
click to vote
LICS
2009
IEEE
16 years 5 days ago
2009
IEEE
—We introduce extensions of first-order logic (FO) and fixed-point logic (FP) with operators that compute the rank of a definable matrix. These operators are generalizations o...