Sciweavers

643 search results - page 28 / 129
» tools 1998
Sort
View
IWFM
1998
136views Formal Methods» more  IWFM 1998»
13 years 9 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
ECOOP
1998
Springer
13 years 11 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
ESM
1998
13 years 9 months ago
Modelling of the Human Arterial Network for Preoperative Predictions
The aim of this project was the development of a user-friendly software package for physicians that can be used as an advisor in vessel surgery and as a training tool for medical ...
Christian Almeder, Felix Breitenecker, Siegfried W...
SYBEN
1998
89views more  SYBEN 1998»
13 years 9 months ago
Authoring Hypermedia Training Applications
This paper presents an approach for authoring training applications. In this approach we think an author can undertake two roles: the meta-authoring role and the authoring role. A...
Aphrodite Tsalgatidou, M. Anastasiou, D. Plevria, ...
SOFSEM
1998
Springer
13 years 11 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