Sciweavers

868 search results - page 103 / 174
» Debugging for Model Expansion
Sort
View
AMOST
2007
ACM
14 years 2 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
SAC
2008
ACM
13 years 9 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
ICML
2009
IEEE
14 years 10 months ago
The Bayesian group-Lasso for analyzing contingency tables
Group-Lasso estimators, useful in many applications, suffer from lack of meaningful variance estimates for regression coefficients. To overcome such problems, we propose a full Ba...
Sudhir Raman, Thomas J. Fuchs, Peter J. Wild, Edga...
WWW
2009
ACM
14 years 10 months ago
Bucefalo: a tool for intelligent search and filtering for web-based personal health records
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...
Francisco P. Romero, Jesús Serrano-Guerrero...
LATA
2010
Springer
14 years 4 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza