3128 search results - page 324 / 626 » Finite element method |
205
click to vote
TROB
2002
15 years 7 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
221
click to vote
COCOA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
162
Voted
IGARSS
2010
15 years 5 months ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...
189
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
189
click to vote
SOFSEM
2010
Springer
15 years 5 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...