1169 search results - page 117 / 234 » Degrees of monotone complexity |
110
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
94
Voted
SSS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
113
click to vote
WDAG
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The distributed complexity of computing a maximal independent set in a graph is of both practical and theoretical importance. While there exists an elegant O(log n) time ...
105
Voted
ECML
2004
Springer
15 years 6 months ago
2004
Springer
Regression methods aim at inducing models of numeric data. While most state-of-the-art machine learning methods for regression focus on inducing piecewise regression models (regres...
71
Voted
ICCSA
2004
Springer
15 years 6 months ago
2004
Springer
We report results for the in-silico screening of a database of 10000 flexible compounds against various crystal structures of the thymidine kinase receptor complexed with 10 know...