Sciweavers

2278 search results - page 114 / 456
» Markov logic networks
Sort
View
ICCD
2004
IEEE
98views Hardware» more  ICCD 2004»
16 years 3 months ago
Coping with The Variability of Combinational Logic Delays
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
ISCAS
1995
IEEE
116views Hardware» more  ISCAS 1995»
15 years 10 months ago
Capabilities and Limitations of Feedforward Neural Networks with Multilevel Neurons
This paper proposes a multilevel logic approach to output coding using multilevel neurons in the output layer. Training convergence for a single multilevel perceptron is considere...
Aleksander Malinowski, Tomasz J. Cholewo, Jacek M....
AGENTS
1997
Springer
15 years 11 months ago
Real-Time Control of Attention and Behavior in a Logical Framework
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
Ian Horswill
AIMS
2007
Springer
16 years 1 months ago
Understanding Promise Theory Using Rewriting Logic
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
Kyrre M. Begnum, Mark Burgess