Sciweavers

4218 search results - page 198 / 844
» Complete sets of cooperations
Sort
View
ALGORITHMICA
2010
147views more  ALGORITHMICA 2010»
13 years 11 months ago
Note on the Structure of Kruskal's Algorithm
We study the merging process when Kruskal's algorithm is run with random graphs as inputs. Our aim is to analyze this process when the underlying graph is the complete graph ...
Nicolas Broutin, Luc Devroye, Erin McLeish
CORR
2010
Springer
68views Education» more  CORR 2010»
13 years 11 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
DM
2006
107views more  DM 2006»
13 years 10 months ago
On a new reformulation of Hadwiger's conjecture
Assuming that every proper minor closed class of graphs contains a maximum with respect to the homomorphism order, we prove that such a maximum must be homomorphically equivalent ...
Reza Naserasr, Yared Nigussie
JSYML
2010
95views more  JSYML 2010»
13 years 5 months ago
Some natural decision problems in automatic graphs
For automatic and recursive graphs, we investigate the following problems: (A) existence of a Hamiltonian path and existence of an infinite path in a tree (B) existence of an Euler...
Dietrich Kuske, Markus Lohrey
ITCC
2003
IEEE
14 years 4 months ago
A New Quality of Service Metric for Hard/Soft Real-Time Applications
Real-time applications often have mixed hard and soft deadlines, can be preempted subject to the cost of context switching or the restart of computation, and have various data dep...
Shaoxiong Hua, Gang Qu