1003 search results - page 139 / 201 » Type Inference with Inequalities |
152
click to vote
DLOG
2011
14 years 7 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
163
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We present a discriminative latent topic model for scene recognition. The capacity of our model is originated from the modeling of two types of visual contexts, i.e., the category...
116
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
163
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, we present an attribute graph grammar for image parsing on scenes with man-made objects, such as buildings, hallways, kitchens, and living rooms. We choose one clas...
150
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...