Sciweavers

4666 search results - page 81 / 934
» Equations on Timed Languages
Sort
View
109
Voted
CSCLP
2007
Springer
15 years 6 months ago
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
Thom W. Frühwirth
SCALESPACE
2005
Springer
15 years 6 months ago
Discontinuity-Preserving Computation of Variational Optic Flow in Real-Time
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...
Andrés Bruhn, Joachim Weickert, Timo Kohlbe...
102
Voted
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
15 years 6 months ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...
126
Voted
CONCUR
1999
Springer
15 years 5 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
3DPVT
2004
IEEE
116views Visualization» more  3DPVT 2004»
15 years 4 months ago
Real-Time, Accurate Depth of Field using Anisotropic Diffusion and Programmable Graphics Cards
Computer graphics cameras lack the finite Depth of Field (DOF) present in real world ones. This results in all objects being rendered sharp regardless of their depth, reducing the...
Marcelo Bertalmío, Pere Fort, Daniel S&aacu...