4502 search results - page 445 / 901 » Regular Model Checking |
204
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose to combine two approaches for modeling data admitting sparse representations: on the one hand, dictionary learning has proven effective for various signal processing ta...
205
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We consider a hybrid wireless sensor network with regular and transmit-only sensors. The transmit-only sensors do not have receiver circuit, hence are cheaper and less energy consu...
188
click to vote
MA
2010
Springer
15 years 2 months ago
2010
Springer
This work proposes to generalize the method of cokriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies be...
340
click to vote
EGPGV
2011
Springer
14 years 11 months ago
2011
Springer
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
180
click to vote
IAT
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...