2765 search results - page 49 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
211
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
143
click to vote
PDP
2006
IEEE
16 years 6 days ago
2006
IEEE
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
169
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
151
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
146
click to vote
COLING
2002
15 years 6 months ago
2002
The mapping between syntactic structure and prosodic structure is a widely discussed topic in linguistics. In this work we use insights gained from research on syntax-to-prosody m...