Sciweavers

2565 search results - page 128 / 513
» Object type constructors
Sort
View
ESOP
2009
Springer
14 years 28 days 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
14 years 11 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»
13 years 8 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
14 years 10 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
14 years 9 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...