197 search results - page 1 / 40 » Circuits, Pebbling and Expressibility |
COCO
1990
Springer
14 years 2 months ago
1990
Springer
AAAI
2000
14 years 7 days ago
2000
We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for cons...
PODS
2007
ACM
14 years 11 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
LATIN
2010
Springer
14 years 5 months ago
2010
Springer
We consider the relationship between size and depth for layered Boolean circuits, synchronous circuits and planar circuits as well as classes of circuits with small separators. In ...
LICS
2005
IEEE
14 years 4 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...