7820 search results - page 270 / 1564 » Formalization of Time and Space |
203
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
Bookmarks are used as "personal Web information spaces" to help people remember and retrieve interesting Web pages. A study of personal Web information spaces surveyed 3...
200
click to vote
FOCS
2007
IEEE
15 years 11 months ago
2007
IEEE
We study the reconstruction of a stratified space from a possibly noisy point sample. Specifically, we use the vineyard of the distance function restricted to a 1-parameter family...
182
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
188
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
189
click to vote
CCCG
2003
15 years 8 months ago
2003
We consider the problem of constructing binary space partitions for the set P of d-dimensional objects in d-dimensional space. There are several classes of objects defined for su...