338 search results - page 9 / 68 » What is Input Output Logic |
125
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— 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...
148
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
162
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
169
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
178
click to vote
C5
2004
IEEE
15 years 9 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...