1054 search results - page 60 / 211 » Guarded Expressions in Practice |
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we study the asymptotic behavior of the bit–error probability (BEP) and symbol–error probability (SEP) of coherent maximum–ratio combining (MRC) in correla...
131
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
ISNN
2005
Springer
15 years 5 months ago
2005
Springer
It is important in bioinformatics research and applications to select or discover informative genes of a tumor from microarray data. However, most of the existing methods are based...
WIA
2004
Springer
15 years 5 months ago
2004
Springer
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...