Sciweavers

1792 search results - page 39 / 359
» Requirements Capture with RCAT
Sort
View
IWSAS
2001
Springer
14 years 29 days ago
Constraint-Guided Self-adaptation
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
Sandeep Neema, Ákos Lédeczi
HCI
2009
13 years 6 months ago
Interactive Demonstration of Pointing Gestures for Virtual Trainers
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
Yazhou Huang, Marcelo Kallmann
CVPR
2011
IEEE
13 years 4 months ago
Noise Suppression in Low-Light Images through Joint Denoising and Demosaicing
We address the effects of noise in low-light images in this paper. Color images are usually captured by a sensor with a color filter array (CFA). This requires a demosaicing proc...
Priyam Chatterjee, Neel Joshi, Sing Bing Kang, Yas...
ICCV
2011
IEEE
12 years 8 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...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 1 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...