Sciweavers

368 search results - page 59 / 74
» The Information Lost in Erasures
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
14 years 27 days 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»
14 years 27 days 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»
14 years 9 days 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
13 years 11 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»
13 years 10 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