12774 search results - page 2281 / 2555 » A Framework for Proof Systems |
179
click to vote
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
212
click to vote
EUROPAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
206
Voted
KDD
1998
ACM
15 years 11 months ago
1998
ACM
1 The number and the size of spatial databases, e.g. for geomarketing, traffic control or environmental studies, are rapidly growing which results in an increasing need for spatial...
157
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
158
click to vote
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
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...