Sciweavers

2008 search results - page 288 / 402
» Computing with Equations
Sort
View
ECCV
2010
Springer
15 years 11 months ago
Error-tolerant Image Compositing
Abstract. Gradient-domain compositing is an essential tool in computer vision and its applications, e.g., seamless cloning, panorama stitching, shadow removal, scene completion and...
CLUSTER
2000
IEEE
15 years 10 months ago
Parallel Simulation of 3D Nonlinear Acoustic Fields on a Linux-cluster
Simulating the propagation of 3D ultrasonic waves in a nonlinear medium is a demanding task. It requires the solution of time-dependent and nonlinear partial differential equation...
Xing Cai, Åsmund Ødegård
ARTS
1999
Springer
15 years 10 months ago
ProbVerus: Probabilistic Symbolic Model Checking
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
CVPR
1998
IEEE
15 years 10 months ago
Mosaics of Scenes with Moving Objects
Image mosaics are useful for a variety of tasks in vision and computer graphics. A particularly convenient way to generate mosaics is by `stitching' together many ordinary ph...
James Davis
PLILP
1993
Springer
15 years 10 months ago
Higher-Order Chaotic Iteration Sequences
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
Mads Rosendahl