1220 search results - page 81 / 244 » Restricting grammatical complexity |
118
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
—We address joint estimation of frequency offsets and channel responses in OFDMA uplink. A cyclically equal-spaced, equal-energy interleaved pilot preamble is proposed by which t...
116
click to vote
DLOG
2008
15 years 5 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
129
click to vote
TRUST
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
139
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
CHI
2010
ACM
15 years 9 months ago
2010
ACM
We present Apatite, a new tool that aids users in learning and understanding a complex API by visualizing the common associations between its various components. Current object-or...