Sciweavers

49 search results - page 4 / 10
» Interchange Formats for Hybrid Systems: Review and Proposal
Sort
View
86
Voted
BMCBI
2005
73views more  BMCBI 2005»
14 years 9 months ago
An analysis of extensible modelling for functional genomics data
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
Andrew R. Jones, Norman W. Paton
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 2 months ago
A hybrid control approach to multi-robot coordinated path following
— The paper studies the coordinated path following problem, namely, steering a group of unicycles to a given path while achieving an inter-vehicle formation pattern. A novel hybr...
Ying Lan, Gangfeng Yan, Zhiyun Lin
ECBS
2008
IEEE
106views Hardware» more  ECBS 2008»
15 years 4 months ago
AMABULO - A Model Architecture for Business Logic
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
Tobias Brückmann, Volker Gruhn
COMMA
2006
14 years 11 months ago
Towards Representing and Querying Arguments on the Semantic Web
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
Iyad Rahwan, P. V. Sakeer
NDSS
2008
IEEE
15 years 4 months ago
Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
Zhiqiang Lin, Xuxian Jiang, Dongyan Xu, Xiangyu Zh...