6881 search results - page 171 / 1377 » Motivation |
166
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
141
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Admission control and overload management techniques are central to the design and implementation of RealTime Database Systems. In this paper, we motivate the need for these mecha...
127
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
This paper is motivated by the concern of the multiservice network provider who wishes to offer users quality of service guarantees concerning transparency, accessibility and thro...
144
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
140
Voted
ISCOPE
1997
Springer
15 years 10 months ago
1997
Springer
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...