Sciweavers

2296 search results - page 194 / 460
» The Expressive Power of Synchronizations
Sort
View
EDBTW
2006
Springer
15 years 10 months ago
Models for Incomplete and Probabilistic Information
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
Todd J. Green, Val Tannen
EPEW
2006
Springer
15 years 10 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
RTA
2000
Springer
15 years 10 months ago
Parallelism Constraints
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
Katrin Erk, Joachim Niehren
OWLED
2008
15 years 8 months ago
Use of OWL 2 to Facilitate a Biomedical Knowledge Base Extracted from the GENIA Corpus
The annotation of the GENIA corpus, a set of biomedical articles, targets the classification of biological entities based on their association with a domain-tailored taxonomy of ca...
Rafal Rak, Lukasz A. Kurgan, Marek Reformat
CLIMA
2004
15 years 8 months ago
Symbolic Negotiation with Linear Logic
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
Peep Küngas, Mihhail Matskin