Sciweavers

3680 search results - page 101 / 736
» cases 2010
Sort
View
APPML
2010
133views more  APPML 2010»
15 years 6 months ago
Fractional relaxation equations on Banach spaces
Abstract. We study existence and qualitative properties of solutions for the abstract fractional relaxation equation (0.1) u (t) - AD t u(t) + u(t) = f(t), 0 < < 1, t 0, u(...
Carlos Lizama, Humberto Prado
ENTCS
2010
144views more  ENTCS 2010»
15 years 6 months ago
Integrating Component Tests to System Tests
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
Bernhard Schätz, Christian Pfaller
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 11 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
PTS
2010
134views Hardware» more  PTS 2010»
15 years 4 months ago
A Learning-Based Approach to Unit Testing of Numerical Software
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
Karl Meinke, Fei Niu
DAS
2010
Springer
15 years 10 months ago
Memory-based recognition of camera-captured characters
This paper addresses how to quickly recognize a character pattern using a lot of case examples without learning. Here without learning means just finding the most similar example...
Masakazu Iwamura, Tomohiko Tsuji, Koichi Kise