Sciweavers

4895 search results - page 750 / 979
» Tools for Grammar Engineering
Sort
View
FIW
1998
104views Communications» more  FIW 1998»
15 years 8 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
ICONIP
1998
15 years 8 months ago
A Web Oriented Recurrent Neural Network Simulator
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
Romuald Boné, Michel Crucianu, Pascal Makri...
SOSP
1997
ACM
15 years 8 months ago
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...
COLING
1990
15 years 7 months ago
Concept Analysis And Terminology: A Knowledge-Based Approach To Documentation
The central concern of terminology, a component of the general documentation process, is concept analysis, an activity which is becoming recognized as fundamental as term banks evo...
Douglas R. Skuce, Ingrid Meyer
WCE
2007
15 years 7 months ago
Estimation for Strictly Positive Stable Laws
Abstract—Positive stable laws have become a standard tool in modelling heavy tailed data in such diverse areas as finance, engineering and survival analysis. Due to the non–ex...
Simos G. Meintanis