713 search results - page 21 / 143 » Saving Space by Algebraization |
100
Voted
ISLPED
1999
ACM
15 years 4 months ago
1999
ACM
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
ENTCS
2006
15 years 11 days ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
86
Voted
SIGGRAPH
1987
ACM
15 years 3 months ago
1987
ACM
In the course of developing a system for fitting smooth curves to camera input we have developed several direct (i.e. noniterative) methods for fitting a shape (line, circle, conic...
129
click to vote
MCSS
2008
Springer
14 years 12 months ago
2008
Springer
In this paper we deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space. Besides the interest in its own right, this class of equations appears, ...
104
Voted
AI
2000
Springer
15 years 6 days ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...