1355 search results - page 39 / 271 » Alternating Timed Automata over Bounded Time |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The problem of passive localization is commonly solved by independently measuring intermediate parameters (such as angles of arrival (AOA), times of arrival (TOA)...) on several m...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The performance of a noncoherent digital delaylock loop (DDLL) with a RAKE scheme for direct-sequence spread-spectrum code division multiple access (DS/SS-CDMA) signals...
FOCS
1998
IEEE
13 years 12 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
JCSS
2000
13 years 7 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
IJFCS
2006
13 years 7 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...