Sciweavers

9532 search results - page 96 / 1907
» Logic, Graphs, and Algorithms
Sort
View
DCG
2002
66views more  DCG 2002»
14 years 11 months ago
Generation of Oriented Matroids - A Graph Theoretical Approach
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
Lukas Finschi, Komei Fukuda
ML
2010
ACM
185views Machine Learning» more  ML 2010»
14 years 6 months ago
Learning to rank on graphs
Graph representations of data are increasingly common. Such representations arise in a variety of applications, including computational biology, social network analysis, web applic...
Shivani Agarwal
CORR
2008
Springer
169views Education» more  CORR 2008»
14 years 11 months ago
Tight Approximation Ratio of a General Greedy Splitting Algorithm for the Minimum k-Way Cut Problem
For an edge-weighted connected undirected graph, the minimum k-way cut problem is to find a subset of edges of minimum total weight whose removal separates the graph into k connect...
Mingyu Xiao, Leizhen Cai, Andrew C. Yao
KR
1992
Springer
15 years 3 months ago
Quantifier Elimination in Second-Order Predicate Logic
An algorithm is presented which eliminates second
Dov M. Gabbay, Hans Jürgen Ohlbach
ESA
2005
Springer
93views Algorithms» more  ESA 2005»
15 years 4 months ago
New Tools and Simpler Algorithms for Branchwidth
Abstract. We provide new tools, such as k-troikas and good subtreerepresentations, that allow us to give fast and simple algorithms computing branchwidth. We show that a graph G ha...
Christophe Paul, Jan Arne Telle