16725 search results - page 2674 / 3345 » Engineering Software Correctness |
218
click to vote
ERCIMDL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
177
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
216
click to vote
INFOVIS
2005
IEEE
16 years 25 days ago
2005
IEEE
We present PRISAD, the first generic rendering infrastructure for information visualization applications that use the accordion drawing technique: rubber-sheet navigation with gu...
246
click to vote
WECWIS
2003
IEEE
16 years 15 days ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
217
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...