Sciweavers

8729 search results - page 259 / 1746
» Design Of Experiments: Overview
Sort
View
TSD
2005
Springer
16 years 4 days ago
The VoiceTRAN Speech-to-Speech Communicator
The paper presents the design concept of the VoiceTRAN Communicator that integrates speech recognition, machine translation and text-to-speech synthesis using the DARPA Galaxy arch...
Jerneja Zganec-Gros, France Mihelic, Tomaz Erjavec...
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
16 years 4 days ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
SAC
2004
ACM
16 years 2 days ago
The effectiveness of combining information retrieval strategies for European languages
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
Jaap Kamps, Maarten de Rijke
ATAL
2004
Springer
16 years 2 days ago
Run the GAMUT: A Comprehensive Approach to Evaluating Game-Theoretic Algorithms
We present GAMUT1 , a suite of game generators designed for testing game-theoretic algorithms. We explain why such a generator is necessary, offer a way of visualizing relationshi...
Eugene Nudelman, Jennifer Wortman, Yoav Shoham, Ke...
MKM
2004
Springer
16 years 19 hour ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt