74 search results - page 12 / 15 » Reachability Analysis of Nonlinear Systems Using Conservativ... |
81
Voted
SAFECOMP
2004
Springer
15 years 2 months 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
15 years 4 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
15 years 1 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
15 years 3 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...
86
Voted
MVA
2007
14 years 11 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...