1330 search results - page 87 / 266 » No Classic Boundary Conditions |
86
Voted
APAL
2005
15 years 21 days ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
105
Voted
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- We consider a variation of the classical MarkovDubins problem dealing with curvature-constrained, shortest paths in the plane with prescribed initial and terminal positi...
123
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. The inhomogeneous Poisson (Laplace) equation with internal Dirichlet boundary conditions has recently appeared in several applications ranging from image segmentation [1,...
126
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
77
Voted
ESANN
2008
15 years 2 months ago
2008
We propose a modification of the dynamic neural field model of Amari [1], aiming at reducing the simulation effort by employing spaceand frequency representations of the dynamic st...