Sciweavers

935 search results - page 27 / 187
» Stable models and difference logic
Sort
View
ASUNAM
2009
IEEE
14 years 3 months ago
Models of Communication Dynamics for Simulation of Information Diffusion
—We study information diffusion in real-life and synthetic dynamic networks, using well known threshold and cascade models of diffusion. Our test-bed is the communication network...
Konstantin Mertsalov, Malik Magdon-Ismail, Mark K....
ICCV
1998
IEEE
14 years 10 months ago
Thresholding for Change Detection
Image differencing is used for many applications involving change detection. Although it is usually followed by a thresholding operation to isolate regions of change there are few...
Paul L. Rosin
ICMLA
2010
13 years 6 months ago
Nonlinear Dynamical Multi-Scale Model of Associative Memory
How can we get such reliable behavior from the mind when the brain is made up of such unreliable elements as neurons? We propose that the answer is related to the emergence of stab...
Alexander M. Duda, Stephen E. Levinson
ICALP
2005
Springer
14 years 2 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin
PRICAI
2000
Springer
14 years 6 days ago
Argumentation Semantics for Defeasible Logics
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
Guido Governatori, Michael J. Maher, Grigoris Anto...