3575 search results - page 30 / 715 » Modeling Concurrency with Geometry |
FGR
2008
IEEE
15 years 4 months ago
2008
IEEE
We describe an algorithm for automatically finding correspondences from face video sequences. This method is useful to many applications such as face tracking, face modeling and ...
127
click to vote
FGR
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents a global scheme for 3D face reconstruction and face segmentation into a limited number of analytical patches from stereo images. From a depth map, we generate ...
FM
2001
Springer
15 years 2 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
IJCV
2007
14 years 9 months ago
2007
Building a spatially consistent model is a key functionality to endow a mobile robot with autonomy. Without an initial map or an absolute localization means, it requires to concurr...
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...