Sciweavers

2451 search results - page 444 / 491
» Effective View Navigation
Sort
View
TON
2008
109views more  TON 2008»
14 years 11 months ago
On hierarchical traffic grooming in WDM networks
Abstract--The traffic grooming problem is of high practical importance in emerging wide-area wavelength division multiplexing (WDM) optical networks, yet it is intractable for any ...
Bensong Chen, George N. Rouskas, Rudra Dutta
CG
2005
Springer
14 years 11 months ago
An experimental exploration of the relationship between subjective impressions of illumination and physical fidelity
Two experiments were carried out to explore the effect of rendering and interface fidelity on subjective impressions of illumination and perceived presence after exposure to a vir...
Katerina Mania, Andrew Robinson
IJCV
2002
185views more  IJCV 2002»
14 years 11 months ago
Vision and the Atmosphere
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
Srinivasa G. Narasimhan, Shree K. Nayar
ICTAC
2010
Springer
14 years 9 months ago
Mechanized Verification with Sharing
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
J. Gregory Malecha, Greg Morrisett
CORR
2010
Springer
155views Education» more  CORR 2010»
14 years 6 months ago
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment
Malicious mobile phone worms spread between devices via short-range Bluetooth contacts, similar to the propagation of human and other biological viruses. Recent work has employed m...
John Tang, Cecilia Mascolo, Mirco Musolesi, Vito L...