Sciweavers

15635 search results - page 490 / 3127
» Modelling and Design of VAML
Sort
View
SEMWEB
2005
Springer
16 years 10 days ago
Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
GECCO
2003
Springer
112views Optimization» more  GECCO 2003»
16 years 1 days ago
A Survey on Chromosomal Structures and Operators for Exploiting Topological Linkages of Genes
Abstract. The building block hypothesis implies that the epistatic property of a given problem must be connected well to the linkage property of the employed representation and cro...
Dong-il Seo, Byung Ro Moon
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ASPDAC
2005
ACM
89views Hardware» more  ASPDAC 2005»
15 years 8 months ago
System-level design space exploration for security processor prototyping in analytical approaches
— The customization of architectures in designing the security processor-based systems typically involves timeconsuming simulation and sophisticated analysis in the exploration o...
Yung-Chia Lin, Chung-Wen Huang, Jenq Kuen Lee
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
15 years 6 months ago
From experiment design to closed-loop control
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...
Håkan Hjalmarsson