Sciweavers

2008 search results - page 228 / 402
» Computing with Equations
Sort
View
127
Voted
DCC
2008
IEEE
16 years 3 months ago
Intra Prediction via Edge-Based Inpainting
We investigate the usage of edge-based inpainting as an intra prediction method in block-based image compression. The joint utilization of edge information and the well-known Lapl...
Dong Liu, Xiaoyan Sun, Feng Wu
132
Voted
CMSB
2009
Springer
15 years 10 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
142
Voted
CONCUR
2009
Springer
15 years 10 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
137
Voted
SCALESPACE
2009
Springer
15 years 10 months ago
A Non-local Approach to Shape from Ambient Shading
We study the mathematical and numerical aspects of the estimation of the 3-D shape of a Lambertian scene seen under diffuse illumination. This problem is known as “shape from amb...
Emmanuel Prados, Nitin Jindal, Stefano Soatto
139
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Stereo matching with asymmetric occlusion handling in weighted least square framework
This paper presents a novel method for stereo matching with occlusion handling. In order to estimate optimal cost, we define an energy function and solve the iterative equation w...
Dong Bo Min, Kwanghoon Sohn