1690 search results - page 159 / 338 » Applications of Metric Coinduction |
JIRS
2008
13 years 10 months ago
2008
Abstract Mobile robot vision-based navigation has been the source of countless research contributions, from the domains of both vision and control. Vision is becoming more and more...
TR
2008
13 years 10 months ago
2008
The failure probability of a product F(t) and the life time quantile tp are commonly used metrics in reliability applications. Confidence intervals are used to quantify the statis...
LISP
2002
13 years 10 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
SISAP
2010
IEEE
13 years 9 months ago
2010
IEEE
Most multimedia information retrieval systems use an indexing scheme to speed up similarity search. The index aims to discard large portions of the data collection at query time. ...
TCOM
2010
13 years 9 months ago
2010
—Accurate positional information is essential for many applications in wireless networks. Time-of-arrival (TOA) and angle-of-arrival (AOA) are the two most commonly used signal m...