5550 search results - page 788 / 1110 » Different Approaches to Proof Systems |
188
click to vote
TVCG
2008
15 years 6 months ago
2008
This survey reviews the recent advances in linear variational mesh deformation techniques. These methods were developed for editing detailed high-resolution meshes like those produ...
190
click to vote
IEE
2002
15 years 6 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
191
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
Abstract. In this paper, we present an image retrieval system that employs both the color and spatial information of images to facilitate the retrieval process. The basic unit used...
202
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this work we discuss author identification for documents written in Portuguese. Two different approaches were compared. The first is the writer-independent model which reduces ...
166
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— People perform daily activities in many different ways. When setting a table, they might use a tray, stack plates, stack cups on plates, leave the doors of a cupboard open when...