4620 search results - page 113 / 924 » Comparing Object Encodings |
107
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
132
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
154
click to vote
ANOR
2011
15 years 4 days ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
168
click to vote
AVSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...
147
click to vote
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents an approach to build and visualize traceability links and properties of a set of OO software releases. The process recovers an "as is" design from C+...