1237 search results - page 16 / 248 » Strictness and Totality Analysis |
EOR
2007
14 years 9 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
DICTA
2003
14 years 11 months ago
2003
We present a scale-space with separate scales in the greyscale and spatial dimensions, using ideas from mathematical morphology. Dynamics are used for greyscale (luminance) filter...
ICIC
2007
Springer
15 years 4 months ago
2007
Springer
Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except for some statistical proof. A new concept of pi series is introd...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We consider the problem of aggregating values (e.g., summing values) from all nod...
AMAI
2007
Springer
14 years 10 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...