1690 search results - page 172 / 338 » Applications of Metric Coinduction |
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— In this work we propose a new way to achieve visual servoing using directly the information (as defined by Shannon) of the image. A metric derived from information theory, mut...
FORMATS
2009
Springer
14 years 5 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
ISSTA
2009
ACM
14 years 5 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
WOWMOM
2009
ACM
14 years 5 months ago
2009
ACM
We demonstrate the channel assignment in a metropolitan wireless multi-radio mesh network with directional antennas. A channel assignment approach is presented using suitable algo...
AICCSA
2008
IEEE
14 years 5 months ago
2008
IEEE
The aim of this paper is to describe a Quality of Service (QoS) model enabling to measure the perceptual quality of video transmissions by exploiting metrics from different layers...