1712 search results - page 34 / 343 » Assistive technology in computer science |
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
In this paper we introduce the architecture of a distributed service platform that integrates speech, web technology and voice-overIP technologies and describe how a specific serv...
ECTEL
2009
Springer
14 years 4 months ago
2009
Springer
How much help helps in discovery learning? This question is one instance of the assistance dilemma, an important issue in the learning sciences and educational technology research....
APWEB
2006
Springer
14 years 1 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...