Sciweavers

155 search results - page 11 / 31
» Enforcing Integrability by Error Correction using L1-minimiz...
Sort
View
JSS
2007
105views more  JSS 2007»
13 years 7 months ago
Composing pattern-based components and verifying correctness
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, S...
COLING
2008
13 years 9 months ago
Hybrid Processing for Grammar and Style Checking
This paper presents an implemented hybrid approach to grammar and style checking, combining an industrial patternbased grammar and style checker with bidirectional, large-scale HP...
Berthold Crysmann, Nuria Bertomeu, Peter Adolphs, ...
CVPR
1999
IEEE
14 years 9 months ago
Integrating Shape from Shading and Range Data Using Neural Networks
This paper presents a framework for integrating multiple sensory data, sparse range data and dense depth maps from shape from shading in order to improve the 3D reconstruction of ...
Mostafa G.-H. Mostafa, Sameh M. Yamany, Aly A. Far...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
14 years 1 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
IEEECIT
2010
IEEE
13 years 6 months ago
A Rotate-based Best Neighborhood Matching Algorithm for High Definition Image Error Concealment
—Error concealment restores the visual integrity of image content that has been damaged due to a bad network transmission. Best neighborhood matching (BNM) is an effective image ...
Liqiang He, Yanyan Zhang