3387 search results - page 103 / 678 » Automating the Metamodeling Process |
115
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
126
click to vote
MVA
2010
15 years 2 months ago
2010
An approach for rapid, automatic detection of plant roots in minirhizotron images is presented. The problem is modeled as a Gibbs point process with a modified Candy model, in wh...
127
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
159
click to vote
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
15 years 2 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
142
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we propose a new 3D framework to identify and segment VBs and TBs in clinical computed tomography (CT) images without any user intervention. The Matched filter is e...