5372 search results - page 262 / 1075 » complexity 2007 |
COCO
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of counting the number of spanning trees in planar graphs. We prove tight bounds on the complexity of the problem, both in general and especially in the mo...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Most Higher Education institutions are now embracing e-learning to some extent. Some have instigated institution-wide e-learning initiatives, whilst others are engaging in the use ...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...