Sciweavers

26071 search results - page 130 / 5215
» Making
Sort
View
KR
1994
Springer
15 years 10 months ago
Making the Difference: A Subtraction Operation for Description Logics
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
Gunnar Teege
PODS
1994
ACM
95views Database» more  PODS 1994»
15 years 10 months ago
Making Object-Oriented Schemas More Expressive
Diego Calvanese, Maurizio Lenzerini
SIGCOMM
1994
ACM
15 years 10 months ago
Making Greed Work in Networks: A Game-Theoretic Analysis of Switch Service Disciplines
This paper discusses congestion control from a game-theoretic perspective. There are two basic premises: (1) users are assumed to be independent and sel sh, and (2) central admini...
Scott Shenker
POPL
1989
ACM
15 years 10 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott
ICCHP
2010
Springer
15 years 10 months ago
Making Digital Maps Accessible Using Vibrations
Abstract. In order to allow blind and deafblind people to use and explore electronically available maps, we have developed a system that displays maps in a tactile way using a stan...
Bernhard Schmitz, Thomas Ertl