8486 search results - page 124 / 1698 » Ordered Enumeration Method |
115
Voted
DAGM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Virtually all variational methods for motion estimation regularize the gradient of the flow field, which introduces a bias towards piecewise constant motions in weakly te...
111
click to vote
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
117
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
98
Voted
CORR
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
114
Voted
CORR
2010
Springer
15 years 29 days ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...