Sciweavers

3220 search results - page 341 / 644
» Constrained Graph Processes
Sort
View
EACL
1993
ACL Anthology
15 years 8 months ago
Towards efficient parsing with proof-nets
This paper presents a method for parsing associative Lambek grammars based on graphtheoretic properties. Connection graphs, which are a simplified version of proof-nets, are actua...
Alain Lecomte
CONCUR
2010
Springer
15 years 7 months ago
Parameterized Verification of Ad Hoc Networks
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
ICASSP
2011
IEEE
14 years 10 months ago
Graph-based sequential particle filtering in lossy networks: Single and multiple collaborative cameras
This paper presents a novel approach of multiple target tracking from multiple collaborative cameras. Firstly, particle filtering for conditional density propagation on graphs to...
Jing Huang, Dan Schonfeld
ICASSP
2011
IEEE
14 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...
ICASSP
2011
IEEE
14 years 10 months ago
Joint source-channel-network coding for bidirectional wireless relays
The application of joint source-channel coding, based on fountain codes, in the broadcast timeslot of wireless two-way network coding is investigated in this paper. A computationa...
Francois P. S. Luus, Bodhaswar T. Maharaj