Towards an open grapevine information system

Towards an Open System for Theorem Proving towards an Open System for Theorem Proving

In this contribution I advocate an open system for formalised mathematical reasoning that is able to capture diierent mathematical formalisms as well as a wide variety of proof formats. This is assumed to be much more adequate since it more closely reeects the situation in mathematics as a whole. In particular I try to classify diierent dimension according to which proofs can be classiied.

Towards an Intelligent Information System

Nowadays, information overload is becoming an ever-growing problem. Finding the exact information is quite difficult. The main problem is that information is not organized according to its natural structures. There is not a data model that can represent these semi-structured or unstructured data in a natural way. On the other hand, almost every information application exploits interactive inter...

Towards an Open, Disaggregated Network Operating System

Towards an Open-Domain Social Dialog System

This demo paper describes a text-based, open-domain dialog system developed especially for social, small talk-like conversations. While much research is focused on goal-oriented dialog currently, in human-to-human communication many dialogs do not have a predefined goal. In order to achieve similar communication with a computer, we propose a framework which is easily extensible by combining dif...

OASIS: An Open Architecture Scientific Information System

(sampled twice a day) of sea level pressure data (single precision oating point) generated by UCLA AGCM model with a 4 Latitude by 5 Longitude grid cell resolution is 9250560 bytes (730x44x72x4). Each grid \slice" is therefore 12672 bytes. In this example, the dataset was stored in a HDF le located on the same machine as the MD-CellularGridCoverage object, and the client was run on a diierent S...