Sciweavers

4895 search results - page 77 / 979
» Tools for Grammar Engineering
Sort
View
ISSE
2010
14 years 8 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
CAINE
2001
14 years 11 months ago
Towards On-line and Personalized Learning - A Web-Search Engine Utility
Distance learning gives benefits for training organization, which are further enhanced by using new information and communication technology. Computerbased tools provide a solutio...
Sabine Leroy, Hervé Camus, M. Picavet
SOFSEM
1998
Springer
15 years 2 months ago
Determining Type of TIL Construction with Verb Valency Analyser
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
Pavel Smrz, Ales Horák
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
15 years 1 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
ACL
2006
14 years 11 months ago
Re-Usable Tools for Precision Machine Translation
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
Jan Tore Lønning, Stephan Oepen