Sciweavers

17298 search results - page 468 / 3460
» Abstract computing machines
Sort
View
ICALP
2000
Springer
15 years 10 months ago
One-Round Secure Computation and Secure Autonomous Mobile Agents
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
Christian Cachin, Jan Camenisch, Joe Kilian, Joy M...
DLT
2010
15 years 8 months ago
Computing Blocker Sets for the Regular Post Embedding Problem
Abstract. Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these lan...
Pierre Chambart, Philippe Schnoebelen
CMS
2006
170views Communications» more  CMS 2006»
15 years 8 months ago
Enhanced CAPTCHAs: Using Animation to Tell Humans and Computers Apart
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
Elias Athanasopoulos, Spyros Antonatos
APAL
2006
123views more  APAL 2006»
15 years 7 months ago
The ibT degrees of computably enumerable sets are not dense
Abstract. We show that the identity bounded Turing degrees of computably enumerable sets are not dense.
George Barmpalias, Andrew E. M. Lewis
JSCIC
2008
94views more  JSCIC 2008»
15 years 6 months ago
Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes
Abstract We present a high-order accurate scheme for the reinitialization equation of Sussman et al. (J. Comput. Phys. 114:146
Antoine du Chéné, Chohong Min, Fr&ea...