1702 search results - page 117 / 341 » Doomed program points |
150
click to vote
IPMI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
159
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
179
click to vote
ICANN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
175
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
191
click to vote
ICLA
2011
Springer
14 years 8 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...