4341 search results - page 492 / 869 » Quantitative Model checking |
183
click to vote
SDM
2004
SIAM
15 years 8 months ago
2004
SIAM
This paper explores a novel framework for building regression models using association rules. The model consists of an ordered set of IF-THEN rules, where the rule consequent is t...
228
click to vote
AAAI
2010
15 years 7 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
189
Voted
BIOINFORMATICS
2006
15 years 6 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
196
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
171
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...