Sciweavers

4166 search results - page 46 / 834
» A modular module system
Sort
View
ICRA
2002
IEEE
141views Robotics» more  ICRA 2002»
14 years 18 days ago
A Complete, Local and Parallel Reconfiguration Algorithm for Cube Style Modular Robots
We present a complete, local, and parallel reconfiguration algorithm for metamorphic robots made up of Telecubes, six degree of freedom cube shaped modules currently being develop...
Sergei Vassilvitskii, Mark Yim, John W. Suh
FROCOS
2007
Springer
14 years 1 months ago
Combining Proof-Producing Decision Procedures
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
BMCBI
2005
112views more  BMCBI 2005»
13 years 7 months ago
Towards precise classification of cancers based on robust gene functional expression profiles
Background: Development of robust and efficient methods for analyzing and interpreting high dimension gene expression profiles continues to be a focus in computational biology. Th...
Zheng Guo, Tianwen Zhang, Xia Li, Qi Wang, Jianzhe...
HYBRID
1995
Springer
13 years 11 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
CMSB
2008
Springer
13 years 9 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin