388 search results - page 57 / 78 » Mind the (Intelligibility) Gap |
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
AIME
2005
Springer
14 years 2 months ago
2005
Springer
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
DIAGRAMS
2004
Springer
14 years 2 months ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
IAT
2003
IEEE
14 years 2 months ago
2003
IEEE
In grid computing, agent-based load balancing is one of the most important problems. In this paper, we present a macroscopic model to describe the dynamics of agent-based load bal...