3429 search results - page 96 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
152
click to vote
DAGSTUHL
1993
15 years 3 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
127
Voted
VLC
2008
15 years 2 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
141
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We propose a novel nonparametric Bayesian model, Dual Hierarchical Dirichlet Processes (Dual-HDP), for trajectory analysis and semantic region modeling in surveillance settings, i...
142
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
153
click to vote
LICS
2010
IEEE
15 years 28 days ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...