11151 search results - page 45 / 2231 » On the Complexity of Model Expansion |
153
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
132
click to vote
DBISP2P
2004
Springer
15 years 9 months ago
2004
Springer
Peer-to-Peer infrastructures are emerging as one of the important data management infrastructures in the World Wide Web. So far, however, most work has focused on simple P2P networ...
140
Voted
WSC
1998
15 years 5 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
136
Voted
WSC
2000
15 years 5 months ago
2000
We summarize the results of an extensive experimental performance evaluation of selected batch means procedures for building a confidence interval for a steady-state expected simu...
143
Voted
TREC
2007
2007
Exploring Traits of Adjectives to Predict Polarity Opinion in Blogs and Semantic Filters in Genomics
15 years 5 months ago
: This paper presents the results of our team in the Genomics and Blog tracks in TREC 2007. We used the language model implementation provided by Indri for both tracks. For the BLO...