Sciweavers

81 search results - page 14 / 17
» Smaller explicit superconcentrators
Sort
View
OOPSLA
2010
Springer
13 years 5 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
BMCBI
2006
116views more  BMCBI 2006»
13 years 7 months ago
Cluster analysis for DNA methylation profiles having a detection threshold
Background: DNA methylation, a molecular feature used to investigate tumor heterogeneity, can be measured on many genomic regions using the MethyLight technology. Due to the combi...
Paul Marjoram, Jing Chang, Peter W. Laird, Kimberl...
PAMI
2007
157views more  PAMI 2007»
13 years 7 months ago
The Asymmetry of Image Registration and Its Application to Face Tracking
Most image registration problems are formulated in an asymmetric fashion. Given a pair of images, one is implicitly or explicitly regarded as a template, and warped onto the other...
Göksel Dedeoglu, Takeo Kanade, Simon Baker
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
13 years 11 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira