4843 search results - page 258 / 969 » The Shortcut Problem - Complexity and Approximation |
124
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— We consider the problem of approximating a continuous curve by a piecewise linear one whose segments are assumed to be connected by universal joints. Rather than taking...
116
Voted
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
114
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
128
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
153
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...