4208 search results - page 310 / 842 » Challenges in Evaluating Distributed Algorithms |
130
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
165
Voted
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
In region-based image annotation, keywords are usually associated with images instead of individual regions in the training data set. This poses a major challenge for any learning...
152
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
149
click to vote
EVOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Lexical variance in biomedical texts poses a challenge to automatic protein relation mining. We therefore propose a new approach that relies only on more general language...
155
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...