1140 search results - page 155 / 228 » Progress on Certifying Algorithms |
WEBDB
2009
Springer
14 years 4 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...
ISVC
2009
Springer
14 years 4 months ago
2009
Springer
The available rendering performance on current computers increases constantly, primarily by employing parallel algorithms using the newest many-core hardware, as for example multi-...
ISVC
2009
Springer
2009
Springer
Factorization of Correspondence and Camera Error for Unconstrained Dense Correspondence Applications
14 years 4 months ago
Abstract. A correspondence and camera error analysis for dense correspondence applications such as structure from motion is introduced. This provides error introspection, opening u...