8874 search results - page 1552 / 1775 » A New Implementation of Automath |
247
click to vote
ECOOPW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
182
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
227
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
244
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We address the problem of recovering 3D models from uncalibrated images of architectural scenes. We propose a simple, geometrically intuitive method which exploits the strong rigi...
180
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
A critical challenge to creating effective agent-based systems is allowing them to operate effectively when the operating environment is complex, dynamic, and error-prone. In this...