The skyline query, as an important operator in databases for multi-preference analysis and decision making, has received much attention recently due to its wide application backgr...
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
In this note the stability of a second-order quasi-polynomial with a single delay is studied. Although there is a vast literature on this problem, most available solutions are lim...
The Earley algorithm is a widely used parsing method in natural language processing applications. We introduce a variant of Earley parsing that is based on a “delayed” recognit...
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...