We present an approach to learning the personal preferences of individual users directly from example images. The target application is computer assisted search of partners in onl...
This paper presents a geo-temporal gazetteer Web service that provides access to names of places and historical periods, together with the associated geotemporal information. With...
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
—With the increased network size and diversity, and the proliferation in applications and services, the network service providers are faced with a flood of information from many...
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...