Sciweavers

12637 search results - page 2285 / 2528
» Security for Extensible Systems
Sort
View
LPAR
2012
Springer
14 years 2 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
MMM
2012
Springer
289views Multimedia» more  MMM 2012»
14 years 2 months ago
Content-Based Video Description for Automatic Video Genre Categorization
In this paper, we propose an audio-visual approach to video genre categorization. Audio information is extracted at block-level, which has the advantage of capturing local temporal...
Bogdan Ionescu, Klaus Seyerlehner, Christoph Rasch...
WSDM
2012
ACM
295views Data Mining» more  WSDM 2012»
14 years 2 months ago
A straw shows which way the wind blows: ranking potentially popular items from early votes
Prediction of popular items in online content sharing systems has recently attracted a lot of attention due to the tremendous need of users and its commercial values. Different fr...
Peifeng Yin, Ping Luo, Min Wang, Wang-Chien Lee
SIGCOMM
2012
ACM
13 years 9 months ago
Revealing contact interval patterns in large scale urban vehicular ad hoc networks
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...
Yong Li, Depeng Jin, Pan Hui, Li Su, Lieguang Zeng
INFOCOM
2012
IEEE
13 years 9 months ago
HAWK: An unmanned mini helicopter-based aerial wireless kit for localization
—This paper presents a fully functional and highly portable mini Unmanned Aerial Vehicle (UAV) system, HAWK, for conducting aerial localization. HAWK is a programmable mini helic...
Zhongli Liu, Yinjie Chen, Benyuan Liu, Chengyu Cao...
« Prev « First page 2285 / 2528 Last » Next »