2282 search results - page 137 / 457 » Active property checking |
123
click to vote
ECML
2005
Springer
15 years 10 months ago
2005
Springer
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...
128
click to vote
SIP
2007
15 years 5 months ago
2007
Segmentation involves separating distinct regions in an image. In this note, we present a novel variational approach to perform this task. We propose an energy functional that nat...
129
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Solving stochastic optimization problems under partial observability, where one needs to adaptively make decisions with uncertain outcomes, is a fundamental but notoriously diffic...
130
click to vote
CGF
2000
15 years 4 months ago
2000
In this paper, we present an integration framework for heterogeneous motion generators. The objective is to outline issues that are currently easily solved in professional post-pr...
172
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...