Sciweavers

12084 search results - page 335 / 2417
» Effect Systems with Subtyping
Sort
View
170
Voted
NORDICHI
2004
ACM
16 years 27 days ago
Evidence-based development: a viable approach?
Systems development is replete with projects that represent substantial resource investments but result in systems that fail to meet users’ needs. Evidence-based development is ...
Morten Hertzum, Jesper Simonsen
IJCNN
2000
IEEE
15 years 12 months ago
Unsupervised Learning of Neural Network Ensembles for Image Classification
In the field of pattern recognition, the combination of an ensemble of neural networks has been proposed as an approach to the development of high performance image classification...
Giorgio Giacinto, Fabio Roli, Giorgio Fumera
LCTRTS
2000
Springer
15 years 11 months ago
Automatic Validation of Code-Improving Transformations
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
Robert van Engelen, David B. Whalley, Xin Yuan
153
Voted
ECIR
2006
Springer
15 years 8 months ago
Morphological Variation of Arabic Queries
Although it has been shown that in test collection based studies, stemming improves retrieval effectiveness in an information retrieval system, morphological variations of queries ...
Asaad Alberair, Mark Sanderson
177
Voted
APSEC
2010
IEEE
15 years 2 months ago
Testing Inter-layer and Inter-task Interactions in RTES Applications
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel, T...