4235 search results - page 846 / 847 » Process Spaces |
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
VLDB
2012
ACM
12 years 1 months ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...
TOG
2012
11 years 8 months ago
2012
Current methods for combining two different images produce visible artifacts when the sources have very different textures and structures. We present a new method for synthesizing...
CVPR
2012
IEEE
11 years 8 months ago
2012
IEEE
Many binary code encoding schemes based on hashing have been actively studied recently, since they can provide efficient similarity search, especially nearest neighbor search, an...
CVPR
2012
IEEE
11 years 8 months ago
2012
IEEE
In the area of 3D shape analysis, research in mesh segmentation has always been an important topic, as it is a fundamental low-level task which can be utilized in many application...