Sciweavers

502 search results - page 72 / 101
» Visual Formalisms Revisited
Sort
View
CVPR
2003
IEEE
14 years 9 months ago
Vector-Valued Image Regularization with PDE's : A Common Framework for Different Applications
1 We address the problem of vector-valued image regularization with variational methods and PDE's. From the study of existing formalisms, we propose a unifying framework base...
David Tschumperlé, Rachid Deriche
VL
2009
IEEE
157views Visual Languages» more  VL 2009»
14 years 2 months ago
Combining spatial and semantic label analysis
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
Chris Chambers, Martin Erwig
ICFEM
2009
Springer
14 years 2 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
CRV
2008
IEEE
115views Robotics» more  CRV 2008»
14 years 2 months ago
A Cue to Shading: Elongations near Intensity Maxima
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
Daria Gipsman, Michael S. Langer
WSR
2008
13 years 9 months ago
Graph Technology in Reverse Engineering: The TGraph Approach
: TGraphs are directed graphs with typed, attributed, and ordered nodes and edges. These properties leverage the use of graphs as models for all kinds of artifacts in the context o...
Jürgen Ebert, Volker Riediger, Andreas Winter