Sciweavers

3921 search results - page 664 / 785
» Transforming Models with ATL
Sort
View
PEPM
2007
ACM
14 years 4 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
TCC
2007
Springer
96views Cryptology» more  TCC 2007»
14 years 4 months ago
Securely Obfuscating Re-encryption
Abstract. We present the first positive obfuscation result for a traditional cryptographic functionality. This positive result stands in contrast to well-known negative impossibil...
Susan Hohenberger, Guy N. Rothblum, Abhi Shelat, V...
3DPVT
2006
IEEE
215views Visualization» more  3DPVT 2006»
14 years 4 months ago
Region-Based Motion Analysis and 3D Reconstruction for a Translational Video Sequence
This paper presents a hybrid 1D motion estimation algorithm which combines pixel-based and region-based approaches that can give depth images from translational video sequences wi...
Xiaodong Huang, Eric Dubois
ICAC
2006
IEEE
14 years 4 months ago
Utility-aware Resource Allocation in an Event Processing System
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
Sumeer Bhola, Mark Astley, Robert Saccone, Michael...
ICDE
2006
IEEE
208views Database» more  ICDE 2006»
14 years 4 months ago
Approximate Video Search Based on Spatio-Temporal Information of Video Objects
The spatio-temporal information of a video object is important for content-based video retrieval. In this paper the spatio-temporal information of a video object, such as the velo...
Chia-Han Lin, Arbee L. P. Chen