564 search results - page 29 / 113 » Corner cutting systems |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
APPML
2006
13 years 7 months ago
2006
Realistic interfacial energy densities are often non-convex, which results in backward parabolic behavior of the corresponding anisotropic curve shortening flow, thereby inducing ...
INTEGRATION
2010
13 years 6 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
There has been a growing interest in improving the publication processes for database research papers. This panel reports on recent changes in those processes and presents an init...