809 search results - page 61 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
102
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Drug discovery and chemical biology are exceedingly complex and demanding enterprises. In recent years there are been increasing awareness about the importance of pred...
ISAAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The imposs...
HUC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
133
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
181
click to vote
WAPCV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Context plays an important role in general scene perception. In particular, it can provide cues about an object’s location within an image. In computer vision, object d...