Skip to search formSkip to main contentSkip to account menu

The Semantic Web

The proposed approach has been implemented in the system CRION (Contrastive Reasoning with Inconsistent ONtologies) as a reasoning plug-in in the LarKC (Large Knowledge Collider) platform and shows that contrastive reasoning is a useful extension to the existing approaches of reasoning with inconsistent ontologies.
View on Springer (opens in a new tab)

Unifying Theories of Programming

This paper instantiates the ideas in Hoare and He’s Unifying Theories of Programming, with each different treatment of undefinedness formalized as a UTP theory, and shows how classical logic can be used to prove semi-classical facts.
View on Springer (opens in a new tab)

Information and communication technology

This talk will concentrate on the early history of semantics and interoperability research but also investigate the (reoccurring) problem of interoperability as it can be found in the massive data collections around the Open Linked Data concepts.
View on IEEE (opens in a new tab)

Multiple Classifier Systems

This work considers strategies for building classifier ensembles for non-stationary environments where the classification task changes during the operation of the ensemble, and the concept of "forgetting" is discussed.
View on Springer (opens in a new tab)

Ambient Intelligence

An ecological view in which a smart home is seen as an interconnected collection of smart objects that work together to provide services to inhabitants is proposed, and a taxonomy for smart home services is proposed and discussed.
View on Springer (opens in a new tab)

Optimal register allocation for SSA-form programs in polynomial time

View via Publisher (opens in a new tab)

Machine Learning for Dynamic Software Analysis: Potentials and Limits

It is argued that the optimal choice of an ML method for a particular application should be guided by the type of models one seeks to infer, and the open challenges for reaching the full potential of ML for software engineering are discussed.
View on Springer (opens in a new tab)

Digital Cultural Heritage

The Optimized Data Acquisition Protocol (DAP) is set up to guide the processes of digitization of Cultural Heritage, respecting needs, requirements and specificities of cultural assets, by dealing with issues such as time-consuming processes and limited budget available for 3D docu‐ mentation, accuracy of 3D models, integration of metadata and semantics into the 3D model and links with multimedia information.
View on Springer (opens in a new tab)

Neural Information Processing

Results showed that three social network dimensions, which are network size, network heterogeneity, properties of top node, affect entrepreneurial intentions significantly, and it was found that social networks sometimes may become an obstacle for College-graduate Village Official to start a business.
View on Springer (opens in a new tab)

Temporal Databases: Research and Practice

An object-oriented framework for temporal data models for supporting interoperability among temporal databases and a glossary of time granularity concepts for temporal database concepts.
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)