735 search results - page 64 / 147 » Procedural Modeling of Interconnected Structures |
TROB
2002
13 years 8 months ago
2002
This paper describes how decentralized control theory can be used to analyze the control of multiple cooperative robotic vehicles. Models of cooperation are discussed and related t...
BMCBI
2008
13 years 9 months ago
2008
Background: Tiling arrays are an important tool for the study of transcriptional activity, proteinDNA interactions and chromatin structure on a genome-wide scale at high resolutio...
STTT
2010
13 years 7 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...