6978 search results - page 1068 / 1396 » On Proofs in System P |
155
Voted
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
161
click to vote
SPW
1997
Springer
15 years 11 months ago
1997
Springer
We undertook a project to secure the distribution of medical information using Wax. This is a proprietary hypertext-based system used for information such as treatment protocols, d...
186
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
A distributed problem solving approach to job shop scheduling is described in this paper. The approach views the system as an Organisation. Agents are assigned di erent roles and ...
157
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
204
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...