Electronic Books

Total Books: 261 - 280 /599
GeoSpatial Semantics

This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. ...

Lire la suite
GeoSpatial Semantics

Constitutes the refereed proceedings of the First International Conference on GeoSpatial Semantics, GeoS 2005, held in 2005. ...

Lire la suite
Granular Computing: At the Junction of Rough Sets and Fuzzy Sets

This volume is a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS ...

Lire la suite
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...

Lire la suite
HCI and Usability for Medicine and Health Care

The work group Human–Computer Interaction & Usability Engineering (HCI&UE) of the Austrian Computer Society (OCG) serves ...

Lire la suite
HCI related papers of Interacción 2004

The present book contains a collection of the best papers presented at the 5th International Conference on Interacción Persona ...

Lire la suite
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...

Lire la suite
Holonic and Multi-Agent Systems for Manufacturing

The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly ...

Lire la suite
How to Engineer Software: A Model-Based Approach / Steve Tockey

The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...

Lire la suite
How to Think about Meaning

According to the dominant theory of meaning, truth-conditional semantics, to explain the meaning of a statement is to specify ...

Lire la suite
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, ...

Lire la suite
ICCS 2007

The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that ...

Lire la suite
Image and Video Retrieval (vol. # 3568)

It was our great pleasure to host the 4th International Conference on Image and Video Retrieval (CIVR) at the National University ...

Lire la suite
Imagination and Rigor

The aim of this Volume of scientific essays is twofold. From one side, by remembering the scientific figure of Eduardo R. ...

Lire la suite
Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

Lire la suite
Implementation and Application of Functional Languages (vol. # 4015)

The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...

Lire la suite
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...

Lire la suite
Implementing Semantic Web Services : The SESA Framework

Service-oriented computing has become one of the predominant factors in IT research and development efforts over the last ...

Lire la suite
Industrial Applications of Semantic Web

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Lire la suite
Information Management and Big Data

This book constitutes the refereed proceedings of the 7th International Conference on Information Management and Big Data, ...

Lire la suite
Total Books: 261 - 280 /599