Sciweavers

1187 search results - page 145 / 238
» Graph-Based Procedural Abstraction
Sort
View
AIMSA
2010
Springer
14 years 9 months ago
Coalition Structure Generation with GRASP
Abstract. The coalition structure generation problem represents an active research area in multi-agent systems. A coalition structure is defined as a partition of the agents involv...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
14 years 9 months ago
Left invertibility of output-quantized systems: An application to cryptography
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...
Nevio Dubbini, Anna Carluccio, Antonio Bicchi
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 9 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
TSP
2010
14 years 8 months ago
An efficient approach for two-dimensional parameter estimation of a single-tone
Abstract--In this paper, parameter estimation of a two-dimensional (2-D) single damped real/complex tone in the presence of additive white Gaussian noise is addressed. By utilizing...
H. C. So, Frankie K. W. Chan, W. H. Lau, Cheung-Fa...
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
15 years 8 months ago
Insertable surgical imaging device with pan, tilt, zoom, and lighting
Abstract— This paper describes work we have done in developing an insertable surgical imaging device with multiple degrees-of-freedom for minimally invasive surgery. The device i...
Tie Hu, Peter K. Allen, Nancy J. Hogle, Dennis L. ...