Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
Lire la suite
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suite
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Lire la suite
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Lire la suite
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
This is a groundbreaking resource that covers both algorithms and technologies of interactive videos, so that businesses ...
Lire la suite
Standards play crucial roles in many different aspects of today’s economy. They can define meanings of semantics, product ...
Lire la suite
This book is addressed to students, researchers and academics who have barely heard of the emerging young science of Biosemiotics, ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces ...
Lire la suite
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes ...
Lire la suite
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Lire la suite
– semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics ...
Lire la suite
• Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven ...
Lire la suite
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Lire la suite
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Lire la suite
Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data ...
Lire la suite
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Lire la suite