Sciweavers

1851 search results - page 176 / 371
» Open Source AI
Sort
View
JSS
2006
97views more  JSS 2006»
15 years 4 months ago
An empirical study into class testability
In this paper we investigate factors of the testability of object-oriented software systems. The starting point is given by a study of the literature to obtain both an initial mod...
Magiel Bruntink, Arie van Deursen
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 3 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
TAICPART
2010
IEEE
166views Education» more  TAICPART 2010»
15 years 2 months ago
Linguistic Security Testing for Text Communication Protocols
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
Ben W. Y. Kam, Thomas R. Dean
JMLR
2010
107views more  JMLR 2010»
14 years 11 months ago
Error-Correcting Ouput Codes Library
In this paper, we present an open source Error-Correcting Output Codes (ECOC) library. The ECOC framework is a powerful tool to deal with multi-class categorization problems. This...
Sergio Escalera, Oriol Pujol, Petia Radeva
SCP
2010
189views more  SCP 2010»
14 years 11 months ago
Distributed and Collaborative Software Evolution Analysis with Churrasco
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
Marco D'Ambros, Michele Lanza