3708 search results - page 421 / 742 » Approximating Betweenness Centrality |
228
Voted
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
219
click to vote
ISAAC
1999
Springer
15 years 11 months ago
1999
Springer
We consider online routing algorithms for routing between the vertices of embedded planar straight line graphs. Our results include (1) two deterministic memoryless routing algorit...
167
click to vote
ISER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
175
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
171
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
Our aim is to investigate reliable transmission for multicast communication and explore its relationship to multicast routing. We derive two characterizations that enable the comp...