57 search results - page 4 / 12 » Sequential Continuity of Functions in Constructive Analysis |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
IEEEIAS
2009
IEEE
14 years 2 months ago
2009
IEEE
: In this paper, a hash function construction method based on cell neural network (CNN) with hyper-chaos characteristics is proposed. The chaos sequence is generated by iterating C...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...
BMCBI
2004
13 years 7 months ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...