7623 search results - page 429 / 1525 » Constructive Volume Modeling |
188
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
153
click to vote
ACRI
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents information flow model and a novel artificial life grid model to construct artificial life computer ecosystem environment. The life grid model is a three-dimens...
179
click to vote
SSPR
2004
Springer
16 years 2 days ago
2004
Springer
Model-based image recognition requires a general model of the object that should be detected in an image. In many applications such models are not known a-priori instead of they mu...
181
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ...
176
click to vote
VMCAI
2004
Springer
16 years 2 days 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...