5012 search results - page 404 / 1003 » Distributed Error Correction |
234
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
223
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
184
Voted
APN
2010
Springer
15 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
233
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
204
click to vote
ICML
1998
IEEE
16 years 7 months ago
1998
IEEE
Stochastic topological models, and hidden Markov models in particular, are a useful tool for robotic navigation and planning. In previous work we have shown how weak odometric dat...