Sciweavers

26071 search results - page 130 / 5215
» Making the
Sort
View
KR
1994
Springer
14 years 1 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»
14 years 1 months ago
Making Object-Oriented Schemas More Expressive
Diego Calvanese, Maurizio Lenzerini
SIGCOMM
1994
ACM
14 years 1 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
14 years 1 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
14 years 1 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