Sciweavers

6704 search results - page 100 / 1341
» Testing Scenario-Based Models
Sort
View
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
15 years 4 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 6 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...
ACIVS
2005
Springer
15 years 8 months ago
A Likelihood Ratio Test for Functional MRI Data Analysis to Account for Colored Noise
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
Jan Sijbers, Arnold Jan den Dekker, Robert Bos
130
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
Learning Undirected Possibilistic Networks with Conditional Independence Tests
—Approaches based on conditional independence tests are among the most popular methods for learning graphical models from data. Due to the predominance of Bayesian networks in th...
Christian Borgelt
113
Voted
DSRT
2002
IEEE
15 years 7 months ago
Nautilus - The Environment for Training and Testing
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
Jiri Chludil, Jiri Zara