Sciweavers

15792 search results - page 252 / 3159
» Computational Abstraction Steps
Sort
View
ANTS
1998
Springer
112views Algorithms» more  ANTS 1998»
15 years 11 months ago
Unit Computation in Purely Cubic Function Fields of Unit Rank 1
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
Renate Scheidler, Andreas Stein
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