488 search results - page 55 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
153
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The small sample sizes often used for microarray experiments result in poor estimates of variance if each gene is considered independently. Yet accurately estimating v...
139
click to vote
RSP
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
114
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
134
Voted
IJCAI
1989
15 years 4 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
117
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...