8874 search results - page 51 / 1775 » A New Implementation of Automath |
118
Voted
ICPP
2008
IEEE
15 years 7 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 ...
90
Voted
ISSAC
2007
Springer
15 years 6 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
15 years 18 days 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...
91
Voted
INTEGRATION
2000
15 years 13 days 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
15 years 5 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 ...