292 search results - page 15 / 59 » A linearization of the Lambda-calculus and consequences |
119
click to vote
CAD
2004
Springer
15 years 1 months ago
2004
Springer
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...
128
click to vote
WINE
2010
Springer
14 years 11 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...
147
click to vote
SCL
2011
14 years 4 months ago
2011
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...
100
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
We survey our current knowledge of circuit complexity of regular languages and we prove that regular languages that are in AC0 and ACC0 are all computable by almost linear size ci...
CSR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We will show how padding techniques can be applied on onedimensional cellular automata by proving a transfer theorem on complexity classes (how one inclusion of classes i...