1058 search results - page 149 / 212 » MEMOPS: Data modelling and automatic code generation. |
197
click to vote
ICCV
2005
IEEE
16 years 8 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...
187
click to vote
ICIP
2008
IEEE
16 years 8 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 ...
179
click to vote
SIBGRAPI
2000
IEEE
15 years 10 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,...
175
click to vote
3DPVT
2004
IEEE
15 years 10 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...
181
click to vote
VMCAI
2005
Springer
15 years 11 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 ...