1034 search results - page 93 / 207 » Inference of field initialization |
128
Voted
IMC
2005
ACM
15 years 8 months ago
2005
ACM
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...
113
click to vote
IPSN
2005
Springer
15 years 8 months ago
2005
Springer
— Ubiquitous computing applications often use a user's context to automatically adjust their behavior to the situation. We have developed three types of wireless sensor node...
115
click to vote
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
In this paper, we introduce self-tuning histograms. Although similar in structure to traditional histograms, these histograms infer data distributions not by examining the data or...
RTA
1993
Springer
15 years 7 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
145
click to vote
CADE
1990
Springer
15 years 7 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...