2661 search results - page 416 / 533 » Model Checking Performability Properties |
107
Voted
TIP
2008
15 years 2 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...
114
click to vote
AUTOMATICA
2004
15 years 2 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 ...
136
click to vote
IJRR
2000
15 years 2 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...
127
Voted
SAC
2002
ACM
15 years 2 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...
95
Voted
DCC
2010
IEEE
15 years 28 days 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...