Ambiguous name resolution
Semantic Scholar uses AI to extract papers important to this topic.
We investigate the quantifier alternation hierarchy in firstorder logic on finite words. Levels in this hierarchy are defined by… (More)
We address the problem of image upscaling in the form of single image super-resolution based on a dictionary of lowand… (More)
- J. Comput. Syst. Sci.
An aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out… (More)
Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes… (More)
We study a model in which an online platform makes a profit by auctioning an advertising slot that appears whenever a consumer… (More)
In the graph searching game the opponents are a set of searchers and a fugitive in a graph. The searchers try to capture the… (More)
Replicating data under Eventual Consistency (EC) allows any replica to accept updates without remote synchronisation. This… (More)
A mobile robot represented by a point moving in the plane has to explore an unknown flat terrain with impassable obstacles. Both… (More)
We consider a model for online computation in which the online algorithm receives, together with each request, some information… (More)
We begin by recalling that if Γ is a group, andH a subgroup of Γ, then Γ is calledH-separable if for every g ∈ Γ\H, there is a… (More)