3394 search results - page 147 / 679 » Regular Object Types |
120
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
199
Voted
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
Extracting and integrating object information from the Web is of great significance for Web data management. The existing Web information extraction techniques cannot provide sati...
115
click to vote
FMOODS
2007
15 years 2 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a novel approach for unsupervised discovery of repetitive objects from 3D point clouds. Our method assumes that objects are geometrically consistent, and uses multiple o...
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...