Sciweavers

1878 search results - page 222 / 376
» Feature Generation Using General Constructor Functions
Sort
View
PLDI
2010
ACM
14 years 5 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala
CIVR
2007
Springer
149views Image Analysis» more  CIVR 2007»
14 years 2 months ago
Video copy detection: a comparative study
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...
Julien Law-To, Li Chen, Alexis Joly, Ivan Laptev, ...
MTA
2007
115views more  MTA 2007»
13 years 7 months ago
Video scene retrieval with interactive genetic algorithm
This paper proposes a video scene retrieval algorithm based on emotion. First, abrupt/gradual shot boundaries are detected in the video clip of representing a specific story. Then,...
Hun-Woo Yoo, Sung-Bae Cho
CORR
2006
Springer
154views Education» more  CORR 2006»
13 years 8 months ago
Intra-site Level Cultural Heritage Documentation: Combination of Survey, Modeling and Imagery Data in a Web Information System
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
Anne Durand, Pierre Drap, Elise Meyer, Pierre Grus...
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
14 years 3 months ago
Hardware-accelerated gradient noise for graphics
A synthetic noise function is a key component of most computer graphics rendering systems. This pseudo-random noise function is used to create a wide variety of natural looking te...
Josef B. Spjut, Andrew E. Kensler, Erik Brunvand