The Semantic Web
- G. Goos, J. Hartmanis, Zhaohui Wu
- Computer ScienceLecture Notes in Computer Science
- 2011
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.
Unifying Theories of Programming
- G. Goos, J. Hartmanis, F. Mattern
- Computer ScienceLecture Notes in Computer Science
- 2012
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.
Information and communication technology
- Sudiana Mahendra, E. Neuhold, IlsunYou Eds
- Computer ScienceInternational Forum on Strategic Technology
- 2007
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.
Multiple Classifier Systems
- G. Goos, J. Hartmanis, J. V. Leeuwen, F. Roli, J. Kittler, T. Windeatt
- Computer ScienceLecture Notes in Computer Science
- 2004
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.
Ambient Intelligence
- B. D. Ruyter, A. Kameas, J. V. Leeuwen
- Computer ScienceLecture Notes in Computer Science
- 2015
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.
Optimal register allocation for SSA-form programs in polynomial time
- Sebastian Hack, G. Goos
- Economics, Computer ScienceInformation Processing Letters
- 31 May 2006
Machine Learning for Dynamic Software Analysis: Potentials and Limits
- A. Bennaceur, Reiner Hähnle, David Hutchison
- Computer ScienceLecture Notes in Computer Science
- 2018
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.
Digital Cultural Heritage
- M. Ioannides, G. Goos, J. Hartmanis, J. V. Leeuwen
- Computer ScienceLecture Notes in Computer Science
- 2018
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.
Neural Information Processing
- G. Goos, J. Hartmanis, C. Leung
- BusinessLecture Notes in Computer Science
- 2012
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.
Temporal Databases: Research and Practice
- G. Goos, J. Hartmanis, S. Sripada, J. V. Leeuwen, S. Jajodia
- Computer Science
- 13 May 1998
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.
...
...