1312 search results - page 167 / 263 » Formally Optimal Boxing |
122
click to vote
ETT
2002
15 years 2 months ago
2002
In this paper, a method is presented for the efficient estimation of rare-event (buffer overflow) probabilities in queueing networks using importance sampling. Unlike previously pr...
116
click to vote
CSUR
1999
15 years 1 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
133
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
118
click to vote
CNSM
2010
15 years 8 days ago
2010
1 We address the problem of resource management for a large-scale cloud environment that hosts sites. Our contribution centers around outlining a distributed middleware architectur...
115
click to vote
EMNLP
2009
15 years 1 days ago
2009
Unknown lexical items present a major obstacle to the development of broadcoverage semantic role labeling systems. We address this problem with a semisupervised learning approach ...