Sciweavers

3424 search results - page 364 / 685
» Automated Testing of Classes
Sort
View
ESANN
2006
15 years 8 months ago
Classification of Boar Sperm Head Images using Learning Vector Quantization
We apply Learning Vector Quantization (LVQ) in automated boar semen quality assessment. The classification of single boar sperm heads into healthy (normal) and non-normal ones is b...
Michael Biehl, Piter Pasma, Marten Pijl, Lidia S&a...
IASSE
2004
15 years 8 months ago
A Rationale-based Analysis Tool
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
Timo Wolf, Allen H. Dutoit
AAAI
1996
15 years 8 months ago
Learning Models for Multi-Source Integration
One issue involved in accessing multiple heterogeneous information sources is how to integrate the retrieved data. SIMS, an information mediator, handles this problem by mapping t...
Sheila Tejada, Craig A. Knoblock, Steven Minton
COLING
1996
15 years 8 months ago
Pattern-Based Machine Translation
Pattern-based machine translation systems can be easily customized by adding new patterns. To gain full profits from this character, input of patterns should be both expressive an...
Koichi Takeda
IANDC
2007
106views more  IANDC 2007»
15 years 6 months ago
Tyrolean termination tool: Techniques and features
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
Nao Hirokawa, Aart Middeldorp