8486 search results - page 124 / 1698 » Ordered Enumeration Method |
143
Voted
DAGM
2008
Springer
15 years 5 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...
134
Voted
BIRTHDAY
2009
Springer
15 years 4 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...
142
Voted
CSL
2010
Springer
15 years 4 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...
122
Voted
CORR
2010
Springer
15 years 3 months 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...
137
Voted
CORR
2010
Springer
15 years 3 months 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...