Sciweavers

4480 search results - page 355 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
CVHI
2007
15 years 8 months ago
Body Mounted Vision System for Visually Impaired Outdoor and Indoor Wayfinding Assistance
: The most challenging issue of the navigation assistive systems for the visually impaired is the instantaneous and accurate spatial localization of the user. Most of the previous ...
Sylvie Treuillet, Eric Royer, Thierry Chateau, Mic...
NOSSDAV
1993
Springer
15 years 10 months ago
Probabilistic Assignment of Movies to Storage Devices in a Video-On-Demand System
–A video-on-demand server must satisfy a large customer base and a diverse archive of movies under changing movie popularity and daily load peaks. These requirements must be sati...
Thomas D. C. Little, Dinesh Venkatesh
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 4 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
WMASH
2003
ACM
15 years 12 months ago
Secure authentication system for public WLAN roaming
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
Yasuhiko Matsunaga, Ana Sanz Merino, Takashi Suzuk...
JSS
2006
132views more  JSS 2006»
15 years 6 months ago
FMF: Query adaptive melody retrieval system
Recent progress of computer and network technologies makes it possible to store and retrieve a large volume of multimedia data in many applications. In such applications, efficien...
Seungmin Rho, Eenjun Hwang