4697 search results - page 881 / 940 » On Directed Information and Gambling |
211
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
156
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
219
click to vote
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
242
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Many applications require the management of spatial data. Clustering large spatial databases is an important problem which tries to find the densely populated regions in the featu...
180
click to vote
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...