Technology evaluation in the electronics field leads to great development of Wireless Sensor Networks (WSN) for a variety applications. The sensor nodes are deployed hazardous environments, and they operated by isolated battery sources. Network connectivity is purely based on power availability, which impacts network lifetime. Hence, must be used wisely prolong that fail due have detect quickly...

We present a theory for slicing probabilistic imperative programs —containing random assignment and “observe” statements— represented as control flow graphs whose nodes transform probability distributions. We show that such a representation allows direct adaptation of standard machinery such as data and control dependence, postdominators, relevant variables, etc. to the probabilistic setting. W...

This paper develops the probabilistic version of cascade algorithm, specifically, Probabilistic AdaBoost Cascade (PABC). The proposed PABC algorithm is further employed to learn the association potential in the Discriminative Random Fields (DRF) model, resulting the Probabilistic Cascade Random Fields (PCRF) model. PCRF model enjoys the advantage of incorporating far more informative features t...

We propose a novel fault/error model based on a graphical probabilistic framework. We arrive at the Logic Induced Fault Encoded Directed Acyclic Graph (LIFE-DAG) that is proven to be a Bayesian network, capturing all spatial dependencies induced by the circuit logic. Bayesian Networks are the minimal and exact representation of the joint probability distribution of the underlying probabilistic ...

Security plays an important role in the ability to deploy and retrieve trustworthy data from a wireless sensor network. Location verification is an effective defense against attacks which take advantage of a lack, or compromise, of location information. In this work, a secure probabilistic location verification method for randomly deployed dense sensor networks is proposed. The proposed Probabi...

One of the recent advancements in electrical power systems is smart-grid technology. For effective functioning smart grid, process like monitoring and controlling have to be given importance. In this paper, Wireless Sensor Network (WSN) utilized for tracking grid applications. The used produce electricity it connected with sensor transmit or receive data. data transmitted quickly by using Proba...

Security plays an important role in the ability to deploy and retrieve trustworthy data from a wireless sensor network. Location verification is an effective defense against attacks which take advantage of a lack, or compromise, of location information. In this work, a secure probabilistic location verification method for randomly deployed dense sensor networks is proposed. The proposed Probabi...

Recent work has begun exploring the value of domain abstractions in Monte-Carlo Tree Search (MCTS) algorithms for probabilistic planning. These algorithms automatically aggregate symmetric search nodes (states or state-action pairs) saving valuable planning time. Existing algorithms alternate between two phases: (1) abstraction computation for computing node aggregations, and (2) modified MCTS ...

This paper proposes the application of discriminative training techniques based on the Generalized Probabilistic Descent (GPD) approach to Stochastic Markov Graphs (SMGs), a generalization of mixture-state Hidden Markov Models (HMMs), describing the constraints in the acoustic structure of speech as a graph consisting of nodes, each containing a base function, and a transition network between t...

There is growing evidence that neural circuits may employ statistical algorithms for inference and learning. Many such algorithms can be derived from independence diagrams (graphical models) showing causal relationships between random variables. A general algorithm for inference in graphical models is belief propagation, where nodes in a graphical model determine values for random variables by ...