Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,680,096 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

For positive integers n, d, consider the hypergrid [n] d with the coordinate-wise product partial ordering denoted by ≺. A…

2012

2012

We investigate the satisfiability problem for downward-XPath, the fragment of XPath that includes the child and descendant axes…

2011

2011

For the past 15 years, it has been shown that confidence estimation of branch prediction can be used for various usages such as…

2010

2010

A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes…

2002

2002

We address the problem of verifying clique avoidance in the TTP protocol. TTP allows several stations embedded in a car to…

2001

2001

This paper investigates closure property of the classes of sets accepted by space-bounded two-dimensional alternating Turing…

1999

1999

We consider nite automata equipped with nitely many registers (or counters). Each transition can be red only if the associated…

1978

1978

Correction of a string x into a language L is the problem of finding a string $y \in L$ to which x can be edited at least cost…