4075 search results - page 8 / 815 » Modeling Distributed Algorithm Using B |
IJKESDP
2010
13 years 6 months ago
2010
Cognitive Agents must be able to decide their actions based on their recognized states. In general, learning mechanisms are equipped for such agents in order to realize intellgent ...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
IJCIS
2006
13 years 9 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
PADS
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we introduce a new concept, network atomic operations (NAOs) to create a zero-cost consistent cut. Using NAOs, we define a wall-clock-time driven GVT algorithm call...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract- Markov Random Field (MRF) modelling techniques have been recently proposed as a novel approach to probabilistic modelling for Estimation of Distribution Algorithms (EDAs)...