Sciweavers

5924 search results - page 822 / 1185
» Normal Process Representatives
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICASSP
2009
IEEE
15 years 4 months ago
Robust Bayesian tracking on Riemannian manifolds via fragments-based representation
Recently, the covariance region descriptor [1] has been proved robust and versatile for a modest computational cost. It enables efficient fusion of different types of features. Ba...
Yi Wu, Jinqiao Wang, Hanqing Lu
ICC
2009
IEEE
151views Communications» more  ICC 2009»
15 years 4 months ago
Performance Evaluation of Multiple-Relay Cooperative ARQ Strategies for Mobile Networks
In Cooperative Automatic Repeat reQuest (C-ARQ) protocols, one or more nodes can act as relays, collaborating in the frame retransmission process between a sender and a destination...
Juan J. Alcaraz, Joan García-Haro
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
15 years 4 months ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande
ICIP
2009
IEEE
15 years 4 months ago
Shapes as empirical distributions
We address the problem of shape based classification. We interpret the shape of an object as a probability distribution governing the location of the points of the object. An imag...
Bernardo Rodrigues Pires, José M. F. Moura