2687 search results - page 470 / 538 » Formal Analysis of PKCS |
174
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
153
click to vote
AAAI
2008
15 years 8 months ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...
142
click to vote
DLOG
2007
15 years 8 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
157
click to vote
WSC
2008
15 years 8 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...