Sciweavers

4320 search results - page 124 / 864
» Functional Objects
Sort
View
ANSOFT
2002
100views more  ANSOFT 2002»
15 years 6 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
CVPR
2008
IEEE
16 years 8 months ago
Interactive image segmentation via minimization of quadratic energies on directed graphs
We propose a scheme to introduce directionality in the Random Walker algorithm for image segmentation. In particular, we extend the optimization framework of this algorithm to com...
Dheeraj Singaraju, Leo Grady, René Vidal
CVPR
2010
IEEE
16 years 2 months ago
Fast Polygonal Integration and Its Application in Extending Haar-like Features to Improve Object Detection
The integral image is typically used for fast integrating a function over a rectangular region in an image. We propose a method that extends the integral image to do fast integrat...
Minh-Tri Pham, Viet-Dung Hoang, Tat-Jen Cham, Yang...
FGIT
2009
Springer
16 years 29 days ago
Object Surface Reconstruction from One Camera System
In this paper, there is introduced an approach to surface reconstruction of an object captured by one grayscale camera with a small resolution. The proposed solution expects a rec...
Radim Dvorak, Martin Drahanský, Filip Ors&a...
FMICS
2007
Springer
16 years 17 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller