Sciweavers

3110 search results - page 167 / 622
» On the initialization of the DNMF algorithm
Sort
View
168
Voted
HYBRID
2000
Springer
15 years 9 months ago
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
Alberto Bemporad, Fabio Danilo Torrisi, Manfred Mo...
173
Voted
DEDS
2008
87views more  DEDS 2008»
15 years 6 months ago
On-Line Monitoring of Large Petri Net Models Under Partial Observation
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
George Jiroveanu, René K. Boel, Behzad Bord...
180
Voted
ICRA
2008
IEEE
165views Robotics» more  ICRA 2008»
16 years 17 days ago
An almost communication-less approach to task allocation for multiple Unmanned Aerial Vehicles
— In this paper, we present a scalable, decentralized task allocation algorithm for a group of unknown number of Unmanned Aerial Vehicles (UAVs), which are equipped with GPS rece...
Peng Cheng, Vijay Kumar
PIMRC
2008
IEEE
16 years 16 days ago
Iterative EM based channel estimation for KSP-OFDM
Abstract—This paper proposes a new iterative channel estimation algorithm for known symbol padding (KSP) Orthogonal Frequency Division Multiplexing (OFDM) based on the Expectatio...
Dieter Van Welden, Heidi Steendam
VLDB
1995
ACM
113views Database» more  VLDB 1995»
15 years 9 months ago
Efficient Incremental Garbage Collection for Client-Server Object Database Systems
We describe an eficient server-based algorithm for garbage collecting object-oriented databases in a client/server environment. The algorithm is incremental and runs concurrently ...
Laurent Amsaleg, Michael J. Franklin, Olivier Grub...