Sciweavers

4726 search results - page 856 / 946
» Domain Modeling of Software Process Models
Sort
View
ICLP
2007
Springer
14 years 4 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
ICMCS
2006
IEEE
118views Multimedia» more  ICMCS 2006»
14 years 4 months ago
Spread-Spectrum Substitution watermarking Game
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....
Jean-Philippe Boyer, Pierre Duhamel, Jacques Blanc...
KCAP
2005
ACM
14 years 3 months ago
Towards Browsing Distant Metadata Using Semantic Signatures
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
Andrew Choi, Marek Hatala
DFKI
2005
Springer
14 years 3 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...
PKDD
2005
Springer
161views Data Mining» more  PKDD 2005»
14 years 3 months ago
Active Sampling for Knowledge Discovery from Biomedical Data
Abstract. We describe work aimed at cost-constrained knowledge discovery in the biomedical domain. To improve the diagnostic/prognostic models of cancer, new biomarkers are studied...
Sriharsha Veeramachaneni, Francesca Demichelis, Em...