Sciweavers

7962 search results - page 55 / 1593
» Conceptions of information science
Sort
View
ICALP
2004
Springer
15 years 3 months ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu
LICS
2009
IEEE
15 years 4 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
ERSHOV
2009
Springer
15 years 4 months ago
Privacy Preserving Modules for Ontologies
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
Thomas Studer
BMCBI
2007
128views more  BMCBI 2007»
14 years 9 months ago
Userscripts for the Life Sciences
Background: The web has seen an explosion of chemistry and biology related resources in the last 15 years: thousands of scientific journals, databases, wikis, blogs and resources ...
Egon L. Willighagen, Noel M. O'Boyle, Harini Gopal...
ELPUB
2006
ACM
15 years 3 months ago
Living Reviews - Innovative Resources for Scholarly Communication Bridging Diverse Spheres of Disciplines and Organisational Str
This contribution presents the concept and analyses the path of diffusion of an innovative publishing idea that originated in one speciality in physics and is now about to spread ...
Claus Dalchow, Michael Nentwich, Patrick Scherhauf...