15416 search results - page 2731 / 3084 » Embeddings of Computable Structures |
200
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
177
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The design of efficient textual similarities is an important issue in the domain of textual data exploration. Textual similarities are for example central in document collection s...
177
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
178
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
173
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Complex triangle meshes arise naturally in many areas of computer graphics and visualization. Previous work has shown that a quadric error metric allows fast and accurate geometri...