1306 search results - page 17 / 262 » A Diagrammatic Approach to Model Completion |
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
95
Voted
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Most existing video denoising algorithms assume a single statistical model of image noise, e.g. additive Gaussian white noise, which often is violated in practice. In this paper, ...
105
click to vote
STACS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We advocate to analyze the average complexity of learning problems. An appropriate framework for this purpose is introduced. Based on it we consider the problem of learni...
106
click to vote
ICCV
1995
IEEE
15 years 3 months ago
1995
IEEE
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...