896 search results - page 75 / 180 » On completeness of word reversing |
104
Voted
CIE
2009
Springer
15 years 7 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...
102
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
85
Voted
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
58
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Various implementations are known for the efficient implementation of adders. As opposed to traditional optimization techniques a statistical approach using early termination det...
100
Voted
ATS
2000
IEEE
15 years 5 months ago
2000
IEEE
: In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and the resulting electrical faults are transformed i...