971 search results - page 156 / 195 » Approximate Satisfiability and Equivalence |
104
click to vote
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, an efficient neighbor AR (Access Router) discovery scheme and handoff procedure using neighbor information are proposed. It allows each AR and Mobility Anc...
FQAS
2006
Springer
15 years 3 months ago
2006
Springer
Searchers' difficulty in formulating effective queries for their information needs is well known. Analysis of search session logs shows that users often pose short, vague quer...
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
KDD
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents an autonomous algorithm for discovering exception rules from data sets. An exception rule, which is defined as a deviational pattern to a well-known fact, exhi...
117
click to vote
WSC
2008
15 years 2 months ago
2008
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...