Sciweavers

2415 search results - page 202 / 483
» Markov Processes on Curves
Sort
View
CLIMA
2011
12 years 10 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ICIP
2000
IEEE
14 years 12 months ago
Approximately Optimal Assignment for Unequal Loss Protection
This paper describes an algorithm that achieves an approximately optimal assignment of forward error correction to progressive data within the unequal loss protection framework [1...
Alexander E. Mohr, Richard E. Ladner, Eve A. Riski...
GLOBECOM
2007
IEEE
14 years 4 months ago
Distributed Space-Time-Frequency Block Codes for Multiple-Access-Channel with Relaying
—In this paper, we investigate diversity gain in coding for a 2-user multiple-access-channel (MAC) with cooperating transmitters–the MAC with relaying. We propose a simple dist...
Onur Oguz, Abdellatif Zaidi, Jérôme L...
ICCSA
2007
Springer
14 years 4 months ago
An Effective Visualization and Analysis Method for Edge Measurement
The terminology burr defines undesirable result of plastic deformation formed in machining process causing degradation of the accuracy and functionality of the product and its asse...
Andrey Toropov
ISVC
2005
Springer
14 years 3 months ago
Riemannian Mean Curvature Flow
In this paper we explicitly derive a level set formulation for mean curvature flow in a Riemannian metric space. This extends the traditional geodesic active contour framework whi...
Raúl San José Estépar, Steven...