3820 search results - page 252 / 764 » Bounded Model Debugging |
107
Voted
SWAT
2000
Springer
15 years 7 months ago
2000
Springer
We define external memory (or I/O) models which capture space complexity and develop a general technique for deriving I/O-space trade-offs in these models from internal memory mode...
124
Voted
CSDA
2007
15 years 3 months ago
2007
The Total Least Squares method is generalized in the context of the functional linear model. A smoothing splines estimator of the functional coefficient of the model is first prop...
107
Voted
CP
2009
Springer
15 years 1 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
112
Voted
IPL
2011
14 years 10 months ago
2011
In this paper, we study the stationary node distribution of a variation of the Random Waypoint mobility model, in which nodes move in a smooth way following one randomly chosen Ma...
133
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. Taskload is here d...