Sciweavers

3256 search results - page 224 / 652
» Applications of Formal Methods to System Design and Verifica...
Sort
View
COOPIS
2004
IEEE
15 years 10 months ago
The Role of Foundational Ontologies in Manufacturing Domain Applications
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...
Stefano Borgo, Paulo Leitão
CCE
2010
15 years 3 months ago
Optimizing the design of complex energy conversion systems by Branch and Cut
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...
Turang Ahadi-Oskui, Stefan Vigerske, Ivo Nowak, Ge...
ISCAS
2006
IEEE
121views Hardware» more  ISCAS 2006»
16 years 16 days ago
A frequency domain based TEQ design for DSL systems
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 ...
Yuan-Pei Lin, Yu-Pin Lin, See-May Phoong
CLEIEJ
2008
103views more  CLEIEJ 2008»
15 years 6 months ago
An Ontology-based Framework and its Application to Effective Collaboration
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...
Seiji Isotani, Riichiro Mizoguchi
UML
2004
Springer
15 years 12 months ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
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...
Iris Reinhartz-Berger, Arnon Sturm