6047 search results - page 213 / 1210 » Modeling with Extend |
151
click to vote
SIAMIS
2008
15 years 3 months ago
2008
We are motivated by a recently developed nonlinear inverse scale space method for image denoising [5, 6], whereby noise can be removed with minimal degradation. The additive noise ...
132
click to vote
RISE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
121
click to vote
MTA
2010
15 years 1 months ago
2010
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
121
click to vote
IMAGING
2001
15 years 4 months ago
2001
The world of color image difference modeling can be considered relatively young, when compared with the rich history of general color difference equations. While young, this area ...
123
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...