1445 search results - page 17 / 289 » Properties of state spaces and their applications |
150
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
168
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Detecting homology between remotely related protein families is an important problem in computational biology since the biological properties of uncharacterized protei...
155
click to vote
JCSS
2006
15 years 6 months ago
2006
A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively stu...
135
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
167
Voted
COLING
2002
15 years 5 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...