110 search results - page 11 / 22 » Interpolation in Local Theory Extensions |
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
91
Voted
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
74
Voted
SIGECOM
2008
ACM
14 years 9 months ago
2008
ACM
We report on an extensive series of highly controlled human subject experiments in networked trade. Our point of departure is a simple and well-studied bipartite network exchange ...
MICCAI
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stab...