886 search results - page 119 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
103
click to vote
ICSM
2002
IEEE
15 years 3 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
EMMCVPR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signiï¬...
WSC
2004
14 years 11 months ago
2004
We develop a hierarchical distributed production planning and control methodology, called DISCS, for a large and unstable semiconductor manufacturing process. The upper layer of D...
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
We address the automatic recovery of complete 3-D object models from video streams. Usually, complete 3-D models are built by fusing several depth maps, each computed from a small...