772 search results - page 89 / 155 » Constructing Visual Models with a Latent Space Approach |
114
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
109
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
114
click to vote
ISCAS
1999
IEEE
15 years 5 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
123
Voted
AAMAS
2008
Springer
15 years 1 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
AIPS
2006
15 years 2 months ago
2006
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...