Sciweavers

89 search results - page 16 / 18
» Transformation Laws for UML-RT
Sort
View
IJCNN
2008
IEEE
14 years 3 months ago
Efficient and low-complexity image coding with the lifting scheme and modified SPIHT
—In this paper, we propose an efficient and low complexity image coding algorithm based on the lifting wavelet transform and listless modified SPIHT (LWT-LMSPIHT). LWT-LMSPIHT jo...
Hong Pan, Wan-Chi Siu, Ngai-Fong Law
MOBIHOC
2007
ACM
14 years 8 months ago
Capacity scaling in delay tolerant networks with heterogeneous mobile nodes
We provide a general framework for the analysis of the capacity scaling properties in mobile ad-hoc networks with heterogeneous nodes and spatial inhomogeneities. Existing analyti...
Michele Garetto, Paolo Giaccone, Emilio Leonardi
TLCA
2009
Springer
14 years 3 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
HPCS
2007
IEEE
14 years 2 months ago
Nonlinear Simulation of Thermo-viscous Fingering in Miscible Displacements in Porous Media
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
M. N. Islam, B. B. Maini, J. Azaiez
ICMCS
2007
IEEE
170views Multimedia» more  ICMCS 2007»
14 years 2 months ago
Video Copy Detection on the Internet: The Challenges of Copyright and Multiplicity
This paper presents applications for dealing with videos on the web, using an efficient technique for video copy detection in large archives. Managing videos on the web is the so...
Julien Law-To, Valérie Gouet-Brunet, Olivie...