923 search results - page 133 / 185 » Proving the value of formal methods |
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—We propose a dynamic spectrum access scheme where secondary users recommend “good” channels to each other and access accordingly. We formulate the problem as an average rewa...
145
click to vote
DCC
2004
IEEE
16 years 5 months ago
2004
IEEE
Many technical imaging applications, like coding "images" of digital elevation maps, require extracting regions of compressed images in which the pixel values are within...
146
click to vote
GECCO
2009
Springer
16 years 26 days ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
174
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
196
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...