7623 search results - page 395 / 1525 » Constructive Volume Modeling |
156
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a hierarchical feature fusion model for image classification that is constructed by an evolutionary learning algorithm. The model has the ability to combine local patch...
170
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
159
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
172
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
230
click to vote
ROOM
2000
15 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...