Results 201 to 210 of about 45,170 (264)
Some of the next articles are maybe not open access.

Related searches:

Construction Machines

The book Construction Machines shows the theory and design of these machines. This book provides knowledge to professional on how to model, calculate and design machines for construction operations. Carrying out construction works is unthinkable without construction machines.
Muck, Draško, Mikulić, Dinko
exaly   +2 more sources

Design constructs of a knowledge machine

2010 IEEE International Conference on Systems, Man and Cybernetics, 2010
Knowledge machines hold the promise of the next generation computers. These new machines span the domain of information and enter the realm of knowledge. From a philosophic perspective, the processing of information gives rise to knowledge. Knowledge endures longer than information. Transitions and ripples in the information domain are frequent and can
Syed Vickar Ahamed   +2 more
openaire   +1 more source

Constructive machine translation evaluation

Machine Translation, 1993
When surveying the many methods currently employed in MT evaluation,1 it is not immediately obvious that the methods used serve to increase the knowledge of the properties being measured. This report describes aconstructive machine translation evaluation method, aimed at addressing this issue ...
openaire   +1 more source

A Simply Constructed Adding Machine

The Mathematical Gazette, 1952
Statistics is now obtaining a foothold in the curricula of some sixth forms in schools, and with its introduction as an option into parts of the General Certificate of Education, it is likely to be taught more in the future. One of the great difficulties which is being encountered is the amount of computation necessary in even the simplest applications
openaire   +2 more sources

Machine-Assisted Program Construction and Modification

1989
In this paper we present two calculi, one for the construction of programs in the spirit of Martin-Lof, and the other for the verification of program transformations. Both are derived from a general axiomatization of Dynamic Logic and thus provide a unifying framework suitable for combining the derivation, modification and verification of programs.
Heisel, Maritta   +2 more
openaire   +2 more sources

Experimental construction of an element of thinking machine

Kybernetik, 1962
The construction of an element of thinking machine is described, as studied by E. R. Caianiello, in analogy with brain functions.
Piero Mazzetti   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy