74 search results - page 12 / 15 » Reachability Analysis of Nonlinear Systems Using Conservativ... |
SAFECOMP
2004
Springer
14 years 29 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
The Fisher kernel is a generic framework which combines the benefits of generative and discriminative approaches to pattern classification. In this contribution, we propose to a...
PLDI
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
MVA
2007
13 years 9 months ago
2007
This paper presents uncertainty propagation in landmark based position estimation methods. Analysis of two methods has been carried out where robot position is estimated by detect...