3256 search results - page 224 / 652 » Applications of Formal Methods to System Design and Verifica... |
148
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
151
click to vote
CCE
2010
15 years 3 months ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
177
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
that the equivalent channel is approximately an impulse. In [7], Martin et al. propose a globally convergent blind adap-In this paper, we propose a frequency domain based de- tive ...
171
click to vote
CLEIEJ
2008
15 years 6 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
182
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...