2025 search results - page 228 / 405 » Minimal-Cut Model Composition |
156
click to vote
FASE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
146
click to vote
ICIP
2005
IEEE
16 years 2 days ago
2005
IEEE
—In this paper, we present an active volumetric model (AVM) for 3D reconstruction from multiple calibrated images of a scene. The AVM is a physically motivated 3D deformable mode...
174
click to vote
ISORC
2005
IEEE
16 years 1 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
167
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
164
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...