The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, ...
Weiterlesen
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that ...
Weiterlesen
The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. ...
Weiterlesen
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Weiterlesen
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Weiterlesen
This book constitutes the refereed proceedings of the 7th International Conference on Information Management and Big Data, ...
Weiterlesen
Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
Weiterlesen
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Weiterlesen
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Weiterlesen
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Weiterlesen
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Weiterlesen
Constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, ...
Weiterlesen
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
This is a groundbreaking resource that covers both algorithms and technologies of interactive videos, so that businesses ...
Weiterlesen
This book is addressed to students, researchers and academics who have barely heard of the emerging young science of Biosemiotics, ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 2004 International Workshop on Intuitive Human Interfaces ...
Weiterlesen
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses ...
Weiterlesen
– semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics ...
Weiterlesen