Sciweavers

29082 search results - page 231 / 5817
» The Time-Triggered Model of Computation
Sort
View
ALMOB
2008
95views more  ALMOB 2008»
15 years 6 months ago
A stitch in time: Efficient computation of genomic DNA melting bubbles
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
Eivind Tøstesen
CVPR
2010
IEEE
15 years 3 months ago
Growing semantically meaningful models for visual SLAM
Though modern Visual Simultaneous Localisation and Mapping (vSLAM) systems are capable of localising robustly and efficiently even in the case of a monocular camera, the maps prod...
Alexander Flint, Christopher Mei, Ian D. Reid, Dav...
ACL
2011
14 years 10 months ago
Exact Decoding of Syntactic Translation Models through Lagrangian Relaxation
We describe an exact decoding algorithm for syntax-based statistical translation. The approach uses Lagrangian relaxation to decompose the decoding problem into tractable subprobl...
Alexander M. Rush, Michael Collins
FIMH
2007
Springer
16 years 21 days ago
Can We Trust the Transgenic Mouse? Insights from Computer Simulations
Abstract. Over the past several decades, the mouse has gained prominence in the cardiac electrophysiology literature as the animal model of choice. Using computer models of the mou...
Joseph Tranquillo, Adhira Sunkara
TCC
2005
Springer
94views Cryptology» more  TCC 2005»
16 years 21 hour ago
Optimal Error Correction Against Computationally Bounded Noise
For computationally bounded adversarial models of error, we construct appealingly simple, efficient, cryptographic encoding and unique decoding schemes whose error-correction capab...
Silvio Micali, Chris Peikert, Madhu Sudan, David A...