Sciweavers

309 search results - page 26 / 62
» Updating Probabilities
Sort
View
INFOCOM
2009
IEEE
14 years 5 months ago
An Evaluation of Weak State Mechanism Design for Indirection in Dynamic Networks
—State signaling and maintenance mechanisms play crucial roles in communication network protocols. State is used to facilitate indirections in protocols such as routing. Design a...
Utku Gunay Acer, Alhussein A. Abouzeid, Shivkumar ...
IJCAI
2007
14 years 11 days ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...
ACRI
2006
Springer
14 years 5 months ago
Directed Percolation Phenomena in Asynchronous Elementary Cellular Automata
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
Nazim Fatès
IROS
2009
IEEE
189views Robotics» more  IROS 2009»
14 years 5 months ago
Moving object detection by multi-view geometric techniques from a single camera mounted robot
— The ability to detect, and track multiple moving objects like person and other robots, is an important prerequisite for mobile robots working in dynamic indoor environments. We...
Abhijit Kundu, Madhava M. Krishna, Jayanthi Sivasw...
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 11 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...