187 search results - page 31 / 38 » Combining simulation and formal methods for system-level per... |
CSDA
2010
13 years 7 months ago
2010
We propose a model for a point-referenced spatially correlated ordered categorical response and methodology for estimation of model parameters. Models and methods for spatially co...
ICMCS
2000
IEEE
14 years 3 days ago
2000
IEEE
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
AUTOMATICA
2006
13 years 7 months ago
2006
The authors design a new speed sensorless output feedback control for the full-order model of induction motors with unknown constant load torque, which guarantees local asymptotic...
VIS
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
GECCO
2010
Springer
14 years 15 days ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...