855 search results - page 73 / 171 » Complexity of Equations over Sets of Natural Numbers |
145
click to vote
DBPL
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
132
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
— We consider a wireless multiuser network where a number of source/destination pairs communicate concurrently over the same physical channel. A set of amplify-and-forward relay ...
160
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a surface compression method that stores surfaces as wavelet-compressed signed-distance volumes. Our approach enables the representation of surfaces with complex topolo...
162
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
173
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...