Sciweavers

2291 search results - page 15 / 459
» Representational Reasoning and Verification
Sort
View
126
Voted
EWCBR
1994
Springer
15 years 8 months ago
A CBR Knowledge Representation for Practical Ethics
Kevin D. Ashley, Bruce M. McLaren
GIS
2007
ACM
15 years 4 months ago
Towards a general theory of geographic representation in GIS
Michael F. Goodchild, May Yuan, Thomas J. Cova
CSL
2011
Springer
14 years 11 months ago
Geometric representations of language taxonomies
Ph. Blanchard, Filippo Petroni, Maurizio Serva, D....
122
Voted
CADE
2005
Springer
16 years 4 months ago
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...
CVPR
2004
IEEE
16 years 6 months ago
A GMM Parts Based Face Representation for Improved Verification through Relevance Adaptation
Motivated by the success of parts based representations in face detection we have attempted to address some of the problems associated with applying such a philosophy to the task ...
Simon Lucey, Tsuhan Chen