2687 search results - page 379 / 538 » Formal Analysis of PKCS |
179
click to vote
UAI
1993
15 years 7 months ago
1993
In this paper some initialwork towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reas...
102
click to vote
COLING
1992
15 years 7 months ago
1992
In this paper global patterns of thematic text organization me considered within the framework of a distributed model of text understmlding, ttased on file parsing resuhs of prior...
144
click to vote
SLP
1989
15 years 7 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
195
click to vote
SYRCODIS
2007
15 years 7 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...
180
click to vote
AIME
2009
Springer
15 years 7 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...