827 search results - page 71 / 166 » Patterns for Timed Property Specifications |
101
Voted
RECOMB
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
159
click to vote
COMPLIFE
2006
Springer
15 years 7 months ago
2006
Springer
Background: The computer-assisted detection of small molecules by mass spectrometry in biological samples provides a snapshot of thousands of peptides, protein fragments and prote...
138
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
136
click to vote
FLAIRS
2006
15 years 4 months ago
2006
We present an overview of the Virtual Patient project at the University of Maryland, which is developing a cognitive model of humans experiencing various states of health and dise...
108
Voted
AMW
2010
15 years 4 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...