419 search results - page 11 / 84 » Succincter |
ICEIS
2008
IEEE
15 years 3 months ago
2008
IEEE
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
ICN
2007
Springer
15 years 3 months ago
2007
Springer
We develop algorithms for the compact representation of the trie structures that are used for Internet packet forwarding. Our compact representations are experimentally compared w...
FOCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Let Λ : {0, 1}n ×{0, 1}m → {0, 1} be a Boolean formula of size d, or more generally, an arithmetic circuit of degree d, known to both Alice and Bob, and let y ∈ {0, 1}m be a...