2748 search results - page 378 / 550 » Generating Object-Z Specifications from Use Cases |
147
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper addresses the state estimation problem of nonlinear systems. We formulate the problem using a minimum energy estimator (MEE) approach and propose an entropy penalized sc...
132
click to vote
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
145
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
142
click to vote
CIBCB
2009
IEEE
15 years 5 months ago
2009
IEEE
Data mining is the analysis of experimental datasets to extract trends and relationships that can be meaningful for the user. In genetic studies these techniques have revealed inte...
131
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...