2339 search results - page 193 / 468 » Models and Tools for Mulan Applications |
180
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
172
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
177
click to vote
FOGA
1994
15 years 8 months ago
1994
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
158
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
A proper segmentation of pen marking enhances shape recognition and enables a natural interface for sketch-based modeling from simple line drawing tools to 3D solid modeling appli...
172
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...