4258 search results - page 421 / 852 » Languages and Interactive Software Development |
178
click to vote
COST
2009
Springer
15 years 11 months ago
2009
Springer
This paper reviews interactive methods for improving the phonetic competence of subjects in the case of second language learning as well as in the case of speech therapy for subjec...
136
click to vote
ICDAR
2007
IEEE
15 years 11 months ago
2007
IEEE
Modern optical character recognition software relies on human interaction to correct misrecognized characters. Even though the software often reliably identifies low-confidence ...
248
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
138
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
135
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...