• Publications
  • Influence
The Semantic Web
Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Contrastive answers are more informative for reasoning withExpand
  • 3,528
  • 315
Unifying Theories of Programming
In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics used for formally specifying software systems. In our current paper, weExpand
  • 196
  • 40
Information and communication technology
Interoperability is a qualitative property of computing infrastructures that denotes the ability of the sending and receiving systems to exchange and properly interpret information objects acrossExpand
  • 166
  • 17
  • PDF
Multiple Classifier Systems
We consider strategies for building classifier ensembles for non-stationary environments where the classification task changes during the operation of the ensemble. Individual classifier modelsExpand
  • 144
  • 10
Automated Technology for Verification and Analysis
ion Refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Pei-Hsin Ho
  • 112
  • 8
Efficient Graph Rewriting and Its Implementation
Graph rewriting systems - The basic concepts.- UBS-Graph rewriting systems - matching subgraphs in constant time.- Programmed attributed graph rewrite systems - An advanced modelling formalism.- TheExpand
  • 67
  • 7
Temporal Databases: Research and Practice
An object-oriented framework for temporal data models.- An architecture for supporting interoperability among temporal databases.- Extended update functionality in temporal databases.- On transactionExpand
  • 220
  • 5
  • PDF
Optimal register allocation for SSA-form programs in polynomial time
  • S. Hack, G. Goos
  • Mathematics, Computer Science
  • Inf. Process. Lett.
  • 31 May 2006
This paper gives a constructive proof that the register allocation problem for a uniform register set is solvable in polynomial time for SSA-form programs.
  • 53
  • 5
  • PDF
Ambient Intelligence
In this paper we propose 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. We review homeExpand
  • 152
  • 4