2661 search results - page 416 / 533 » Model Checking Performability Properties |
TIP
2008
13 years 10 months ago
2008
Abstract--This paper studies a family of distributions constructed from multivariate gamma distributions to model the statistical properties of multisensor synthetic aperture radar...
AUTOMATICA
2004
13 years 10 months ago
2004
This paper deals with the adaptive control of a class of continuous-time nonlinear dynamic systems preceded by an unknown dead-zone. By using a new description of a dead-zone and ...
IJRR
2000
13 years 10 months ago
2000
International Journal of Robotics Research, v 19, n 11, p. 1066-1074 Mobile manipulator systems hold promise in many industrial and service applications including assembly, inspec...
SAC
2002
ACM
13 years 9 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
DCC
2010
IEEE
13 years 8 months ago
2010
IEEE
This work proposes a novel practical and general-purpose lossless compression algorithm named Neural Markovian Predictive Compression (NMPC), based on a novel combination of Bayesi...