Sciweavers

5344 search results - page 503 / 1069
» Privacy-Preserving Set Operations
Sort
View
ATAL
2007
Springer
16 years 1 months ago
Knowledge Sharing Between Agents in a Transitioning Organization
People that interact within a cooperative organization must constantly exchange information on the details of the organization as well as the goals the organization exists to meet....
Eric T. Matson, Raj Bhatnagar
CALCO
2007
Springer
112views Mathematics» more  CALCO 2007»
16 years 1 months ago
Impossibility Results for the Equational Theory of Timed CCS
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
CPAIOR
2007
Springer
16 years 1 months ago
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...
Nicolas Beldiceanu, Emmanuel Poder
203
Voted
DEXA
2007
Springer
127views Database» more  DEXA 2007»
16 years 1 months ago
A Method for Determining Ontology-Based Semantic Relevance
The semantic web is based on ontologies and metadata that indexes resources using ontologies. This indexing is called annotation. Ontology based information retrieval is an operati...
Tuukka Ruotsalo, Eero Hyvönen
DFG
2007
Springer
16 years 1 months ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel