896 search results - page 75 / 180 » On completeness of word reversing |
162
click to vote
CIE
2009
Springer
16 years 27 days 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...
168
click to vote
ESWS
2009
Springer
16 years 27 days 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...
145
click to vote
ECSQARU
2007
Springer
16 years 15 days 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...
118
click to vote
ISCAS
2003
IEEE
15 years 11 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...
161
click to vote
ATS
2000
IEEE
15 years 10 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...