8874 search results - page 1563 / 1775 » A New Implementation of Automath |
190
click to vote
WSC
1998
15 years 8 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
190
click to vote
AAAI
1994
15 years 8 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
219
click to vote
NIPS
1990
15 years 8 months ago
1990
A new class of data structures called "bumptrees" is described. These structures are useful for efficiently implementing a number of neural network related operations. A...
160
click to vote
USENIX
1990
15 years 8 months ago
1990
swm is a policy-free, user configurable window manager client for the X Window System. Besides providing basic window manager functionality, swm introduces new features not found ...
214
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...