Sciweavers

228 search results - page 30 / 46
» Independent Bases of Admissible Rules
Sort
View
CSL
1992
Springer
15 years 3 months ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
AVBPA
2005
Springer
320views Biometrics» more  AVBPA 2005»
15 years 5 months ago
A Principled Approach to Score Level Fusion in Multimodal Biometric Systems
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
Sarat C. Dass, Karthik Nandakumar, Anil K. Jain
CEEMAS
2005
Springer
15 years 5 months ago
Diagnosis of Plans and Agents
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
Nico Roos, Cees Witteveen
EDBT
2009
ACM
85views Database» more  EDBT 2009»
15 years 4 months ago
Expressive, yet tractable XML keys
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
Sven Hartmann, Sebastian Link
SSS
2009
Springer
110views Control Systems» more  SSS 2009»
15 years 4 months ago
From Local Impact Functions to Global Adaptation of Service Compositions
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
Liliana Rosa, Luís Rodrigues, Antóni...