Sciweavers

6279 search results - page 349 / 1256
» Objects as session-typed processes
Sort
View
ECCV
2008
Springer
16 years 8 months ago
Simultaneous Detection and Registration for Ileo-Cecal Valve Detection in 3D CT Colonography
Object detection and recognition has achieved a significant progress in recent years. However robust 3D object detection and segmentation in noisy 3D data volumes remains a challen...
Le Lu, Adrian Barbu, Matthias Wolf, Jianming Liang...
PR
2007
143views more  PR 2007»
15 years 6 months ago
Shadow resistant tracking using inertia constraints
In this paper, we present a new method for tracking objects with shadows. Traditional motion-based tracking schemes cannot usually distinguish the shadow from the object itself, a...
Hao Jiang, Mark S. Drew
DAGM
2003
Springer
16 years 2 days ago
IR Pedestrian Detection for Advanced Driver Assistance Systems
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
Massimo Bertozzi, Alberto Broggi, M. Carletti, Ale...
177
Voted
TPHOL
2002
IEEE
15 years 11 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
BTW
2001
Springer
103views Database» more  BTW 2001»
15 years 11 months ago
On Realizing Transformation Independence in Open, Distributed Multimedia Information Systems
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
Ulrich Marder