2748 search results - page 138 / 550 » Generating Object-Z Specifications from Use Cases |
95
Voted
ISMB
1993
15 years 1 months ago
1993
Thoughit has been possible in the past to learn to predict DNAhydration patterns from crystallographic data, there is ambiguity in the choice of training data (both in terms of th...
127
Voted
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
105
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
96
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
In prediction with expert advice the goal is to design online prediction algorithms that achieve small regret (additional loss on the whole data) compared to a reference scheme. I...
122
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...