6409 search results - page 1112 / 1282 » A Computational Algorithm for Origami Design |
158
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
174
click to vote
FPGA
2005
ACM
15 years 12 months ago
2005
ACM
Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...
164
click to vote
GCC
2005
Springer
15 years 12 months ago
2005
Springer
DarGridⅡ is an implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web. Although many algorithms have been pro...
174
click to vote
GD
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we investigate the problem of drawing metro maps which is defined as follows. Given a planar graph G of maximum degree 8 with its embedding and vertex locations (e.g...
171
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...