The authors extend R.B. Boppana's results (1989) in two ways. They first show that his two lower bounds hold for general read-once formulae, not necessarily monotone, that may even include exclusive-or gates. They...
详细信息
The authors extend R.B. Boppana's results (1989) in two ways. They first show that his two lower bounds hold for general read-once formulae, not necessarily monotone, that may even include exclusive-or gates. They are then able to join his two lower bounds together and show that any read-once, not necessarily monotone, formula that amplifies (p-/sup 1///sub n/,p+/sup 1///sub n/) to (2/sup -n/,1-2/sup -n/) has size of at least Omega (n/sup alpha +2/). This result does not follow from Boppana's arguments and it shows that the amount of amplification achieved by L.G. Valiant (1984) is the maximal achievable using read-once formulae.< >
The topics discussed here are network models of object recognition; a computational theory of recognition; psychophysical support for a view-interpolation model: and an open issue, features of recognition. The authors...
详细信息
The topics discussed here are network models of object recognition; a computational theory of recognition; psychophysical support for a view-interpolation model: and an open issue, features of recognition. The authors survey a successful replication of central characteristics of performance in 3-D object recognition by a computational model based on interpolation among a number of stored views of each object. Network models of 3-D object recognition based on interpolation among specific stored views behave in several respects similarly to human observers in a number of recognition tasks. Even closer replication of human performance in recognition should be expected, once the issue of the features used to represent object views is resolved.< >
The SRADS distributed simulation algorithm, which makes use of “active logical processes” as described elsewhere in this proceedings and in Reynolds (1982), was studied on a network of processors. Results of previou...
The SRADS distributed simulation algorithm, which makes use of “active logical processes” as described elsewhere in this proceedings and in Reynolds (1982), was studied on a network of processors. Results of previous experiments (O'Hallaron 1983) indicated that SRADS could be expected to perform very well under a wide range of conditions. Our implementation was designed to study the algorithm for use in distributed logic simulation, and to provide more detailed information about the algorithm itself.
We propose a distributed simulation method which is particularly well suited for the simulation of large synchronous networks. In general, distributed simulation has significant potential for alleviating the time and ...
The impact of the ubiquitous microprocessor is being felt at all levels of education and industry. It is not only changing the technology of production, but altering the basic concepts of the design cycle itself. The ...
详细信息
The language MIDAS (MID-level Assembly) has been developed to combine the efficiency of assembly languages with the structure and readability of high-level languages. MIDAS allows use of the full register set, flag se...
详细信息
The air-fuel mixture requirements for an automobile equipped with a proposed microprocessor-based system for improving automobile fuel economy were analyzed. This system is for acquiring data from an automobile and co...
详细信息
The air-fuel mixture requirements for an automobile equipped with a proposed microprocessor-based system for improving automobile fuel economy were analyzed. This system is for acquiring data from an automobile and controlling fuel flow and spark timing to achieve fuel savings and reduced exhaust emissions. The air-fuel control in this system is adaptive with respect to changing operating conditions. Its cost could be easily offset by savings in automobile fuel and maintenance costs.
暂无评论