1192 search results - page 25 / 239 » Symbolic Query Exploration |
126
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
126
click to vote
JCM
2008
15 years 1 months ago
2008
In this paper we revisit the minimum mean square error (MMSE) pilot-aided channel estimation for broadband orthogonal frequency division multiplexing (OFDM) systems. The careful de...
146
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
106
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the application of the particle swarm algorithm for a NP-hard problem in the area of wireless communications. The specific problem is of detecting symbols in a...
120
Voted
MM
2003
ACM
15 years 7 months ago
2003
ACM
An algorithm is presented that automatically matches images of presentation slides to the symbolic source file (e.g., PowerPointTM or AcrobatTM ) from which they were generated. T...