Titlebook: Computer Aided Systems Theory – EUROCAST 2005; 10th International C Roberto Moreno Díaz,Franz Pichler,Alexis Quesada A Conference proceedin

类似思想

Ontology Integration for Statistical Informations of researchers in social sciences are considered. Different metadata standards have emerged out of these streams of science. Basic ideas on integration and translation between such different lines of development are given. Hereby principles of ontology engineering play a key role as starting point.

擦掉

On Recursive Functions and Well–Founded Relations in the Calculus of Constructions General Recursion Scheme ([2]) and its relation with Structural Recursion in inductive types are analyzed. As a consequence, a methodology arises which is illustrated with some examples.We use the INRIA’s compiler of the Calculus of Inductive Constructions: . [6].

ensemble

CheapTB: A Low Cost of Operation Distributed Filesystem disks it is now possible to build a cluster to be used as a storage solution. CheapTB is a distributed filesystem for this environment, with an emphasys towards low cost operation rather than performance.

anesthesia

Spelling Correction on Technical Documentsrelevant information for the repair process in order to avoid the phenomenom of errors in cascade. Our approach seems to reach the same quality provided by the most performance classic techniques, but with a significant reduction on both time and space costs.

凶残

释放

Information Retrieval and Large Text Structured Corporapora are very large and include hundreds or thousands of documents which in turn include millions or hundreds of millions of words. Therefore, there is the need to build efficient and flexible IRSs which work with large structured corpora.

periodontitis

On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowinghree frontiers can be distinguished between these two constitutively different types of knowing: (1) The nature of current physical machines (silicon semiconductor crystal) and its organizational restrictions in relation with the biological tissue, which is autonomous, dynamic, tolerant to failures,

语源学

Approximation Problems Categorieso optimization problems. The main aim is to provide a universal language for supporting formalisms to specify the hierarchy approximation system for an abstract NP-hard optimization problem. Categorical shape theory provides the mathematical framework to deal with approximation, enabling comparison

栖息地

Computation of Partial Automata Through Span Compositionpartial graphs . is given and partial automata are constructed from .. With a simple categorical operation, computations of partial automata are given and can be seen as a part of the structure of partial automata.

abracadabra