Sciweavers

4767 search results - page 600 / 954
» Structures for Abstract Rewriting
Sort
View
SPLC
2010
15 years 8 months ago
Evolution of the Linux Kernel Variability Model
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...
Rafael Lotufo, Steven She, Thorsten Berger, Krzysz...
IC
2007
15 years 8 months ago
Native Temporal Slicing Support for XML Databases
Abstract XML databases, providing structural querying support, are becoming more and more popular. As we know, XML data may change over time and providing an efficient support to q...
Federica Mandreoli, Riccardo Martoglia, Enrico Ron...
IJCAI
2007
15 years 8 months ago
Nogood Recording from Restarts
Abstract. In this paper, nogood recording is investigated for CSP within the randomization and restart framework. Our goal is to avoid the same situations to occur from one run to ...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
SEMWIKI
2008
134views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
A Real Semantic Web for Mathematics Deserves a Real Semantics
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, ...
SEMWIKI
2008
156views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
A Generic Corporate Ontology Lifecycle
Abstract. Weaving the Semantic Web the research community is working on publishing publicly available data sources as RDF data on the Web. To facilitate the adoption of Semantic We...
Markus Luczak-Rösch, Ralf Heese