10715 search results - page 342 / 2143 » Proofs from Tests |
225
click to vote
IGARSS
2009
15 years 4 months ago
2009
We have explored in this paper a framework to test in a quantitative manner the stability of different endmember extraction and spectral unmixing algorithms based on the concept o...
199
click to vote
AIED
2011
Springer
14 years 10 months ago
2011
Springer
We have created a math learning environment with game-like elements such as narrative, visual feedback, personalization, collection, etc. We made a study with four different versio...
202
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
190
click to vote
AOSD
2006
ACM
16 years 24 days ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
176
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...