Sciweavers

85 search results - page 10 / 17
» Transfer non-metric measures into metric for similarity sear...
Sort
View
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 2 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
73
Voted
KCAP
2005
ACM
15 years 3 months ago
Ontology ranking based on the analysis of concept structures
In view of the need to provide tools to facilitate the reuse of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of...
Harith Alani, Christopher Brewster
ICIP
2003
IEEE
15 years 11 months ago
Generalized pattern matching using orbit decomposition
Image Processing and Computer Vision applications often require finding a particular pattern in a set of images. The task involves finding appearances of a given pattern in an ima...
Yacov Hel-Or, Hagit Hel-Or
CIKM
2008
Springer
14 years 11 months ago
Dynamic faceted search for discovery-driven analysis
We propose a dynamic faceted search system for discoverydriven analysis on data with both textual content and structured attributes. From a keyword query, we want to dynamically s...
Debabrata Dash, Jun Rao, Nimrod Megiddo, Anastasia...
89
Voted
PR
2000
117views more  PR 2000»
14 years 9 months ago
Planar shape recognition by shape morphing
A novel method based on shape morphing is proposed for 2D shape recognition. In this framework, the shape of objects is described by using their contour. Shape recognition involve...
Rahul Singh, Nikolaos Papanikolopoulos