1486 search results - page 265 / 298 » Mathematical Fuzzy Logics |
TPLP
2002
14 years 11 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
106
click to vote
IFIPTCS
2010
14 years 9 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
IRFC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
102
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...