9989 search results - page 444 / 1998 » A CLP Approach to Modelling Systems |
168
click to vote
TIP
2010
15 years 5 months ago
2010
—An efficient approach toward a no-reference ringing metric intrinsically exists of two steps: first detecting regions in an image where ringing might occur, and second quantif...
183
click to vote
AVSS
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...
179
click to vote
RTSS
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
175
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
196
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...