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 22 days 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 23 hour 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