Sciweavers

4270 search results - page 373 / 854
» Implementation of interactive poster
Sort
View
ITNG
2006
IEEE
16 years 25 days ago
Rethinking Programming
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
W. M. Beynon, R. C. Boyatt, S. B. Russ
ARITH
2005
IEEE
16 years 14 days ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
184
Voted
DEXAW
2005
IEEE
132views Database» more  DEXAW 2005»
16 years 13 days ago
A Decentralized Agent Framework for Dynamic Composition and Coordination for Autonomic Applications
This paper introduces a peer-to-peer agent framework for supporting autonomic applications in decentralized distributed environments. The framework provides agents to discover, co...
Zhen Li, Manish Parashar
ICIP
2005
IEEE
16 years 13 days ago
A transcoding robust data hiding method for image communication applications
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
Cagatay Candan
ICMCS
2005
IEEE
138views Multimedia» more  ICMCS 2005»
16 years 13 days ago
Unstructured light field rendering using on-the-fly focus measurement
This paper introduces a novel image-based rendering method which uses inputs from unstructured cameras and synthesizes free-viewpoint images of high quality. Our method uses a set...
Keita Takahashi, Takeshi Naemura