334 search results - page 34 / 67 » Timed Property Sequence Chart |
93
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
86
Voted
SPIN
2000
Springer
15 years 4 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...
129
click to vote
IJNSEC
2008
15 years 20 days ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
90
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
112
Voted
JCB
2007
15 years 17 days ago
2007
We developed a dynamic programming approach of computing common sequence structure patterns among two RNAs given their primary sequences and their secondary structures. Common pat...