827 search results - page 98 / 166 » Patterns for Timed Property Specifications |
113
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
143
click to vote
NIPS
2007
15 years 4 months ago
2007
Stimulus selectivity of sensory neurons is often characterized by estimating their receptive field properties such as orientation selectivity. Receptive fields are usually deriv...
173
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: Covariance models (CMs) are probabilistic models of RNA secondary structure, analogous to profile hidden Markov models of linear sequence. The dynamic programming algo...
172
click to vote
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...
121
click to vote
BIBM
2007
IEEE
15 years 7 months ago
2007
IEEE
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...