Sciweavers

1057 search results - page 113 / 212
» its 1998
Sort
View
ANTS
1998
Springer
114views Algorithms» more  ANTS 1998»
14 years 2 months ago
Dense Admissible Sets
Call a set of integers {b1, b2, . . . , bk} admissible if for any prime p, at least one congruence class modulo p does not contain any of the bi. Let (x) be the size of the largest...
Daniel M. Gordon, Eugene R. Rodemich
EWCBR
1998
Springer
14 years 2 months ago
Case-Based Design for Tablet Formulation
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
Susan Craw, Nirmalie Wiratunga, Ray Rowe
AIMSA
1998
Springer
14 years 2 months ago
A Blackboard Architecture for Guiding Interactive Proofs
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
Christoph Benzmüller, Volker Sorge
SIGGRAPH
1998
ACM
14 years 2 months ago
Interactive Multi-Resolution Modeling on Arbitrary Meshes
During the last years the concept of multi-resolution modeling has gained special attention in many fields of computer graphics and geometric modeling. In this paper we generaliz...
Leif Kobbelt, Swen Campagna, Jens Vorsatz, Hans-Pe...
SPATIALCOGNITION
1998
Springer
14 years 2 months ago
Shape Nouns and Shape Concepts: A Geometry for 'Corner'
This paper investigates geometric and ontological aspects of shape concepts underlying the semantics of nouns. Considering the German shape nouns Ecke and Knick (corner and kink) w...
Carola Eschenbach, Christopher Habel, Lars Kulik, ...