3105 search results - page 443 / 621 » The Path-Packing Structure of Graphs |
129
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
115
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: We examine the accuracy of enzyme catalytic residue predictions from a network representation of protein structure. In this model, amino acid α-carbons specify vertic...
137
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
We present Subversion Statistics Sifter, a visualisation and statistics system for exploring the structure and evolution of data contained in Subversion repositories with respect t...
115
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The Dichotomy Conjecture for Constraint Satisfaction Problems has been verified for conservative problems (or, equivalently, for list homomorphism problems) by Andrei Bulatov. An ...
146
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Increasingly huge RDF data sets are being published on the Web. Currently, they use different syntaxes of RDF, contain high levels of redundancy and have a plain indivisi...