3575 search results - page 223 / 715 » Presentations of computably enumerable reals |
155
click to vote
JGAA
2008
15 years 6 months ago
2008
Let G be a bipartite graph, and let e, i be two parallel convex curves; we study the question about whether G admits a planar straight-line drawing such that the vertices of one p...
165
click to vote
JRTIP
2007
15 years 6 months ago
2007
The paper presents a real-time algorithm that compensates image distortions due to atmospheric turbulence in video sequences, while keeping the real moving objects in the video unh...
153
click to vote
PVLDB
2010
15 years 5 months ago
2010
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
172
click to vote
CSEE
2009
Springer
15 years 4 months ago
2009
Springer
Devising a course for software professionals working in industry depends on several factors. In order to create a course that fulfils professionals' expectations, it is impor...
140
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Computations on tensors have become common with the use of DT-MRI. But the classical Euclidean framework has many defects, and affine-invariant Riemannian metrics have been propose...