4370 search results - page 702 / 874 » Algebra of Logic Programming |
124
Voted
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
124
Voted
SC
2005
ACM
15 years 9 months ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
136
Voted
CASC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
140
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
132
Voted
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...