5144 search results - page 854 / 1029 » Enhancing Search with Structure |
153
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
189
click to vote
CIBCB
2007
IEEE
16 years 24 days ago
2007
IEEE
The susceptible, infected, removed model for epidemics assumes that the population in which the epidemic takes place is well mixed. This strong assumption can be relaxed by permit...
157
click to vote
GLOBECOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Protograph-based LDPC codes have the advantages of a simple design (or search) procedure and highly structured encoders and decoders. These advantages have also been exploited ...
165
click to vote
GLVLSI
2007
IEEE
16 years 24 days ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...
164
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— We consider opportunistic spectrum access (OSA) which allows secondary users to identify and exploit instantaneous spectrum opportunities resulting from the bursty traffic of ...