2850 search results - page 524 / 570 » On Timed Models and Full Abstraction |
DAGM
2009
Springer
14 years 21 hour ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
GLOBECOM
2008
IEEE
14 years 8 hour ago
2008
IEEE
Abstract— An important issue for supporting multimedia applications in multiple heterogeneous networks, a typical pervasive computing environment, is how to optimize the rate all...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract--It was shown recently that carrier sense multiple access (CSMA)-like distributed algorithms can achieve the maximal throughput in wireless networks (and task processing n...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...
JUCS
2008
13 years 11 months ago
2008
Abstract: Nowadays, more and more users make use of web-based collaborative systems. Users participate in communities or search for and provide information in webbased systems. The...