Sciweavers

5510 search results - page 870 / 1102
» Mathematics
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 6 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
MMS
2006
15 years 6 months ago
Evaluation and analysis of similarity measures for content-based visual information retrieval
The selection of appropriate proximity measures is one of the crucial success factors of content-based visual information retrieval. In this area of research, proximity measures ar...
Horst Eidenberger
PAMI
2008
172views more  PAMI 2008»
15 years 6 months ago
A Theory Of Frequency Domain Invariants: Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency
This paper develops a theory of frequency domain invariants in computer vision. We derive novel identities using spherical harmonics, which are the angular frequency domain analog ...
Dhruv Mahajan, Ravi Ramamoorthi, Brian Curless
MTA
2006
104views more  MTA 2006»
15 years 6 months ago
Comparison of in-network versus Staggered Multicast video distribution models
This paper proposes a new video distribution service: Video-In-Network (VIN). In VIN, videos are continuously circulating in an optical network where they can be easily retrieved ...
Huaqun Guo, Lek Heng Ngoh, Wai-Choong Wong, Joo Ge...
IAJIT
2007
150views more  IAJIT 2007»
15 years 6 months ago
Fuzzy Active Queue Management for Congestion Control in Wireless Ad-Hoc
: Mobile ad-hoc network is a network without infrastructure where every node has its own protocols and services for powerful cooperation in the network. Every node also has the abi...
Essam Natsheh, Adznan B. Jantan, Sabira Khatun, Su...