8874 search results - page 414 / 1775 » A New Implementation of Automath |
150
click to vote
CRIWG
2003
15 years 9 months ago
2003
Effective groupware toolkits not only make it possible for average programmers to develop groupware, but also enhance their creativity. By removing low-level implementation burdens...
204
click to vote
IJCAI
2001
15 years 9 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
178
click to vote
JVM
2001
15 years 9 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
193
click to vote
SFP
2001
15 years 9 months ago
2001
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
217
click to vote
WOA
2001
15 years 9 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...