Sciweavers

1895 search results - page 52 / 379
» Modular Functional Descriptions
Sort
View
IJFCS
2007
98views more  IJFCS 2007»
13 years 7 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
COLT
2001
Springer
14 years 7 days ago
On the Synthesis of Strategies Identifying Recursive Functions
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
Sandra Zilles
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
14 years 1 months ago
Automatic locomotion pattern generation for modular robots
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida,...
ISSAC
2005
Springer
115views Mathematics» more  ISSAC 2005»
14 years 1 months ago
Algorithms for the non-monic case of the sparse modular GCD algorithm
Let G = (4y2 + 2z)x2 + (10y2 + 6z) be the greatest common divisor (gcd) of two polynomials A, B ∈   [x,y, z]. Because G is not monic in the main variable x, the sparse modular ...
Jennifer de Kleine, Michael B. Monagan, Allan D. W...
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
13 years 8 months ago
Modularity and symmetry in computational embryogeny
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...
Or Yogev, Andrew A. Shapiro, Erik K. Antonsson