In this paper we will present work carried out to scale up the system for text understanding called GETARUNS, and port it to be used in dialogue understanding. The current goal is...
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
Exact solutions of the Nizhnik-Novikov-Veselov equation by Li [New kink-shaped solutions and periodic wave solutions for the (2+1)-dimensional Sine-Gordon equation, Appl. Math. Co...
Nikolay A. Kudryashov, Pavel N. Ryabov, Dmitry I. ...
We present the first dynamic graph algorithm for recognizing interval graphs. The algorithm runs in O(n log n) worst-case time per edge deletion or edge insertion, where n is the ...
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...