Sciweavers

2106 search results - page 88 / 422
» Specifying C concepts
Sort
View
CACM
2000
121views more  CACM 2000»
13 years 10 months ago
A broader approach to personalization
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
Ibrahim Cingil, Asuman Dogac, Ayca Azgin
OTM
2010
Springer
13 years 8 months ago
Knowledge Representation with Autonomic Ontologies
The important role given to domain ontologies for knowledge representation implies increasing need for development and maintenance of them. However, we have a scarcity of tools sup...
Stainam Nogueira Brandão, Jonice Oliveira, ...
FOSSACS
2004
Springer
14 years 3 months ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...
ECAI
2010
Springer
13 years 11 months ago
Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!
Abstract. In this paper we formulate a novel Divide-andCoordinate (DaC) algorithm, the so-called Egalitarian Utilities Divide-and-Coordinate (EU-DaC) algorithm. The Divide-andCoord...
Meritxell Vinyals, Juan A. Rodríguez-Aguila...
EUROCRYPT
1997
Springer
14 years 2 months ago
Binding ElGamal: A Fraud-Detectable Alternative to Key-Escrow Proposals
We propose a concept for a worldwide information security infrastructure that protects law-abiding citizens, but not criminals, even if the latter use it fraudulently (i.e. when no...
Eric R. Verheul, Henk C. A. van Tilborg