5255 search results - page 878 / 1051 » Formal Methods for Privacy |
144
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
130
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
145
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
In this paper, when we use the term ontology, we are primarily referring to linked data in the form of RDF(S). The problem of ontology mapping has attracted considerable attention...
138
click to vote
AIPS
2003
15 years 5 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
150
click to vote
GEOINFO
2003
15 years 5 months ago
2003
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...