10891 search results - page 1951 / 2179 » Combining Model Reductions |
123
Voted
JFP
2008
15 years 21 days ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
113
Voted
JGTOOLS
2008
15 years 21 days ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
109
click to vote
JIRS
2008
15 years 21 days ago
2008
In this paper we present an innovative haptic device that combines the electro-tactile stimulation with the force and visual feedbacks in order to improve the perception of a virtu...
CSDA
2007
15 years 21 days ago
2007
Ridge regression is a well established method to shrink regression parameters towards zero, thereby securing existence of estimates. The present paper investigates several approac...
101
Voted
CSDA
2007
15 years 21 days ago
2007
The Lasso is an attractive regularisation method for high dimensional regression. It combines variable selection with an efficient computational procedure. However, the rate of co...