Sciweavers

22 search results - page 5 / 5
» A combinatorial approach to conceptual graph projection chec...
Sort
View
COMPGEOM
2005
ACM
13 years 7 months ago
On the exact computation of the topology of real algebraic curves
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...
Raimund Seidel, Nicola Wolpert
AMAI
1999
Springer
13 years 5 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä