6045 search results - page 393 / 1209 » Computable Linearizations of Well-partial-orderings |
170
click to vote
ISSAC
2004
Springer
16 years 1 months ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...
211
click to vote
IPPS
2002
IEEE
16 years 18 days ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
241
click to vote
ECCV
2010
Springer
16 years 23 hour ago
2010
Springer
Sparse coding of sensory data has recently attracted notable attention in research of learning useful features from the unlabeled data. Empirical studies show that mapping the data...
211
click to vote
SIGGRAPH
1999
ACM
15 years 12 months ago
1999
ACM
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...
245
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
To exploit the potential of multicore architectures, recent dense linear algebra libraries have used tile algorithms, which consist in scheduling a Directed Acyclic Graph (DAG) of...