17983 search results - page 94 / 3597 » Set Types and Applications |
120
click to vote
ORDER
2010
15 years 29 days ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
110
Voted
PROCEDIA
2010
14 years 9 months ago
2010
Colorectal cancer is initiated in colonic crypts as a consequence of alterations leading to the disruption of the normal colonic cellular process. We propose a model, which couple...
97
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
85
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
125
Voted
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...