Sciweavers

6974 search results - page 1182 / 1395
» Querying Semi-Structured Data
Sort
View
DLOG
2007
14 years 1 months ago
A Proof Theory for DL-Lite
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
EDBT
2008
ACM
140views Database» more  EDBT 2008»
14 years 16 days ago
Database Servers Tailored to Improve Energy Efficiency
Database software can be tailored for specific application domains and their required functionality, for specific hardware and its characteristics, or for other purposes. This bri...
Goetz Graefe
AAAI
2010
14 years 7 days ago
g-Planner: Real-time Motion Planning and Global Navigation using GPUs
We present novel randomized algorithms for solving global motion planning problems that exploit the computational capabilities of many-core GPUs. Our approach uses thread and data...
Jia Pan, Christian Lauterbach, Dinesh Manocha
CORIA
2010
14 years 7 days ago
Impact de l'information visuelle pour la Recherche d'Images par le contenu et le contexte
Multimedia documents are increasingly used which involve to develop model to that kind of data. In this paper we present a multimedia model which combines textual and visual inform...
Christophe Moulin, Christine Largeron, Mathias G&e...
DAIS
2010
14 years 7 days ago
A Reconfiguration Language for Virtualized Grid Infrastructures
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
Rémy Pottier, Marc Léger, Jean-Marc ...
« Prev « First page 1182 / 1395 Last » Next »