4895 search results - page 834 / 979 » Tools for Grammar Engineering |
149
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
155
click to vote
ICMI
2004
Springer
15 years 10 months ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
157
click to vote
ICSR
2004
Springer
15 years 10 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
146
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
183
click to vote
ITRUST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...