8874 search results - page 51 / 1775 » A New Implementation of Automath |
ICPP
2008
IEEE
14 years 5 months ago
2008
IEEE
Crowd simulation can be considered as a special case of Virtual Environments where avatars are intelligent agents instead of user-driven entities. These applications require both ...
ISSAC
2007
Springer
14 years 5 months ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
JUCS
2008
13 years 11 months ago
2008
: BigBatch is an image processing environment designed to process batches of thousands of monochromatic documents. One of the flexibilities and pioneer aspects of BigBatch is offer...
INTEGRATION
2000
13 years 10 months ago
2000
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...
SIGUCCS
2000
ACM
14 years 3 months ago
2000
ACM
This paper will provide a useful guide to those schools that have not yet implemented IMAP and are considering doing so. With both the systems and user services perspectives, any ...