1860 search results - page 120 / 372 » A Temporal Logic of Robustness |
110
click to vote
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...
97
Voted
BMCBI
2010
15 years 23 days ago
2010
Background: In a time-course microarray experiment, the expression level for each gene is observed across a number of time-points in order to characterize the temporal trajectorie...
108
click to vote
GCB
2009
Springer
14 years 10 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
Temporal segmentation of human motion into actions is a crucial step for understanding and building computational models of human motion. Several issues contribute to the challeng...
100
Voted
ENTCS
2007
15 years 18 days ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...