Sciweavers

7602 search results - page 29 / 1521
» A New Approach to Base Revision
Sort
View
JIDM
2010
99views more  JIDM 2010»
15 years 12 days ago
A new approach for video indexing and retrieval based on visual features
Carlos A. F. Pimentel Filho, Celso A. Saibel Santo...
ICIP
2002
IEEE
16 years 3 months ago
Geometric robust watermarking based on a new mesh model correction approach
Ping Dong, Jovan G. Brankov, Nikolas P. Galatsanos...
ENC
2004
IEEE
15 years 5 months ago
A New Cache Approach Based on Graph for Web Servers
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
Euloge Edi, Denis Trystram, Jean-Marc Vincent
BIRTHDAY
2010
Springer
15 years 2 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka