Sciweavers

2278 search results - page 68 / 456
» Markov logic networks
Sort
View
DATE
2010
IEEE
104views Hardware» more  DATE 2010»
15 years 5 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»
15 years 4 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
15 years 6 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
15 years 3 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
15 years 1 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...