Sciweavers

7274 search results - page 45 / 1455
» Abstractions for network update
Sort
View
70
Voted
IJCNN
2007
IEEE
15 years 7 months ago
Automated Abstraction of Dynamic Neural Systems for Natural Language Processing
Henrik Jacobsson, Stefan L. Frank, Diego Federici
94
Voted
FAC
2010
93views more  FAC 2010»
14 years 10 months ago
Verification and falsification of programs with loops using predicate abstraction
Daniel Kroening, Georg Weissenbacher
ICC
2009
IEEE
103views Communications» more  ICC 2009»
15 years 7 months ago
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks
- In this paper, we propose a distributed approach for the least constraining slot allocation scheme in all-optical TDM networks (LC) that was introduced in a previous work. The dr...
Hassan Zeineddine, Gregor von Bochmann