Sciweavers

5066 search results - page 424 / 1014
» Spectra of structures and relations
Sort
View
MFCS
2009
Springer
16 years 1 months ago
FO Model Checking on Nested Pushdown Trees
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...
Alexander Kartzow
CRV
2008
IEEE
115views Robotics» more  CRV 2008»
16 years 1 months ago
A Cue to Shading: Elongations near Intensity Maxima
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...
Daria Gipsman, Michael S. Langer
DEXAW
2008
IEEE
131views Database» more  DEXAW 2008»
16 years 1 months ago
FleXplorer: A Framework for Providing Faceted and Dynamic Taxonomy-Based Information Exploration
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...
Yannis Tzitzikas, Nikos Armenatzoglou, Panagiotis ...
132
Voted
CEC
2007
IEEE
16 years 1 months ago
Attraction and cooperation in space
—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...
Elpida Tzafestas
ICALT
2007
IEEE
16 years 1 months ago
Teaching Science subjects to Blind Students
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...
Donal Fitzpatrick