1333 search results - page 227 / 267 » Uncertainty Modeling for Optimal Structure from Motion |
ENTCS
2007
14 years 11 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
128
click to vote
RECOMB
2004
Springer
16 years 3 days ago
2004
Springer
Nuclear magnetic resonance (NMR) spectroscopy allows scientists to study protein structure, dynamics and interactions in solution. A necessary first step for such applications is ...
105
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
108
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
130
click to vote
PE
2000
Springer
14 years 11 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...