Sciweavers

1253 search results - page 204 / 251
» order 2000
Sort
View
JACM
2000
119views more  JACM 2000»
15 years 5 months ago
A subdivision-based algorithm for the sparse resultant
Multivariate resultants generalize the Sylvester resultant of two polynomials and characterize the solvability of a polynomial system. They also reduce the computation of all comm...
John F. Canny, Ioannis Z. Emiris
146
Voted
JAR
2000
129views more  JAR 2000»
15 years 5 months ago
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. ...
158
Voted
JNSM
2000
136views more  JNSM 2000»
15 years 5 months ago
Active Management Framework for Distributed Multimedia Systems
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
Ehab S. Al-Shaer
JUCS
2000
76views more  JUCS 2000»
15 years 5 months ago
Mixed Relations as Enriched Semiringal Categories
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
ML
2000
ACM
244views Machine Learning» more  ML 2000»
15 years 5 months ago
Learnable Evolution Model: Evolutionary Processes Guided by Machine Learning
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
Ryszard S. Michalski