Sciweavers

3015 search results - page 485 / 603
» The robustness of a new CAPTCHA
Sort
View
JAIR
2006
87views more  JAIR 2006»
13 years 9 months ago
Fault Tolerant Boolean Satisfiability
A -model is a satisfying assignment of a Boolean formula for which any small alteration, such as a single bit flip, can be repaired by flips to some small number of other bits, yi...
Amitabha Roy
JBCB
2006
60views more  JBCB 2006»
13 years 9 months ago
Efficient Algorithms and Software for Detection of Full-length Ltr Retrotransposons
LTR retrotransposons constitute one of the most abundant classes of repetitive elements in eukaryotic genomes. In this paper, we present a new algorithm for detection of full-leng...
Anantharaman Kalyanaraman, Srinivas Aluru
JSCIC
2008
96views more  JSCIC 2008»
13 years 9 months ago
Second-Order Accurate Godunov Scheme for Multicomponent Flows on Moving Triangular Meshes
This paper presents a second-order accurate adaptive Godunov method for twodimensional (2D) compressible multicomponent flows, which is an extension of the previous adaptive movin...
Guoxian Chen, Huazhong Tang, Pingwen Zhang
JFR
2006
88views more  JFR 2006»
13 years 9 months ago
Discovering natural kinds of robot sensory experiences in unstructured environments
We derive categories directly from robot sensor data to address the symbol grounding problem. Unlike model-based approaches where human intuitive correspondences are sought betwee...
Daniel H. Grollman, Odest Chadwicke Jenkins, Frank...
ECRA
2007
113views more  ECRA 2007»
13 years 9 months ago
Exclusions and related trust relationships in multi-party fair exchange protocols
Some electronic commerce transactions are inherently performed between more than two parties. In this context, it is thus important to determine whether the underlying fair exchan...
Nicolás González-Deleito, Olivier Ma...