8398 search results - page 1392 / 1680 » Optimal Software Testing |
164
click to vote
ACCV
2007
Springer
16 years 28 days ago
2007
Springer
Inspired by the idea of multi-view, we proposed an image segmentation algorithm using co-EM strategy in this paper. Image data are modeled using Gaussian Mixture Model (GMM), and t...
205
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
189
Voted
CPAIOR
2007
Springer
16 years 28 days ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
176
click to vote
ESWS
2007
Springer
16 years 28 days ago
2007
Springer
We investigate scalable algorithms for automated composition (WSC) of Semantic Web Services. Our notion of WSC is very general: the composition semantics includes background knowl...
170
click to vote
EVOW
2007
Springer
16 years 28 days ago
2007
Springer
Many instances of NP-hard problems can be solved efficiently if the treewidth of their corresponding graph is small. Finding the optimal tree decompositions is an NP-hard problem a...