2036 search results - page 203 / 408 » From Sampling to Model Counting |
260
click to vote
ATMN
1997
15 years 7 months ago
1997
In this paper we study the correlation structure of the output process of an ATM multiplexer. We consider two special cases : (i) the output process of the D-BMAP/D/1/N queue, a g...
176
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A good scoring function is essential for molecular docking computations. In conventional scoring functions, energy terms modeling pairwise interactions are cumulativel...
155
Voted
CONSTRAINTS
2007
15 years 6 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
208
click to vote
JCP
2008
15 years 6 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
178
click to vote
ENGL
2007
15 years 6 months ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...