1239 search results - page 212 / 248 » Generating Web Applications from Use Case Scenarios |
133
Voted
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
163
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Genome-wide expression studies have developed exponentially in recent years as a result of extensive use of microarray technology. However, expression signals are typi...
154
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...
136
Voted
SPEECH
2008
15 years 3 months ago
2008
The ever-increasing volume of audio data available online through the world wide web means that automatic methods for indexing and search are becoming essential. Hidden Markov mod...
151
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Recent progress in cDNA and EST sequencing is yielding a deluge of sequence data. Like database search results and proteome databases, this data gives rise to inferred...