4502 search results - page 772 / 901 » Regular Model Checking |
141
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
135
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Due to the rapid increase in video capture technology, more and more tourist videos are captured every day, creating a challenge for organization and association with metadata. In...
123
click to vote
JCC
2010
15 years 3 months ago
2010
The Poisson-Boltzmann equation is an important tool in modeling solvent in biomolecular systems. In this paper, we focus on numerical approximations to the electrostatic potential...
135
click to vote
JMIV
2010
15 years 3 months ago
2010
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
155
click to vote
PAMI
2010
15 years 3 months ago
2010
—This paper proposes a framework for single-image super-resolution. The underlying idea is to learn a map from input low-resolution images to target high-resolution images based ...