• Publications
  • Influence
The Semantic Web
TLDR
Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Expand
  • 4,058
  • 380
Neural Networks: Tricks of the Trade
TLDR
A commonly encountered problem in MLP (multi-layer perceptron) classification problems is related to the prior probabilities of the individual classes-if the number of training examples that correspond to each class varies significantly between the classes, then the learning algorithm is exposed to simultaneous underfitting and overfitting. Expand
  • 943
  • 70
  • PDF
Theoretical Computer Science
TLDR
We study the combinatorial structure and computational complexity of extreme Nash equilibria, ones that maximize or minimize a certain objective function, in the context of a selfish routing game. Expand
  • 1,005
  • 55
Maintenance of Configurations in the Plane
TLDR
We present a fully dynamic maintenance algorithm for convex hulls that can process insertions and deletions of single points in only O(log* n) steps per transaction, where n is the number of points currently in the set. Expand
  • 496
  • 44
  • PDF
Unifying Theories of Programming
TLDR
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. Expand
  • 219
  • 40
Worst-case Analysis of Set Union Algorithms
TLDR
We show that two one-pass methods proposed by van Leeuwen and van der Weide are asymptotically optimal, whereas several other methods, including one proposed by Rein and advocated by Dijkstra, are slower than the best methods. Expand
  • 439
  • 23
  • PDF
Logic Programming
  • J. V. Leeuwen
  • Computer Science
  • Lecture Notes in Computer Science
  • 2002
TLDR
This paper overviews a set of techniques based on finite automata that lead to decision procedures and other useful algorithms, as well as to a normal form, for the first-order linear theory of integers, of the reals, and of the integers and reals combined. Expand
  • 180
  • 19
Information and communication technology
TLDR
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 across system boundaries. Expand
  • 184
  • 19
  • PDF
Handbook Of Theoretical Computer Science, Vol. A
  • 231
  • 18
Multiple Classifier Systems
TLDR
We consider strategies for building classifier ensembles for non-stationary environments where the classification task changes during the operation of the ensemble. Expand
  • 162
  • 11
...
1
2
3
4
5
...