Sciweavers

845 search results - page 15 / 169
» Connecting Many-Sorted Theories
Sort
View
FSKD
2011
Springer
313views Fuzzy Logic» more  FSKD 2011»
12 years 8 months ago
Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
Slobodan Ribaric, Darijan Marcetic, Zongmin Ma
JMLR
2012
11 years 11 months ago
Detecting Network Cliques with Radon Basis Pursuit
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
Xiaoye Jiang, Yuan Yao, Han Liu, Leonidas J. Guiba...
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
14 years 2 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni
COMBINATORICS
2004
74views more  COMBINATORICS 2004»
13 years 8 months ago
Enumerative Problems Inspired by Mayer's Theory of Cluster Integrals
The basic functional equations for connected and 2-connnected graphs can be traced back to the statistical physicists Mayer and Husimi. They play an essential role in establishing...
Pierre Leroux
CDC
2010
IEEE
272views Control Systems» more  CDC 2010»
13 years 3 months ago
Node capture attacks in wireless sensor networks: A system theoretic approach
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
Tamara Bonaci, Linda Bushnell, Radha Poovendran