Sciweavers

3686 search results - page 171 / 738
» Comprehensive comprehensions
Sort
View
APAQS
2001
IEEE
14 years 26 days ago
A Path to Virtual Software Inspection
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
Lasse Harjumaa, Henrik Hedberg, Ilkka Tervonen
ISMIR
2000
Springer
132views Music» more  ISMIR 2000»
14 years 24 days ago
Optical Music Recognition System within a Large-Scale Digitization Project
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...
G. Sayeed Choudhury, M. Droetboom, Tim DiLauro, Ic...
VLDB
2000
ACM
102views Database» more  VLDB 2000»
14 years 23 days ago
Biodiversity Informatics Infrastructure: An Information Commons for the Biodiversity Community
This paper provides an overview of efforts to create an informatics infrastructure for the biodiversity community. A vast amount of biodiversity information exists, but no compreh...
Gladys A. Cotter, Barbara T. Bauldock
WCRE
2000
IEEE
14 years 23 days ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
UIST
1997
ACM
14 years 22 days ago
Flexible Conflict Detection and Management in Collaborative Applications
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
W. Keith Edwards