4581 search results - page 491 / 917 » Computing Transformation Semigroups |
144
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: We present a technique for adding a high-frequency pattern to JPEG images that is imperceptible to the unaided eye, but turns into a clearly readable largeletter warning ...
177
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
190
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
278
click to vote
ECAGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. M–commerce is a new area arising from the marriage of electronic commerce with emerging mobile and pervasive computing technology. The newness of this area—and the ra...
175
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...