Sciweavers

6197 search results - page 954 / 1240
» Sandbridge Software Tools
Sort
View
GI
2005
Springer
16 years 6 days ago
Model-Based Requirements Engineering with AutoRAID
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
Bernhard Schätz, Andreas Fleischmann, Eva Gei...
ICCS
2005
Springer
16 years 6 days ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
160
Voted
CLEF
2004
Springer
16 years 2 days ago
Mono- and Crosslingual Retrieval Experiments at the University of Hildesheim
In this year’s participation we continued to evaluate open source information retrieval software. We used mainly the system Lucene and experimented with some of the most effecti...
René Hackl, Thomas Mandl, Christa Womser-Ha...
DILS
2004
Springer
16 years 2 days ago
Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework
This paper describes a new method for the ontologically based standardization of concepts in the medical domain. As an application of this method we developed a data dictionary whi...
Barbara Heller, Heinrich Herre, Kristin Lippoldt
ICCS
2004
Springer
16 years 2 days ago
Design of Interactive Environment for Numerically Intensive Parallel Linear Algebra Calculations
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
Piotr Luszczek, Jack Dongarra