3172 search results - page 210 / 635 » On the Random-Self-Reducibility of Complete Sets |
229
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
182
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: A number of completely sequenced eukaryotic genome data are available in the public domain. Eukaryotic genes are either 'intron containing' or 'intronle...
169
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
203
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
165
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...