3994 search results - page 580 / 799 » A Linear Logical Framework |
201
Voted
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
219
click to vote
TCAD
2010
15 years 1 months ago
2010
In response to the increasing variations in integrated-circuit manufacturing, the current trend is to create designs that take these variations into account statistically. In this ...
201
click to vote
TWC
2010
15 years 1 months ago
2010
This paper studies the problem of finding a minimum-length schedule of a power-controlled wireless network subject to traffic demands and SINR (signal-to-interferenceplus-noise rat...
196
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Structured precision modelling is an important approach to improve the intra-frame correlation modelling of the standard HMM, where Gaussian mixture model with diagonal covariance...
219
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper studies a hierarchical Bayesian model for nonlinear hyperspectral image unmixing. The proposed model assumes that the pixel reflectances are polynomial functions of li...