3047 search results - page 274 / 610 » Aggregation functions: Means |
139
click to vote
CN
2002
15 years 4 months ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
139
click to vote
ENTCS
2002
15 years 4 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
143
click to vote
JC
1998
15 years 4 months ago
1998
The problem of global solution of Fredholm integral equations is studied. This means that one seeks to approximate the full solution function (as opposed to the local problem, whe...
133
click to vote
QUESTA
2002
15 years 4 months ago
2002
We consider an M/G/1 queue with a removable server. When a customer arrives, the workload becomes known. The cost structure consists of switching costs, running costs, and holding ...
138
click to vote
QUESTA
2007
15 years 4 months ago
2007
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...