Sebanyak 915 item atau buku ditemukan

Instant UML

Provides an introduction to the object modeling approach and instructs users, especially C++++, VB, and Java programmers, on the uses and notations of UML, focusing on user requirements, analysis, and definition. Original. (Intermediate)

Provides an introduction to the object modeling approach and instructs users, especially C++++, VB, and Java programmers, on the uses and notations of UML, focusing on user requirements, analysis, and definition. Original. (Intermediate)

Structures in Logic and Computer Science

A Selection of Essays in Honor of A. Ehrenfeucht

The book summarises contemporary knowledge about the theory of atomic and molecular clusters. New results are discussed on a high theoretical level. Access to this field of research is given by an explanation of the various subjects in introductory chapters.

They also gave an O(n log n) time algorithm to find all maximal quasiperiodic
substrings within a given string. Apostolico, Farach and Iliopoulos [4] gave an O(n
) time algorithm that finds the quasiperiod of a given string, namely the shortest
string that covers the string in question. This algorithm was subsequently
simplified and improved by Breslauer [9] who gave an O(n) time on-line algorithm
, and parallelized by Breslauer [10] and Iliopoulos and Park [19], the latter giving
an ...

Foundations of Inductive Logic Programming

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volume. Materials and methods of the digital image analysis and mathematical modeling of hyphal elongation, branching and pellet formation as well as their application to various fungi and actinomycetes during the production of antibiotics and enzymes are presented.

Thus, clearly, finding out which formulas <j> are logical consequences of some
set of formulas E is crucial to many areas of artificial intelligence, including
inductive logic programming. Accordingly, we would like to have a procedure, an
algorithm, which could find out whether or not E (= 4> is the case. What is an
algorithm? We will only give an informal explanantion here, referring to [HU79,
CLR90] for the more formal details. Intuitively, an algorithm is a procedure, a
specific sequence ...