Results 21 to 30 of about 2,584,664 (216)
2009 IEEE International Conference on Software Maintenance, 2009 Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered model checking of single versions of programs. It is well understood that model checking can be very expensive for large, complex programs.
Guowei Yang 0001 +2 more
openaire +3 more sources
Nonparametric estimation of an additive quantile regression model [PDF]
, 2004 This paper is concerned with estimating the additive components of a nonparametric additive quantile regression model. We develop an estimator that is asymptotically normally distributed with a rate of convergence in probability of n^{-r/(2+10)} when ...
Joel L. Horowitz +5 more
core +1 more source
Multi–Joint Angles Estimation of Forearm Motion Using a Regression Model
Frontiers in Neurorobotics, 2021 To improve the life quality of forearm amputees, prosthetic hands with high accuracy, and robustness are necessary. The application of surface electromyography (sEMG) signals to control a prosthetic hand is challenging.
Zixuan Qin +5 more
doaj +1 more source
Variable Selection and Model Choice in Geoadditive Regression Models [PDF]
, 2007 Model choice and variable selection are issues of major concern in practical regression analyses. We propose a boosting procedure that facilitates both tasks in a class of complex geoadditive regression models comprising spatial effects, nonparametric ...
Kneib, Thomas +2 more
core +1 more source
Estimation of grip strength using monocular camera for home-based hand rehabilitation
SICE Journal of Control, Measurement, and System Integration, 2021 Grip strength exercises are commonly used rehabilitation methods for recovery of hand function. They are easy to perform even without the direct support of a healthcare professional.
Nagisa Matsumoto +2 more
doaj +1 more source
Frontiers in Aging Neuroscience, 2022 Although previous studies identified a similar topography pattern of structural and functional delineations in human middle temporal gyrus (MTG) using healthy adults, trajectories of MTG sub-regions across lifespan remain largely unknown.
Jinping Xu +8 more
doaj +1 more source
The Hachemeister Regression Model [PDF]
Informatică economică, 2008 In this article we will obtain, just like in the case of classical credibility model, a credibility solution in the form of a linear combination of the individual estimate (based on the data of a particular state) and the collective estimate (based on ...
Carmen Lenuta TRICA
doaj
HOUSEHOLD/ZONAL SOCIOECONOMIC CHARACTERISTICS AND TOUR MAKING: CASE OF RICHMOND/TRI-CITIES MODEL REGION IN VIRGINIA [PDF]
Journal of Urban and Regional Analysis, 2022 This paper statistically assesses the impacts of household/zonal socio economic characteristics on tour making within the Richmond/Tri-Cities Model Region, Virginia, United States, based on the dataset made available through the 2009 Virginia National ...
Xueming CHEN
doaj +1 more source
On the Complexity of Logistic Regression Models [PDF]
Neural Computation, 2019 We investigate the complexity of logistic regression models, which is defined by counting the number of indistinguishable distributions that the model can represent (Balasubramanian, 1997 ). We find that the complexity of logistic models with binary inputs depends not only on the number of parameters but also on the distribution of inputs in a ...
Nicola Bulso +2 more
openaire +4 more sources
Payments per claim model of outstanding claims reserve based on fuzzy linear regression [PDF]
, 2019 There are uncertainties in factors such as inflation. Historical data and variable values are ambiguous. They lead to ambiguity in the assessment of outstanding claims reserves. The payments per claim model can only perform point estimation.
Liu, Q. +5 more
core +1 more source