Sciweavers

425 search results - page 50 / 85
» Homothetic interval orders
Sort
View
TOPNOC
2008
14 years 11 months ago
Time Recursive Petri Nets
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
Djaouida Dahmani, Jean-Michel Ilié, Malika ...
ICRA
2010
IEEE
182views Robotics» more  ICRA 2010»
14 years 10 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 10 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...
JCT
2010
77views more  JCT 2010»
14 years 10 months ago
Obtainable sizes of topologies on finite sets
We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ...
Kári Ragnarsson, Bridget Eileen Tenner
SAS
2010
Springer
172views Formal Methods» more  SAS 2010»
14 years 10 months ago
Deriving Numerical Abstract Domains via Principal Component Analysis
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
Gianluca Amato, Maurizio Parton, Francesca Scozzar...