Sciweavers

974 search results - page 146 / 195
» Image based rendering of iterated function systems
Sort
View
ENTCS
2008
121views more  ENTCS 2008»
15 years 3 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
CIVR
2007
Springer
149views Image Analysis» more  CIVR 2007»
15 years 9 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, ...
ICMCS
2006
IEEE
172views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Video Stabilization Performance Assessment
Shooting videos with a hand-held camera introduces shaking, which incontrovertibly reduces video quality. Digital video stabilization is a process to compensate for camera motion ...
Matti Niskanen, Olli Silvén, Marius Tico
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
15 years 9 months ago
Motion Tasks and Force Control for Robot Manipulators on Embedded 2-D Manifolds
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
Xanthi Papageorgiou, Savvas G. Loizou, Kostas J. K...
LREC
2010
169views Education» more  LREC 2010»
15 years 4 months ago
An LMF-based Web Service for Accessing WordNet-type Semantic Lexicons
This paper describes a Web service for accessing WordNet-type semantic lexicons. The central idea behind the service design is: given a query, the primary functionality of lexicon...
Savas Ali Bora, Yoshihiko Hayashi, Monica Monachin...