4860 search results - page 562 / 972 » SNPs Problems, Complexity, and Algorithms |
157
click to vote
LFCS
2007
Springer
15 years 11 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
118
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— In upstream vectored DSL transmission, the far-end crosstalk (FEXT) can be completely cancelled by using zeroforcing generalized decision-feedback equalizers (ZF-GDFE). When th...
153
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
119
Voted
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the problem of photo time-stamp detection and recognition, which is to determine the time a photo was taken. Since the time-stamp is exposed together with the...
133
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
— Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety of reasons. Complexity of networks is constantly incr...