11051 search results - page 354 / 2211 » An Investigation of Generalized Cases |
204
click to vote
STTT
2008
15 years 7 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...
201
click to vote
TIT
2002
15 years 7 months ago
2002
Prediction of individual sequences is investigated for cases in which the decision maker observes a delayed version of the sequence, or is forced to issue his/her predictions a nu...
197
click to vote
IWPEC
2004
Springer
16 years 28 days ago
2004
Springer
Based on a series of known and new examples, we propose the generalized setting of “distance from triviality” measurement as a reasonable and prospective way of determining use...
213
click to vote
PARA
2004
Springer
16 years 28 days ago
2004
Springer
It is known that in general, statistical analysis of interval data is an NP-hard problem: even computing the variance of interval data is, in general, NP-hard. Until now, only one ...
227
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
There has been considerable success in automated reconstruction for image sequences where small baseline algorithms can be used to establish matches across a number of images. In c...