Sciweavers

2565 search results - page 128 / 513
» Object type constructors
Sort
View
ESOP
2009
Springer
15 years 6 months ago
Existential Quantification for Variant Ownership
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
Nicholas R. Cameron, Sophia Drossopoulou
CVPR
2005
IEEE
16 years 4 months ago
Object Class Recognition Using Multiple Layer Boosting with Heterogeneous Features
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...
Wei Zhang 0002, Bing Yu, Gregory J. Zelinsky, Dimi...
IJCV
1998
105views more  IJCV 1998»
15 years 1 months ago
Robust Algorithms for Object Localization
Object localization using sensed data features and corresponding model features is a fundamental problem in machine vision. We reformulate object localization as a least squares p...
Aaron S. Wallack, Dinesh Manocha
ICIP
2007
IEEE
16 years 3 months ago
Rotation Detection using the Curl Equation
Rotational types of motion can often be seen in video sequences. However, not a lot of research has been done to investigate rotational motion models for use in video. Analysing t...
Daire Lennon, Naomi Harte, Anil C. Kokaram
ICFP
2005
ACM
16 years 2 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...