4674 search results - page 123 / 935 » cases 2008 |
145
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
We present several Hermite-type interpolation methods for rational cubics. In case the input data come from a circular arc, the rational cubic will reproduce it.
149
click to vote
COMMA
2008
15 years 7 months ago
2008
In this paper we describe PADUA, a protocol designed to enable agents to debate an issue drawing arguments not from a knowledge base of facts, rules and priorities but directly fro...
126
click to vote
TIT
1998
15 years 5 months ago
1998
—Page’s test is optimal for detecting a permanent change in distribution, in the sense that it minimizes the worst case average delay to detection given an average distance bet...
158
click to vote
STTT
2008
15 years 5 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
153
click to vote
SCAI
2008
15 years 7 months ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...