Sciweavers

4622 search results - page 120 / 925
» Foundations of Information Theory
Sort
View
KES
2008
Springer
14 years 10 months ago
Information Coordination Using Meta-agents in Information Logistics Processes
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
Mats Apelkrans, Anne Håkansson
RSCTC
2000
Springer
111views Fuzzy Logic» more  RSCTC 2000»
15 years 1 months ago
Toward a Perception-Based Theory of Probabilistic Reasoning
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
Lotfi A. Zadeh
ECSQARU
2007
Springer
15 years 2 months ago
Information Affinity: A New Similarity Measure for Possibilistic Uncertain Information
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
Ilyes Jenhani, Nahla Ben Amor, Zied Elouedi, Salem...
CADE
2007
Springer
15 years 10 months ago
Logical Interpretation: Static Program Analysis Using Theorem Proving
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
Ashish Tiwari, Sumit Gulwani
STACS
2009
Springer
15 years 4 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq