Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
17298
search results - page 468 / 3460
»
Abstract computing machines
Sort
relevance
views
votes
recent
update
View
thumb
title
136
click to vote
ICALP
2000
Springer
139
views
Programming Languages
»
more
ICALP 2000
»
One-Round Secure Computation and Secure Autonomous Mobile Agents
15 years 10 months ago
Download
www.zurich.ibm.com
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
Christian Cachin, Jan Camenisch, Joe Kilian, Joy M...
claim paper
Read More »
178
click to vote
DLT
2010
144
views
Theoretical Computer Science
»
more
DLT 2010
»
Computing Blocker Sets for the Regular Post Embedding Problem
15 years 8 months ago
Download
www.lsv.ens-cachan.fr
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
claim paper
Read More »
187
click to vote
CMS
2006
170
views
Communications
»
more
CMS 2006
»
Enhanced CAPTCHAs: Using Animation to Tell Humans and Computers Apart
15 years 8 months ago
Download
www.fp6-noah.org
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
Elias Athanasopoulos, Spyros Antonatos
claim paper
Read More »
184
click to vote
APAL
2006
123
views
more
APAL 2006
»
The ibT degrees of computably enumerable sets are not dense
15 years 7 months ago
Download
www.barmpalias.net
Abstract. We show that the identity bounded Turing degrees of computably enumerable sets are not dense.
George Barmpalias, Andrew E. M. Lewis
claim paper
Read More »
169
click to vote
JSCIC
2008
94
views
more
JSCIC 2008
»
Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes
15 years 6 months ago
Download
math.ewha.ac.kr
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...
claim paper
Read More »
« Prev
« First
page 468 / 3460
Last »
Next »