2024 search results - page 214 / 405 » A Formal Model of Multi-agent Computations |
116
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
157
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
172
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
169
click to vote
ICCPOL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
123
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...