Sciweavers

1984 search results - page 301 / 397
» The colourful feasibility problem
Sort
View
122
Voted
VTS
1999
IEEE
66views Hardware» more  VTS 1999»
15 years 9 months ago
A New Bare Die Test Methodology
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...
Zao Yang, K.-T. Cheng, K. L. Tai
CGI
1998
IEEE
15 years 9 months ago
Automatic 3D Model Acquisition from Uncalibrated Image Sequences
In this paper the problem of obtaining 3D models from image sequences is addressed. The proposed method deals with uncalibrated monocular image sequences. No prior knowledge about...
Reinhard Koch, Marc Pollefeys, Luc J. Van Gool
RE
1999
Springer
15 years 9 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
KBSE
1998
IEEE
15 years 9 months ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
AI
1998
Springer
15 years 9 months ago
A Hybrid Convergent Method for Learning Probabilistic Networks
During past few years, a variety of methods have been developed for learning probabilistic networks from data, among which the heuristic single link forward or backward searches ar...
Jun Liu, Kuo-Chu Chang, Jing Zhou