Sciweavers

1188 search results - page 24 / 238
» Extended Graph Unification
Sort
View
ISM
2006
IEEE
122views Multimedia» more  ISM 2006»
14 years 3 months ago
SuperGraph Visualization
Given a large social or computer network, how can we visualize it, find patterns, outliers, communities? Although several graph visualization tools exist, they cannot handle larg...
José Fernando Rodrigues Jr., Agma J. M. Tra...
ICFP
2004
ACM
14 years 9 months ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
FCT
2007
Springer
14 years 4 months ago
Path Algorithms on Regular Graphs
We consider standard algorithms of finite graph theory, like for instance shortest path algorithms. We present two general methods to polynomially extend these algorithms to infi...
Didier Caucal, Dinh Trong Hieu
COCOON
2007
Springer
14 years 4 months ago
Algorithms for Core Stability, Core Largeness, Exactness, and Extendability of Flow Games
In this paper, we give linear time algorithms to decide core stability, core largeness, exactness, and extendability of flow games on uniform networks (all edge capacities are 1)....
Qizhi Fang, Rudolf Fleischer, Jian Li, Xiaoxun Sun
MICCAI
2007
Springer
14 years 10 months ago
Live-Vessel: Extending Livewire for Simultaneous Extraction of Optimal Medial and Boundary Paths in Vascular Images
This paper incorporates multiscale vesselness filtering into the Livewire framework to simultaneously compute optimal medial axes and boundaries in vascular images. To this end, we...
Kelvin Poon, Ghassan Hamarneh, Rafeef Abugharbieh