9425 search results - page 171 / 1885 » Some Notes on Models and Modelling |
SYNASC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper is devoted to a new variational model for color texture modeling and color image decomposition into cartoon and texture. A given image f in the RGB space is decomposed ...
77
Voted
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
ACRI
2004
Springer
15 years 3 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
107
click to vote
AH
2008
Springer
15 years 4 days ago
2008
Springer
Open learner models (OLM) are learner models that are accessible to the learner they represent. Many examples now exist, often with the aim of prompting learner reflection on their...