Sciweavers

2775 search results - page 355 / 555
» Visualizing abstract events
Sort
View
ACCV
2006
Springer
15 years 10 months ago
Multi-camera Tracking of Articulated Human Motion Using Motion and Shape Cues
Abstract. We present a framework and algorithm for tracking articulated motion for humans. We use multiple calibrated cameras and an articulated human shape model. Tracking is perf...
Aravind Sundaresan, Rama Chellappa
AMAST
2006
Springer
15 years 10 months ago
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
Manuel Clavel, Marina Egea
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
CIVR
2006
Springer
138views Image Analysis» more  CIVR 2006»
15 years 10 months ago
A Large Scale System for Searching and Browsing Images from the World Wide Web
Abstract. This paper outlines the technical details of a prototype system for searching and browsing over a million images from the World Wide Web using their visual contents. The ...
Alexei Yavlinsky, Daniel Heesch, Stefan M. Rü...
ECCV
2010
Springer
15 years 9 months ago
Simultaneous Segmentation and Figure/Ground Organization using Angular Embedding
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...