620 search results - page 101 / 124 » About the logical relations between cases and rules |
131
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—A state-dependent relay channel is studied in which strictly causal channel state information is available at the relay and no state information is available at the source and d...
145
click to vote
SCIENTOMETRICS
2011
14 years 4 months ago
2011
Scientific literature recommender systems (SLRSs) provide papers to researchers according to their scientific interests. Systems rely on inter-researcher similarity measures that...
133
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: Pattern matching is the core of bioinformatics; it is used in database searching, restriction enzyme mapping, and finding open reading frames. It is done repeatedly ov...
108
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
122
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...