2024 search results - page 170 / 405 » A Formal Model of Multi-agent Computations |
128
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
140
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
134
click to vote
WIOPT
2005
IEEE
15 years 10 months ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
174
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
143
click to vote
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...