Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
—This paper presents an attraction mechanism and a study of its behavior in noisy spatial IPD games. The attraction mechanism is coupled with a regular IPD strategy to produce th...
Access to the disciplines of science, Technology, Engineering and Mathematics (STEM) for blind and vision impaired people continues to be a problem. The inherently visual nature o...