447 search results - page 17 / 90 » Towards Computability of Higher Type Continuous Data |
152
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
143
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
This paper introduces the Scalable INcremental hash-based Algorithm (SINA, for short); a new algorithm for evaluating a set of concurrent continuous spatio-temporal queries. SINA ...
143
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
125
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or...
157
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...