Sciweavers

9071 search results - page 1674 / 1815
» A co-design modeling approach for computer network systems
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 3 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
GECCO
2010
Springer
150views Optimization» more  GECCO 2010»
15 years 2 months ago
Towards drift correction in chemical sensors using an evolutionary strategy
Gas chemical sensors are strongly affected by the so-called drift, i.e., changes in sensors’ response caused by poisoning and aging that may significantly spoil the measures g...
Stephano Di Carlo, Ernesto Sánchez, Alberto...
AUIC
2000
IEEE
15 years 2 months ago
Finger Tracking for the Digital Desk
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
Thomas Brown, Richard C. Thomas
CVPR
2009
IEEE
15 years 1 months ago
High-quality curvelet-based motion deblurring from an image pair
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
Jian-Feng Cai, Hui Ji, Chaoqiang Liu, Zuowei Shen
DAGM
2009
Springer
14 years 11 months ago
Realistic Depth Blur for Images with Range Data
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
Benjamin Huhle, Timo Schairer, Philipp Jenke, Wolf...
« Prev « First page 1674 / 1815 Last » Next »