Sciweavers

1382 search results - page 170 / 277
» Formal Analysis of Online Algorithms
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 11 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ADHOCNOW
2008
Springer
16 years 23 days ago
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly congu...
Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli
KDD
2010
ACM
215views Data Mining» more  KDD 2010»
15 years 10 months ago
On the quality of inferring interests from social neighbors
This paper intends to provide some insights of a scientific problem: how likely one’s interests can be inferred from his/her social connections – friends, friends’ friends,...
Zhen Wen, Ching-Yung Lin
ICCV
2009
IEEE
1075views Computer Vision» more  ICCV 2009»
16 years 11 months ago
LabelMe video: Building a Video Database with Human Annotations
Currently, video analysis algorithms suffer from lack of information regarding the objects present, their interactions, as well as from missing comprehensive annotated video dat...
Jenny Yuen, Bryan Russell, Ce Liu, Antonio Torralb...
WWW
2006
ACM
16 years 7 months ago
Extracting news-related queries from web query log
In this poster, we present a method for extracting queries related to real-life events, or news-related queries, from large web query logs. The method employs query frequencies an...
Michael Maslov, Alexander Golovko, Ilya Segalovich...