455 search results - page 74 / 91 » Understanding Counterexamples with explain |
108
click to vote
HCI
2009
14 years 9 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...
90
Voted
ICMLA
2009
14 years 8 months ago
2009
Abstract--This paper presents a novel and domainindependent approach for graph-based structure learning. The approach is based on solving the Maximum Common SubgraphIsomorphism pro...
102
click to vote
ENTCS
2011
14 years 6 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
CGF
2011
14 years 2 months ago
2011
Resizing to a lower resolution can alter the appearance of an image. In particular, downsampling an image causes blurred regions to appear sharper. It is useful at times to create...
CHI
2011
ACM
14 years 2 months ago
2011
ACM
Readers on the Web often skim through text to cope with the volume of available information. In a previous study [11] readers’ eye movements were tracked as they skimmed through...