Sciweavers

1017 search results - page 142 / 204
» Conceptual Design
Sort
View
FMCAD
2007
Springer
15 years 1 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
EMO
2006
Springer
219views Optimization» more  EMO 2006»
15 years 1 months ago
ParadisEO-MOEO: A Framework for Evolutionary Multi-objective Optimization
Abstract. This paper presents ParadisEO-MOEO, a white-box objectoriented generic framework dedicated to the flexible design of evolutionary multi-objective algorithms. This paradig...
Arnaud Liefooghe, Matthieu Basseur, Laetitia Jourd...
IVEVA
2004
14 years 11 months ago
Intelligent Modelling of Virtual Worlds Using Domain Ontologies
Today, the development of a VR application is still a long and difficult task as new features are being developed for Virtual Reality. There is a need to have better modelling tool...
Wesley Bille, Bram Pellens, Frederic Kleinermann, ...
CORR
2004
Springer
106views Education» more  CORR 2004»
14 years 9 months ago
Intelligent Systems: Architectures and Perspectives
: The integration of different learning and adaptation techniques to overcome individual limitations and to achieve synergetic effects through the hybridization or fusion of these ...
Ajith Abraham
ADBIS
2010
Springer
203views Database» more  ADBIS 2010»
14 years 8 months ago
Detecting XML Functional Dependencies through Formal Concept Analysis
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
Katalin Tunde Janosi-Rancz, Viorica Varga, Timea N...