77016 search results - page 712 / 15404 » Modelling |
182
click to vote
CP
2006
Springer
15 years 11 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 ...
213
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we propose a novel approach for the spatial segmentation of video sequences containing multiple temporal textures. This work is based on the notion that a single tem...
221
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
187
click to vote
ER
2000
Springer
15 years 11 months ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
181
click to vote
DSVIS
1995
Springer
15 years 11 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...