Sciweavers

7623 search results - page 1460 / 1525
» Constructive Volume Modeling
Sort
View
108
Voted
LICS
2008
IEEE
15 years 7 months ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski
ACCESSNETS
2008
Springer
15 years 7 months ago
A Simulator of Periodically Switching Channels for Power Line Communications
An indoor power line is one of the most attractive media for in-home networks. However, there are many technical problems for achieving in-home power line communication (PLC) with ...
Taro Hayasaki, Daisuke Umehara, Satoshi Denno, Mas...
114
Voted
AVSS
2007
IEEE
15 years 7 months ago
Detection of temporarily static regions by processing video at different frame rates
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...
Fatih Porikli
125
Voted
ICASSP
2007
IEEE
15 years 7 months ago
A Multi-Subject, Dynamic Bayesian Networks (DBNS) Framework for Brain Effective Connectivity
As dynamic connectivity is shown essential for normal brain function and is disrupted in disease, it is critical to develop models for inferring brain effective connectivity from ...
Junning Li, Z. Jane Wang, Martin J. McKeown
113
Voted
ICC
2007
IEEE
113views Communications» more  ICC 2007»
15 years 7 months ago
Utility-Aware Resource Allocation for Multi-Stream Overlay Multicast
Abstract - Overlay multicast, which performs topology construction and data relaying in the application layer, has recently emerged as a promising vehicle for data distribution. In...
Ji Xu, Jiangchuan Liu, Hsiao-Hwa Chen, Xiao Chu
« Prev « First page 1460 / 1525 Last » Next »