77016 search results - page 192 / 15404 » Modeling |
120
click to vote
TSD
2004
Springer
15 years 9 months ago
2004
Springer
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
118
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
139
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
135
Voted
UAI
2008
15 years 5 months ago
2008
Nonparametric Bayesian models are often based on the assumption that the objects being modeled are exchangeable. While appropriate in some applications (e.g., bag-ofwords models f...
112
Voted
IMAGING
2004
15 years 5 months ago
2004
In this study, the problem of updating a printer characterization in response to systematic changes in print-device characteristics is addressed with two distinct approaches: the ...