2153 search results - page 250 / 431 » From Requirements Models to Formal Specifications in B |
189
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Without a deformation model, monocular 3D shape recovery of deformable surfaces is severly under-constrained. Even when the image information is rich enough, prior knowledge of th...
160
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
133
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
206
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents a new method for constructing compact statistical point-based models of ensembles of similar shapes that does not rely on any specific surface parameterization....
157
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...