2153 search results - page 162 / 431 » From Requirements Models to Formal Specifications in B |
109
click to vote
CGF
2005
14 years 10 months ago
2005
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
INTERSPEECH
2010
14 years 5 months ago
2010
We present an initial investigation into the acoustic realisation of tone in continuous utterances in Sepedi (a language in the Southern Bantu family). An analytic model for the g...
111
click to vote
FAC
2008
14 years 10 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
BC
2002
14 years 10 months ago
2002
Abstract. How do humans achieve the precise positioning of the feet during walking, for example, to reach the first step of a stairway? We addressed this question at the visuomotor...
DAGM
2010
Springer
14 years 10 months ago
2010
Springer
The selection of an optical flow method is mostly a choice from among accuracy, efficiency and ease of implementation. While variational approaches tend to be more accurate than lo...