1022 search results - page 25 / 205 » Relators and Metric Bisimulations |
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper, we address the problem of creating an objective benchmark for comparing SLAM approaches. We propose a framework for analyzing the results of SLAM approaches base...
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
When working in image and video segmentation, the major objective is to design an algorithm producing the appropriate segmentation results for the particular goals of the applicat...
JSAC
2006
14 years 11 months ago
2006
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...
106
click to vote
METRICS
1997
IEEE
15 years 4 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
115
click to vote
JLP
2006
14 years 11 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...