3154 search results - page 131 / 631 » Computing Closed Skycubes |
130
click to vote
VMV
2001
15 years 4 months ago
2001
In this paper we discuss two image-based 3D modeling methods based on a multi-resolution evolution of a volumetric function's levelset. In the former the role of the levelset...
131
click to vote
AIML
1998
15 years 4 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
116
click to vote
COLING
2000
15 years 4 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
99
Voted
APAL
2007
15 years 3 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...
101
Voted
IVC
2008
15 years 2 months ago
2008
Object recognition is one of the most important tasks of the visual cortex. Even though it has been closely studied in the field of computer vision and neuroscience, the underlyin...