Sciweavers

4107 search results - page 289 / 822
» The Generalized Lambda Test
Sort
View
CIARP
2008
Springer
15 years 8 months ago
Measuring the Related Properties of Linearity and Elongation of Point Sets
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
Milos Stojmenovic, Amiya Nayak
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
ISSRE
2007
IEEE
15 years 8 months ago
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
Erik Arisholm, Lionel C. Briand, Magnus Fuglerud
BCSHCI
2007
15 years 8 months ago
ALT text and basic accessibility
Recent surveys have shown that the majority of websites are not accessible. Despite legal obligations and the importance of the internet for disabled people, most websites fail to...
Tom McEwan, Ben Weerts
SDM
2010
SIAM
191views Data Mining» more  SDM 2010»
15 years 8 months ago
Active Ordering of Interactive Prediction Tasks
Many applications involve a set of prediction tasks that must be accomplished sequentially through user interaction. If the tasks are interdependent, the order in which they are p...
Abhimanyu Lad, Yiming Yang