Sciweavers

5012 search results - page 98 / 1003
» Distributed Error Correction
Sort
View
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 9 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
BPM
2006
Springer
78views Business» more  BPM 2006»
15 years 8 months ago
Semantic Correctness in Adaptive Process Management Systems
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
CHI
2003
ACM
16 years 5 months ago
Harnessing curiosity to increase correctness in end-user programming
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...
Aaron Wilson, Margaret M. Burnett, Laura Beckwith,...
ICB
2007
Springer
119views Biometrics» more  ICB 2007»
15 years 11 months ago
Nonlinear Iris Deformation Correction Based on Gaussian Model
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused b...
Zhuoshi Wei, Tieniu Tan, Zhenan Sun
ICCSA
2007
Springer
15 years 11 months ago
An Automatic Correction Tool for Relational Algebra Queries
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
Josep Soler, Imma Boada, Ferran Prados, Jordi Poch...