Sciweavers

1264 search results - page 51 / 253
» The IT Performance Evaluation in the Construction Industry
Sort
View
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 3 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
JSS
2007
82views more  JSS 2007»
14 years 11 months ago
The impacts of software product management
The success of any product depends on the skills and competence of the product manager. This article evaluates the relevance of good product management on the success of a product...
Christof Ebert
VIP
2003
15 years 1 months ago
Optimal Selection of Image Segmentation Algorithms Based on Performance Prediction
Using different algorithms to segment different images is a quite straightforward strategy for automated image segmentation. But the difficulty of the optimal algorithm selection ...
Yong Xia, David Dagan Feng, Rongchun Zhao
AGTIVE
2007
Springer
15 years 6 months ago
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
Gernot Veit Batz, Moritz Kroll, Rubino Geiß
EWCBR
1998
Springer
15 years 4 months ago
On Bayesian Case Matching
Abstract. Case retrieval is an important problem in several commercially signi cant application areas, such as industrial con guration and manufacturing problems. In this paper we ...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...