Sciweavers

1208 search results - page 71 / 242
» Uniform eventown problems
Sort
View
DSN
2002
IEEE
15 years 3 months ago
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
Gerardo Rubino
81
Voted
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 2 months ago
Translation control of a fleet circular formation of AUVs under finite communication range
— This work proposes a control algorithm to stabilize a circular formation of AUVs tracking a time-varying center. We also consider the problem of uniform distribution of all the...
Lara B. Arranz, Alexandre Seuret, Carlos Canudas d...
ICASSP
2009
IEEE
15 years 2 months ago
The expected amplitude of overlapping partials of harmonic sounds
In analyzing polyphonic signals, the handling of overlapping partials is one important problem. The assumptions usually made for partial overlaps are the additivity of the linear ...
Chunghsin Yeh, Axel Roebel
80
Voted
TABLEAUX
2000
Springer
15 years 1 months ago
Matrix-Based Inductive Theorem Proving
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
Christoph Kreitz, Brigitte Pientka
88
Voted
CCCG
2007
14 years 11 months ago
Morphing Planar Graph Drawings
We give an algorithm to morph between two planar drawings of a graph, preserving planarity, but allowing edges to bend during the course of the morph. The morph uses a polynomial ...
Anna Lubiw