742 search results - page 44 / 149 » Constructing Hierarchical Rule Systems |
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missin...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: The fusion of data from different sensorial sources is the most promising method to increase robustness and reliability of environmental perception today. The paper presents an a...
IAT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we describe EMMA (E-Mail Management Assistant), an e-mail system that addresses the process of e-mail management, from initially sorting messages into virtual folde...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...