13383 search results - page 342 / 2677 » Abstractions from proofs |
232
click to vote
DAGM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...
212
Voted
EUSAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
184
click to vote
ICDAR
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
158
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— We present an algorithm for infinitesimal motion estimation and segmentation from multiple central panoramic views. We first show that the central panoramic optical ...
164
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...