11017 search results - page 1979 / 2204 » Closure Systems and their Structure |
226
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
The goal of object category discovery is to automatically identify groups of image regions which belong to some new, previously unseen category. This task is typically performed i...
194
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
147
click to vote
COLING
2010
15 years 2 months ago
2010
Traditional 1-best translation pipelines suffer a major drawback: the errors of 1best outputs, inevitably introduced by each module, will propagate and accumulate along the pipeli...
219
click to vote
COLING
2010
15 years 2 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
279
click to vote
SCP
2011
15 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...