Sciweavers

8555 search results - page 339 / 1711
» Property Based Coordination
Sort
View
ICIP
2003
IEEE
16 years 9 months ago
Histogram intersection kernel for image classification
In this paper we address the problem of classifying images, by exploiting global features that describe color and illumination properties, and by using the statistical learning pa...
Annalisa Barla, Francesca Odone, Alessandro Verri
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 2 months ago
Exact controllability of linear neutral type systems by the moment problem approach
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
Rabah Rabah, Grigory Sklyar
ACSD
2007
IEEE
88views Hardware» more  ACSD 2007»
16 years 1 months ago
Testing the executability of scenarios in general inhibitor nets
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
CSFW
2005
IEEE
16 years 1 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
ICA
2004
Springer
16 years 28 days ago
Blind Separation of Nonstationary Sources by Spectral Decorrelation
Abstract. This paper demonstrates and exploits some interesting frequency-domain properties of nonstationary signals. Considering these properties, two new methods for blind separa...
Shahram Hosseini, Yannick Deville