3281 search results - page 204 / 657 » Bases for parametrized iterativity |
128
click to vote
SPIN
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
112
click to vote
CORR
2010
Springer
15 years 50 min ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
104
click to vote
ETS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper reports two novel algorithms based on time-modulo reconstruction method intended for detection of the parametric faults in analogue-to-digital converters (ADC). In both ...
111
click to vote
ACCV
2010
Springer
14 years 9 months ago
2010
Springer
We present a novel technique to accurately map the complete field-of-coverage of a camera to its pan-tilt space in an efficient manner. This camera model enables mapping the coordi...
122
click to vote
INFORMATICALT
2011
14 years 9 months ago
2011
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...