Sciweavers

664 search results - page 1 / 133
» Some results for a class of generalized polynomials
Sort
View
ADCM
2000
51views more  ADCM 2000»
13 years 10 months ago
Some results for a class of generalized polynomials
Serena Morigi, Marian Neamtu
ICDT
1995
ACM
91views Database» more  ICDT 1995»
14 years 2 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
Ke Wang
JSAT
2008
122views more  JSAT 2008»
13 years 10 months ago
SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
Sriyankar Acharyya
IWOCA
2010
Springer
223views Algorithms» more  IWOCA 2010»
13 years 5 months ago
Parameterized Algorithms for the Independent Set Problem in Some Hereditary Graph Classes
The maximum independent set problem is NP-complete for graphs in general, but becomes solvable in polynomial time when restricted to graphs in many special classes. The problem is ...
Konrad Dabrowski, Vadim V. Lozin, Haiko Mülle...
GECCO
2000
Springer
101views Optimization» more  GECCO 2000»
14 years 2 months ago
Polynomial Time Summary Statistics for Two general Classes of Functions
In previous work we showed, by Walsh analysis, that summary statistics such as mean, variance, skew, and higher order statistics can be computed in polynomial time for embedded la...
Robert B. Heckendorn