827 search results - page 47 / 166 » Patterns for Timed Property Specifications |
137
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...
124
click to vote
KDD
2005
ACM
16 years 2 months ago
2005
ACM
How do real graphs evolve over time? What are "normal" growth patterns in social, technological, and information networks? Many studies have discovered patterns in stati...
121
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...
127
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
112
click to vote
RECOMB
2002
Springer
16 years 2 months ago
2002
Springer
We present algorithms for time-series gene expression analysis that permit the principled estimation of unobserved timepoints, clustering, and dataset alignment. Each expression p...