Sciweavers

459 search results - page 9 / 92
» Topic modeling with network regularization
Sort
View
CAV
2009
Springer
134views Hardware» more  CAV 2009»
14 years 7 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
COLING
2008
13 years 8 months ago
Scientific Paper Summarization Using Citation Summary Networks
Quickly moving to a new area of research is painful for researchers due to the vast amount of scientific literature in each field of study. One possible way to overcome this probl...
Vahed Qazvinian, Dragomir R. Radev
ECIR
2010
Springer
13 years 8 months ago
Mining Neighbors' Topicality to Better Control Authority Flow
Web pages are often recognized by others through contexts. These contexts determine how linked pages influence and interact with each other. When differentiating such interactions,...
Na Dai, Brian D. Davison, Yaoshuang Wang
CONCUR
2005
Springer
14 years 7 days ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...
ICASSP
2011
IEEE
12 years 10 months ago
A regularization framework for mobile social network analysis
Mobile phone data provides rich dynamic information on human activities in social network analysis. In this paper, we represent data from two different modalities as a graph and f...
Xiaowen Dong, Pascal Frossard, Pierre Vandergheyns...