Sciweavers

798 search results - page 88 / 160
» Interval Methods: An Introduction
Sort
View
CAV
2010
Springer
156views Hardware» more  CAV 2010»
14 years 10 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»
14 years 10 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»
14 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»
14 years 8 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
14 years 8 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...