Sciweavers

265 search results - page 52 / 53
» Abstraction as a means for end-user computing in creative ap...
Sort
View
WABI
2009
Springer
132views Bioinformatics» more  WABI 2009»
13 years 12 months ago
mpscan: Fast Localisation of Multiple Reads in Genomes
Abstract. With Next Generation Sequencers, sequence based transcriptomic or epigenomic assays yield millions of short sequence reads that need to be mapped back on a reference geno...
Eric Rivals, Leena Salmela, Petteri Kiiskinen, Pet...
OOPSLA
2005
Springer
13 years 10 months ago
Safe futures for Java
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
Adam Welc, Suresh Jagannathan, Antony L. Hosking
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
13 years 10 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
TIP
2002
131views more  TIP 2002»
13 years 4 months ago
Optimal edge-based shape detection
Abstract--We propose an approach to accurately detecting twodimensional (2-D) shapes. The cross section of the shape boundary is modeled as a step function. We first derive a one-d...
Hankyu Moon, Rama Chellappa, Azriel Rosenfeld
PRL
2007
154views more  PRL 2007»
13 years 4 months ago
Regularized mixture discriminant analysis
Abstract – In this paper we seek a Gaussian mixture model (GMM) of the classconditional densities for plug-in Bayes classification. We propose a method for setting the number of ...
Zohar Halbe, Mayer Aladjem