1058 search results - page 149 / 212 » MEMOPS: Data modelling and automatic code generation. |
102
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a new learning framework?probabilistic boosting-tree (PBT), is proposed for learning two-class and multi-class discriminative models. In the learning stage, the pro...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces a new feature-based technique for implicitly modelling objects in visual surveillance. Previous work has generally employed background subtraction and other ...
SIBGRAPI
2000
IEEE
15 years 2 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
3DPVT
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...