5718 search results - page 395 / 1144 » Modeling Rule Precision |
179
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a networked control scheme which uses a model based prediction and time-stamps in order to compensate for delays and packet dropouts in the transmission between sens...
127
Voted
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
Many attempts have been made to capture, on the one hand, the nature of knowledge, and on the other hand, the nature of context. In this paper, we compare the two concepts of conte...
191
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
167
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
128
click to vote
WSC
2008
15 years 9 months ago
2008
We propose a procedure for reporting a statistical point estimator and its precision for statistical experiments such as simulation experiments. Based on three criteria --loss of ...