Sciweavers

626 search results - page 13 / 126
» Abstract Modularity
Sort
View
ICRA
2006
IEEE
107views Robotics» more  ICRA 2006»
15 years 3 months ago
The Deformatron Robot: a Biologically Inspired Homogeneous Modular Robot
Abstract— The Deformatron robot is a homogeneous, modular robot. The Deformatron modules can play one of three roles in the physical structure of the robot: bone, tendon, and mus...
Kasper Støy
80
Voted
CEC
2010
IEEE
14 years 10 months ago
An examination on the modularity of grammars in grammatical evolutionary design
Abstract-- This work furthers the understanding of modularity in grammar-based genetic programming approaches by analyzing how different grammars may be capable of producing the sa...
John Mark Swafford, Michael O'Neill
ECOOP
2005
Springer
15 years 3 months ago
Evaluating Support for Features in Advanced Modularization Technologies
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
Roberto E. Lopez-Herrejon, Don S. Batory, William ...
62
Voted
JCT
2011
84views more  JCT 2011»
14 years 4 months ago
Explicit separating invariants for cyclic P-groups
Abstract. We consider a finite dimensional indecomposable modular representation of a cyclic p-group and we give a recursive description of an associated separating set: We show t...
Müfit Sezer
CAV
2008
Springer
170views Hardware» more  CAV 2008»
14 years 11 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg