399 search results - page 75 / 80 » Verification of System Level Model Transformations |
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Wireless communication of video poses constraints on information capacity. Region-of-Interest (ROI) video coding provides higher quality in the ROI, but poorer quality in the back...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
77
Voted
APN
2008
Springer
14 years 11 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
CIVR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we develop a system to classify the outputs of image segmentation algorithms as perceptually relevant or perceptually irrelevant with respect to human perception. T...
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...