6358 search results - page 316 / 1272 » Computing spectral sequences |
169
click to vote
MLQ
2002
15 years 6 months ago
2002
A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limi...
154
click to vote
TCS
2002
15 years 6 months ago
2002
A real is computably enumerable if it is the limit of a computable, increasing, converging sequence of rationals. A real is random if its binary expansion is a random sequence. Ou...
123
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
164
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
182
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Signal finding (pattern discovery) in biological sequences is a fundamental problem in both computer science and molecular biology. Many approaches have been proposed for extract...