Sciweavers

BIRTHDAY
2009
Springer
14 years 7 months ago
Algorithms for Energy Saving
Energy has become a scarce and expensive resource. There is a growing awareness in society that energy saving is a critical issue. This paper surveys algorithmic solutions to reduc...
Susanne Albers
BIRTHDAY
2009
Springer
14 years 7 months ago
Is the World Linear?
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
Rudolf Fleischer
BIRTHDAY
2009
Springer
14 years 7 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
Alessandro Artale, Enrico Franconi
BIRTHDAY
2009
Springer
14 years 7 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
BIRTHDAY
2009
Springer
14 years 7 months ago
Reasoning About Alternative Requirements Options
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
Axel van Lamsweerde
BIRTHDAY
2009
Springer
14 years 7 months ago
Clio: Schema Mapping Creation and Data Exchange
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...
Ronald Fagin, Laura M. Haas, Mauricio A. Hern&aacu...
BIRTHDAY
2009
Springer
14 years 7 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
Gerhard Lakemeyer, Hector J. Levesque
BIRTHDAY
2009
Springer
14 years 7 months ago
Conceptual Modeling for Data Integration
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...
BIRTHDAY
2009
Springer
14 years 7 months ago
Data Modeling in Dataspace Support Platforms
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
BIRTHDAY
2009
Springer
14 years 7 months ago
Web Service Composition via the Customization of Golog Programs with User Preferences
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McI...