Sciweavers

297 search results - page 26 / 60
» Geometric and algebraic combinatorics
Sort
View
CPM
2000
Springer
143views Combinatorics» more  CPM 2000»
14 years 25 days ago
Explaining and Controlling Ambiguity in Dynamic Programming
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
Robert Giegerich
IJCAI
1989
13 years 9 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
FSS
2010
112views more  FSS 2010»
13 years 7 months ago
Fuzzy sets and geometric logic
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
Steven Vickers
VLDB
1987
ACM
106views Database» more  VLDB 1987»
13 years 12 months ago
A Dual Space Representation for Geometric Data
Thie paper presents a representation echeme for polyhedral objects in arbitrary dimensions. Each object ie represented as the algebraic sum of convex polyhedra (cells). Each cell ...
Oliver Günther, Eugene Wong
ISVC
2009
Springer
14 years 3 months ago
Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
Pavel Emeliyanenko, Eric Berberich, Michael Sagral...