1716 search results - page 176 / 344 » Proving Conditional Termination |
112
Voted
ACIVS
2006
Springer
15 years 4 months ago
2006
Springer
Most approaches to camera motion estimation from image sequences require matching the projections of at least 4 non-coplanar points in the scene. The case of points lying on a plan...
138
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
87
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
The fundamental principle underlying compressed sensing is that a signal, which is sparse under some basis representation, can be recovered from a small number of linear measuremen...
TNN
2008
15 years 19 days ago
2008
In this paper, stability and bifurcation of a general recurrent neural network with multiple time delays is considered, where all the variables of the network can be regarded as bi...
94
Voted
SIAMCO
2002
15 years 12 days ago
2002
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...