Sciweavers

4914 search results - page 261 / 983
» Arbitration of a help system
Sort
View
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 12 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
CIA
2000
Springer
15 years 11 months ago
A Cybernetic Approach to the Modeling of Agent Communities
This paper, which is expository in nature, investigates and illustrates the idea of using cybernetic system modeling techniques to model a multi-agent community. The cybernetic co...
Walt Truszkowski, Jay Karlin
ICDAR
1999
IEEE
15 years 11 months ago
Projection based Segmentation of Musical Sheets
The automatic recognition of music scores is a key process for the electronic treatment of music information. In this paper, we present the segmentation module of an OMR system. T...
Simone Marinai, Paolo Nesi
185
Voted
LCR
1998
Springer
150views System Software» more  LCR 1998»
15 years 10 months ago
Improving Locality in Out-of-Core Computations Using Data Layout Transformations
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanuja...
CHI
1996
ACM
15 years 10 months ago
MailCall: Message Presentation and Navigation in a Nonvisual Environment
MailCall is a telephone-based messaging system using speech recognition and synthesis. Its nonvisual interaction approaches the usability of visual systems through a combination o...
Matthew Marx, Chris Schmandt