462 search results - page 71 / 93 » Symbolic Bounded Synthesis |
102
click to vote
CIAC
2010
Springer
15 years 6 months ago
2010
Springer
A weighted sequence is a string in which a set of characters may appear at each position with respective probabilities of occurrence. A common task is to locate a given motif in a ...
90
Voted
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The paper addresses wireless the 2-Way Relay Channel (2-WRC) system with a Hierarchical Decode and Forward strategy. This strategy uses a Hierarchical eXclusive Code (HX...
110
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
117
Voted
MCU
2004
15 years 3 months ago
2004
We propose linear time solutions to two much celebrated NP-complete problems, namely the 3CNF-SAT and the directed Hamiltonian Path Problem (HPP), based on AHNEPs having all resour...
133
click to vote
GLOBECOM
2007
IEEE
15 years 2 months ago
2007
IEEE
Abstract— Many techniques for constructing unitary spacetime constellations have been proposed. To minimize bit-error rate (BER) in a wireless communication system, constellation...