1342 search results - page 6 / 269 » Shape reasoning and understanding |
CSCW
2002
ACM
14 years 9 months ago
2002
ACM
This paper reports findings from a study of how a guidebook was used by pairs of visitors touring a historic house. We describe how the guidebook was incorporated into their visit...
JMIV
2008
14 years 9 months ago
2008
Abstract Shape elongation is one of the basic shape descriptors that has a very clear intuitive meaning. That is the reason for its applicability in many shape classification tasks...
CSL
2006
Springer
14 years 9 months ago
2006
Springer
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...