Sciweavers

1836 search results - page 160 / 368
» Hierarchies for semantic classes
Sort
View
TCS
2011
14 years 5 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
DEXA
2000
Springer
100views Database» more  DEXA 2000»
15 years 2 months ago
Contextualization of OODB Schemas in CROME
View mechanisms, widely used in the relational databases, pose new questions in the object model which captures much more semantics. In this paper, we will focus on inheritance and...
Olivier Caron, Bernard Carré, Laurent Debra...
65
Voted
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
ICCV
2003
IEEE
16 years 1 days ago
A New Paradigm for Recognizing 3-D Object Shapes from Range Data
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
WWW
2008
ACM
15 years 10 months ago
Enhanced hierarchical classification via isotonic smoothing
Hierarchical topic taxonomies have proliferated on the World Wide Web [5, 18], and exploiting the output space decompositions they induce in automated classification systems is an...
Kunal Punera, Joydeep Ghosh