673 search results - page 59 / 135 » Approximate coherence-based reasoning |
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
104
click to vote
FSS
2008
14 years 12 months ago
2008
In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzz...
TCOM
2010
14 years 6 months ago
2010
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
103
click to vote
ICML
2004
IEEE
16 years 20 days ago
2004
IEEE
Markov networks are extensively used to model complex sequential, spatial, and relational interactions in fields as diverse as image processing, natural language analysis, and bio...
199
click to vote
ICLP
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...