Sciweavers

3031 search results - page 131 / 607
» Model Driven Testing Based on Test History
Sort
View
115
Voted
BMCBI
2011
14 years 4 months ago
Robust joint analysis allowing for model uncertainty in two-stage genetic association studies
Background: The cost efficient two-stage design is often used in genome-wide association studies (GWASs) in searching for genetic loci underlying the susceptibility for complex di...
Dongdong Pan, Qizhai Li, Ningning Jiang, Aiyi Liu,...
79
Voted
LREC
2010
173views Education» more  LREC 2010»
15 years 2 months ago
Czech Information Retrieval with Syntax-based Language Models
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...
Jana Straková, Pavel Pecina
91
Voted
DLOG
2003
15 years 2 months ago
Reasoning about Nominals with FaCT and RACER
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
Jan Hladik
100
Voted
ECLIPSE
2006
ACM
15 years 6 months ago
JExercise: a specification-based and test-driven exercise support plugin for Eclipse
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
Hallvard Trætteberg, Trond Aalberg
87
Voted
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
14 years 10 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong