Sciweavers

4930 search results - page 741 / 986
» Learning minimal abstractions
Sort
View
SCIA
2007
Springer
153views Image Analysis» more  SCIA 2007»
16 years 23 days ago
Graph Cut Based Segmentation of Soft Shadows for Seamless Removal and Augmentation
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...
Michael Nielsen, Claus B. Madsen
SG
2007
Springer
16 years 23 days ago
Customized Slider Bars for Adjusting Multi-dimension Parameter Sets
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
Shigeru Owada, Makoto Okabe, Takeo Igarashi, Frank...
SPIN
2007
Springer
16 years 23 days ago
Towards Model Checking Spatial Properties with SPIN
Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...
Alberto Lluch-Lafuente
TELETRAFFIC
2007
Springer
16 years 23 days ago
Video-on-Demand Server Selection and Placement
Abstract. Large-scale Video-on-Demand (VoD) systems with high storage and high bandwidth requirements need a substantial amount of resources to store, distribute and transport all ...
Frederic Thouin, Mark Coates
COMSWARE
2006
IEEE
16 years 21 days ago
Trust-propagation based authentication protocol in multihop wireless home networks
Abstract— In this paper, we propose an authentication and secure channel establishment protocol that is reliable and adaptable for multihop wireless home networks. The main idea ...
Han Sang Kim, Jin Wook Lee, Sandeep K. S. Gupta, Y...