Sciweavers

5101 search results - page 205 / 1021
» Capturing Context Requirements
Sort
View
132
Voted
ICCV
2011
IEEE
14 years 3 months ago
Self-Calibrating Depth from Refraction
In this paper, we introduce a novel method for depth acquisition based on refraction of light. A scene is captured twice by a fixed perspective camera, with the first image capt...
Zhihu Chen, Kwan-Yee Wong, Yasuyuki Matsushita, Xi...
SPIN
1999
Springer
15 years 7 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
ICIP
2009
IEEE
16 years 4 months ago
Memory-less Bit-plane Coder Architecture For Jpeg2000 With Concurrent Column-stripe Coding
In implementing an efficient block coder for JPEG2000, the memories required for storing the state variables dominate the hardware cost of a block coder. In this paper, we propose...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 8 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
CVPR
2005
IEEE
16 years 5 months ago
Multilinear Independent Components Analysis
Independent Components Analysis (ICA) maximizes the statistical independence of the representational components of a training image ensemble, but it cannot distinguish between the...
M. Alex O. Vasilescu, Demetri Terzopoulos