1746 search results - page 22 / 350 » Residual for Component Specifications |
PCM
2009
Springer
14 years 6 days ago
2009
Springer
Image quality assessment (IQA) is a crucial technique in perceptual image/video coding, because it is not only a ruler for performance evaluation of coding algorithms but also a me...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
BIBE
2007
IEEE
13 years 11 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
ACTA
2004
13 years 7 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
CLEIEJ
2004
13 years 7 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...