1486 search results - page 201 / 298 » Mathematical Fuzzy Logics |
147
click to vote
PAA
2006
15 years 6 months ago
2006
Literature is one of the most significant forms of human culture. It represents a high level of intellectual activity. Humans write, read, and enjoy poems in different cultures. Th...
253
click to vote
DPHOTO
2009
15 years 4 months ago
2009
In this paper we present a technique which infers interframe motion by tracking SIFT features through consecutive frames: feature points are detected and their stability is evalua...
196
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
153
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
151
click to vote
ITP
2010
15 years 10 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...