Sciweavers

1160 search results - page 109 / 232
» Revisiting the Sequence Constraint
Sort
View
BMCBI
2006
87views more  BMCBI 2006»
15 years 6 months ago
Phylogeny based discovery of regulatory elements
Background: Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites;...
Jason Gertz, Justin C. Fay, Barak A. Cohen
IPMI
2009
Springer
16 years 7 months ago
Active imaging with dual spin-echo diffusion MRI
Abstract. Active imaging is a recently developed approach to modelbased optimisation of imaging protocols. In the application we discuss here, a diffusion magnetic resonance imagin...
Chris A. Clark, Daniel C. Alexander, Jonathan D. C...
TPHOL
2009
IEEE
16 years 1 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow
IEEEPACT
2007
IEEE
16 years 1 months ago
Automatic Correction of Loop Transformations
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
Nicolas Vasilache, Albert Cohen, Louis-Noël P...
ICCV
2005
IEEE
16 years 13 days ago
Uncalibrated Perspective Reconstruction of Deformable Structures
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
Jing Xiao, Takeo Kanade