Sciweavers

5456 search results - page 364 / 1092
» General Equilibrium Theory
Sort
View
ALIFE
2005
15 years 6 months ago
New Robotics: Design Principles for Intelligent Systems
New Robotics designates an approach to robotics that, in contrast to traditional robotics, employs ideas and principles from biology. While in the traditional approach there are g...
Rolf Pfeifer, Fumiya Iida, Josh C. Bongard
TCS
2008
15 years 6 months ago
Curves and surfaces represented by polynomial support functions
This paper studies shapes (curves and surfaces) which can be described by (piecewise) polynomial support functions. The class of these shapes is closed under convolutions, offsett...
Zbynek Sír, Jens Gravesen, Bert Jüttle...
JACIII
2007
79views more  JACIII 2007»
15 years 6 months ago
State-Transition Computation Models and Program Correctness Thereon
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
Kiyoshi Akama, Ekawit Nantajeewarawat
ACTAC
2002
75views more  ACTAC 2002»
15 years 6 months ago
Framework for Studying Substitution
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
Härmel Nestra
COMBINATORICS
2004
100views more  COMBINATORICS 2004»
15 years 6 months ago
Lattice Structures from Planar Graphs
The set of all orientations of a planar graph with prescribed outdegrees carries the structure of a distributive lattice. This general theorem is proven in the first part of the p...
Stefan Felsner