21108 search results - page 87 / 4222 » A General Class of Models of |
144
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
127
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
128
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
220
click to vote
ICML
2002
IEEE
16 years 4 months ago
2002
IEEE
A new approach to ensemble learning is introduced that takes ranking rather than classification as fundamental, leading to models on the symmetric group and its cosets. The approa...
139
click to vote
DLOG
2008
15 years 6 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...