Sciweavers

23 search results - page 1 / 5
» seke 2007
Sort
View
SEKE
2007
Springer
13 years 11 months ago
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
Salamah Salamah, Vladik Kreinovich, Ann Q. Gates
SEKE
2007
Springer
13 years 11 months ago
Benchmarking the RDF(S) Interoperability of Ontology Tools
Raul Garcia-Castro, Asunción Gómez-P...
SEKE
2007
Springer
13 years 11 months ago
Methodology for Reusing Human Resources Management Standards
Asunción Gómez-Pérez, Jaime R...
SEKE
2007
Springer
13 years 11 months ago
Software Documents: Comparison and Measurement
Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark...
SEKE
2007
Springer
13 years 11 months ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias