4620 search results - page 113 / 924 » Comparing Object Encodings |
83
Voted
CORR
2007
Springer
15 years 2 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...
101
Voted
CORR
2007
Springer
15 years 2 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...
131
Voted
ANOR
2011
14 years 9 months 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 ...
142
Voted
AVSS
2003
IEEE
15 years 8 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...
125
Voted
ICSM
1999
IEEE
15 years 7 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+...