4961 search results - page 323 / 993 » Homomorphism-Homogeneous Relational Structures |
120
click to vote
ARITH
2009
IEEE
15 years 11 months ago
2009
IEEE
Late 2008, at SCAN 2008 in El Paso, TX, an effort to standardize interval computations was started by a working group of the IEEE Microprocessor Standards Committee, titled the In...
140
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
120
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
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...
116
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
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...
124
click to vote
DEXAW
2008
IEEE
15 years 11 months ago
2008
IEEE
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...