Sciweavers

798 search results - page 88 / 160
» Interval Methods: An Introduction
Sort
View
CAV
2010
Springer
156views Hardware» more  CAV 2010»
13 years 9 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
BC
2008
67views more  BC 2008»
13 years 9 months ago
Information transmission in oscillatory neural activity
Periodic neural activity not locked to the stimulus or to motor responses is usually ignored. Here, we present newtoolsformodelingandquantifyingtheinformationtransmission based on ...
Kilian Koepsell, Friedrich T. Sommer
JIFS
2007
82views more  JIFS 2007»
13 years 9 months ago
Anomaly detection in mobile communication networks using the self-organizing map
Anomaly detection is a pattern recognition task whose goal is to report the occurrence of abnormal or unknown behavior in a given system being monitored. In this paper we propose a...
Rewbenio A. Frota, Guilherme De A. Barreto, Jo&ati...
ICRA
2010
IEEE
182views Robotics» more  ICRA 2010»
13 years 7 months ago
Informative path planning for an autonomous underwater vehicle
Abstract— We present a path planning method for autonomous underwater vehicles in order to maximize mutual information. We adapt a method previously used for surface vehicles, an...
Jonathan Binney, Andreas Krause, Gaurav S. Sukhatm...
ISOLA
2010
Springer
13 years 7 months ago
Flow Control with (Min, +) Algebra
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
Euriell Le Corronc, Bertrand Cottenceau, Laurent H...