4930 search results - page 741 / 986 » Learning minimal abstractions |
186
click to vote
SCIA
2007
Springer
16 years 23 days ago
2007
Springer
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...
160
click to vote
SG
2007
Springer
16 years 23 days ago
2007
Springer
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...
170
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
176
click to vote
TELETRAFFIC
2007
Springer
16 years 23 days ago
2007
Springer
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 ...
176
click to vote
COMSWARE
2006
IEEE
16 years 21 days ago
2006
IEEE
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 ...