Sciweavers

52 search results - page 1 / 11
» Using a Feature Algebra for Reasoning about Geometric Featur...
Sort
View
IJCAI
1989
13 years 4 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
KDD
2005
ACM
139views Data Mining» more  KDD 2005»
14 years 4 months ago
Reasoning about sets using redescription mining
Redescription mining is a newly introduced data mining problem that seeks to find subsets of data that afford multiple definitions. It can be viewed as a generalization of associa...
Mohammed Javeed Zaki, Naren Ramakrishnan
ECOOP
2007
Springer
13 years 9 months ago
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
Curtis Clifton, Gary T. Leavens, James Noble
JCB
2006
144views more  JCB 2006»
13 years 3 months ago
Modeling Virus Self-Assembly Pathways: Avoiding Dynamics Using Geometric Constraint Decomposition
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
Meera Sitharam, Mavis Agbandje-Mckenna