Sciweavers

6906 search results - page 331 / 1382
» An algorithm for modelling key terms
Sort
View
CVPR
2005
IEEE
16 years 8 months ago
A Rational Function Lens Distortion Model for General Cameras
We introduce a new rational function (RF) model for radial lens distortion in wide-angle and catadioptric lenses, which allows the simultaneous linear estimation of motion and len...
David Claus, Andrew W. Fitzgibbon
ICDE
2010
IEEE
290views Database» more  ICDE 2010»
15 years 10 months ago
The Model-Summary Problem and a Solution for Trees
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
Biswanath Panda, Mirek Riedewald, Daniel Fink
GRAPHICSINTERFACE
2001
15 years 8 months ago
The Lit Sphere: A Model for Capturing NPR Shading from Art
While traditional graphics techniques provide for the realistic display of three-dimensional objects, these methods often lack the flexibility to emulate expressive effects found ...
Peter-Pike J. Sloan, William Martin, Amy Gooch, Br...
210
Voted
SIAMIS
2011
15 years 1 months ago
Locally Parallel Texture Modeling
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
Pierre Maurel, Jean-François Aujol, Gabriel...
ATAL
2005
Springer
16 years 7 days ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek