1263 search results - page 97 / 253 » Packaging Mathematical Structures |
136
Voted
ADG
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
74
Voted
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
92
Voted
DM
2008
14 years 10 months ago
2008
Tolerance spaces and algebraic structures with compatible tolerances play an important role in contemporary algebra and their applications. In this contribution we are presenting ...
STOC
2003
ACM
15 years 10 months ago
2003
ACM
We consider a fundamental problem in computational learning theory: learning an arbitrary Boolean function which depends on an unknown set of k out of n Boolean variables. We give...
94
Voted
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...