6201 search results - page 240 / 1241 » Implementation of Axiomatic Language |
148
click to vote
ASSISTIVE
1998
Springer
15 years 9 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
155
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
186
click to vote
LCPC
1995
Springer
15 years 9 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
246
click to vote
COGSYS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
138
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...