The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, ...
Lire la suite
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that ...
Lire la suite
The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. ...
Lire la suite
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suite
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Information Management and Big Data, ...
Lire la suite
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
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
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