3552 search results - page 690 / 711 » Proof theory in the abstract |
129
click to vote
SACMAT
2005
ACM
15 years 7 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
119
Voted
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
116
click to vote
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
168
Voted
FCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
138
click to vote
MICAI
2005
Springer
15 years 7 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...