2273 search results - page 132 / 455 » On the Expressiveness and Complexity of ATL |
SAMT
2007
Springer
15 years 4 months ago
2007
Springer
— Annotation of multimedia content with metadata is regarded as a key issue for efficiently handling such content. MPEG-7 is a major standard that has been developed for this rea...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Semantic Web databases allow efficient storage and access to RDF statements. Applications are able to use expressive query languages in order to retrieve relevant metadata to perfo...
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
—We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene interactions underlying oscillations in neural systems. Interactions of genes ...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...