420 search results - page 38 / 84 » Volume in General Metric Spaces |
APAL
2010
14 years 9 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract—The problem of error-control in random linear network coding is considered. A “noncoherent” or “channel oblivious” model is assumed where neither transmitter nor...
74
Voted
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
SMA
2003
ACM
15 years 2 months ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Despite large volumes of data and many types of metrics, software projects continue to be difficult to predict and risky to conduct. In this paper we propose software analytics wh...