Sciweavers

798 search results - page 88 / 160
» Interval Methods: An Introduction
Sort
View
114
Voted
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 2 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
85
Voted
BC
2008
67views more  BC 2008»
15 years 2 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
130
Voted
JIFS
2007
82views more  JIFS 2007»
15 years 2 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»
15 years 1 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...
131
Voted
ISOLA
2010
Springer
15 years 1 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...