Sciweavers

2278 search results - page 68 / 456
» Markov logic networks
Sort
View
DATE
2010
IEEE
104views Hardware» more  DATE 2010»
14 years 3 months ago
Large-scale Boolean matching
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
Hadi Katebi, Igor L. Markov
ICCAD
2000
IEEE
113views Hardware» more  ICCAD 2000»
14 years 2 months ago
Don't Cares and Multi-Valued Logic Network Minimization
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...
Yunjian Jiang, Robert K. Brayton
TGC
2007
Springer
14 years 4 months ago
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
Luigi Liquori, Michel Cosnard
CMSB
2006
Springer
14 years 1 months ago
Regulatory Network Reconstruction Using Stochastic Logical Networks
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
Bartek Wilczynski, Jerzy Tiuryn
HPN
1998
13 years 11 months ago
Service Logic Mobility over Intelligent Broadband Networks
The concept of Intelligent Networks (IN) provides a convenient and future safe
Charalampos Z. Patrikakis, Spyros E. Polykalas, Ia...