Sciweavers

2302 search results - page 86 / 461
» Testing as Abstraction
Sort
View
SSPR
1998
Springer
15 years 10 months ago
Torah Codes: New Experimental Protocols
Abstract. Because of its unexpected nature, finding words as equidistant letter sequences (Torah codes) in a text may appear to be interesting. However, there is a significant prob...
Robert M. Haralick
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
PROPOR
2010
Springer
159views Languages» more  PROPOR 2010»
15 years 9 months ago
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
Patrick Silva, Pedro Batista, Nelson Neto, Aldebar...
DLOG
2007
15 years 8 months ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
ICONIP
2007
15 years 7 months ago
A Kolmogorov-Smirnov Correlation-Based Filter for Microarray Data
Abstract. A filter algorithm using F-measure has been used with feature redundancy removal based on the Kolmogorov-Smirnov (KS) test for rough equality of statistical distribution...
Jacek Biesiada, Wlodzislaw Duch