Sciweavers

368 search results - page 59 / 74
» The Information Lost in Erasures
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 4 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
ICRA
1999
IEEE
447views Robotics» more  ICRA 1999»
15 years 4 months ago
Coastal Navigation: Mobile Robot Navigation with Uncertainty in Dynamic Environments
Ships often use the coasts of continents for navigation in the absence of better tools such as GPS, since being close to land allows sailors to determine with high accuracy where ...
Nicholas Roy, Wolfram Burgard, Dieter Fox, Sebasti...
FGR
2004
IEEE
97views Biometrics» more  FGR 2004»
15 years 3 months ago
Detecting Dance Motion Structure through Music Analysis
In these days, many important intangible cultural properties of the world are being lost because of the lack of successive performers. Digital archiving technology is one of the e...
Takaaki Shiratori, Atsushi Nakazawa, Katsushi Ikeu...
AAAI
2007
15 years 2 months ago
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
Steven Reece, Stephen Roberts, Alex Rogers, Nichol...
SDM
2010
SIAM
153views Data Mining» more  SDM 2010»
15 years 1 months ago
The Generalized Dimensionality Reduction Problem
The dimensionality reduction problem has been widely studied in the database literature because of its application for concise data representation in a variety of database applica...
Charu C. Aggarwal