7623 search results - page 494 / 1525 » Constructive Volume Modeling |
151
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
174
click to vote
SIAMSC
2010
15 years 1 months ago
2010
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...
205
click to vote
AGI
2011
14 years 10 months ago
2011
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
202
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents an online learning algorithm to construct from video sequences an image-based representation that is useful for recognition and tracking. For a class of object...
156
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...