4401 search results - page 214 / 881 » Computing with Default Logic |
138
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
146
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
147
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
120
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract This paper introduces a parallelization of fuzzy logicbased image processing using Graphics Processor Units (GPUs). Using an NVIDIA 8800 Ultra, a 126 time speed improvemen...
137
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...