Introduction Conclusions References

Computer systems are verified to check the correctness or validated to check the performance of the software system with respect to specific security properties such as Integrity, Availability and Confidentiality. that is made available by the end users of the software is achievable only to a limited degree using static verification techniques. The more sensitive the information, such as credit...

In this work, we describe how EdgeMaps provide a new method for integrating the visualization of explicit and implicit data relations. Explicit relations are specific connections between entities already present in a given data set, while implicit relations are derived from multidimensional data based on similarity measures. Many data sets include both types of relations, which are often diffic...

Statistical language models used in deployed systems for speech recognition, machine translation and other human language technologies are almost exclusively n-gram models. They are regarded as linguistically naı̈ve, but estimating them from any amount of text, large or small, is straightforward. Furthermore, they have doggedly matched or outperformed numerous competing proposals for syntactical...

The field of information retrieval and text manipulation (classification, clustering) still strives for models allowing semantic information to be folded in to improve performance with respect to standard bag-of-word based models. Many approaches aim at a concept-based retrieval, but differ in the nature of the concepts, which range from linguistic concepts as defined in lexical resources such ...

Geographic Information Systems (GIS) require the power of sophisticated database management systems for efficiently managing the persistency and consistency of huge amounts of data. A pool of software tools takes care of the production process, which consists of editing, visualising and selecting geographic data. However, the quality of the data – its well-formedness and integrity – is not so e...

We explore bargaining, using ultimatum games, when one party, the proposer, possesses private information about the pie size and can either misrepresent this information through untruthful statements (explicit deception) or through information-revealing actions (implicit deception). Our study is the first such direct comparison between two ways in which people can deceive. We find that requirin...

How do experienced users extract information from a complex visualization? We examine this question by presenting experienced weather forecasters with visualizations that did not show the needed information explicitly and examining their eye movements. We replicated Carpenter & Shah (1998) when the information was explicitly available on the visualization. However, when the information was not ...