1011 search results - page 174 / 203 » The three dimensions of proofs |
167
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
151
click to vote
ITA
2002
15 years 5 months ago
2002
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
160
click to vote
TSE
2002
15 years 5 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
163
click to vote
COMPSEC
2010
15 years 4 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
178
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...