4341 search results - page 338 / 869 » Quantitative Model checking |
155
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
164
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
177
click to vote
PKDD
1999
Springer
15 years 11 months ago
1999
Springer
A cascade model is a rule induction methodology using levelwise expansion of an itemset lattice, where the explanatory power of a rule set and its constituent rules are quantitativ...
174
click to vote
NIPS
2008
15 years 8 months ago
2008
We develop the syntactic topic model (STM), a nonparametric Bayesian model of parsed documents. The STM generates words that are both thematically and syntactically constrained, w...
164
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
A statistical model of the fiber bundles is calculated as the average and standard deviation of a parametric representation of the fiber tracts, using the coefficients of the 3D q...