A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Filters
DANTES: An Expert System for Real-Time Network Troubleshooting
1987
International Joint Conference on Artificial Intelligence
This has implications for the knowledge base organization, reasoning mechanism, and recording of deductions. ...
Network troubleshooting has characteristics, like incomplete data, high rate of events, simultaneous presence of several problems, which raise interesting problems in the development of an expert system ...
We thank Suzanne Gal and for her helpful comments about this paper. ...
dblp:conf/ijcai/MathonetCV87
fatcat:v5llvk5rgbf5xkqcxitnu435za
Page 37 of Journal of Research and Practice in Information Technology Vol. 23, Issue 2
[page]
1991
Journal of Research and Practice in Information Technology
The back-end uses relational technology for efficiency in the management of disk-based data and uses some optimisa- tion algorithms developed specifically for the bottom-up evaluation of logical queries ...
Section 6 surveys other deductive database systems while section 7 outlines some future directions for our project.
2. ...
IMPLEMENTING AN EFFICIENT DATA DEDUPLICATION FRAMEWORK FOR CLOUD STORAGE
2022
Indian Journal of Computer Science and Engineering
However, few studies take into account the problem of storage efficiency. This paper offers a new data deduction system with convergence encryption with blocking level data. ...
The results of experiments demonstrate that the suggested system has an appropriate computational overhead and offers a potential option for data cloud storage and access scenarios in the real world. ...
In order to make the system better for new version data, Next node will also optimize the efficiency of restoration of the new versions by adjusting its physical storage structure with slick container ...
doi:10.21817/indjcse/2022/v13i1/221301046
fatcat:5xrvplu5ejbcbbkjiudxxfgi5a
KWIC (key word in context)
1984
The Journal of Logic Programming
of FGCS [534]New Applications: User and Social Access to PROLOG Database Systems [529] ...
Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation ...
Transformation by Data Structure Mapping [252]Program Transformation by Data [4lO]_nformation System: a Data-drive System for Logic-programming Era is DB Applications [492]Prograph as an Environment for ...
doi:10.1016/0743-1066(84)90025-6
fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm
Mechanism of Deduction in a Question-Answering System with Natural Language Input
1973
International Joint Conference on Artificial Intelligence
We have constructed a deductive question answering system which accepts natural language input in Japanese. ...
As the result the system is very powerful in handling deductive responses. In this paper only the part of the logical deduction is explained in detail. ...
The deduction ability of a system depends on how many theorems the system can use, and on how efficiently it can deal with them. ...
dblp:conf/ijcai/NagaoT73
fatcat:benap6lw5vdgbnxfttoiqyu46y
Deductive databases
1990
SIGMOD record
For example, a VLSI CAD system typically allows the definitions of "cells, ~ which are designs having other SIGMOD ...
In the recent years, Deductive Databases have been the focus of intense research, which has brought dramatic advances in theory, systems and applications. ...
Many of these theoretical contributions had a practical impact: current deductive database systems provide efficient support for stratified negation, which is more powerful than Prolog's negation-by-failure ...
doi:10.1145/122058.122067
fatcat:5r4xfhndfbge5nzq4oqdllwgvu
Automated Metabolic Reconstruction at the Molecular Level
1998
Genome Informatics Series
Dandekar (EMBL Heidelberg) for their continuous help and encouragement. This work is supported by the Research Fellowship of the Japan Society for the Promotion of Science for Young Scientists. ...
The structural matching of graphs is performed by an original efficient algorithm. ...
Enzyme data is different for each bacterium, but there is no laborious data-input process. ...
doi:10.11234/gi1990.9.284
fatcat:xkgljvk4trhz7cxkqrpym3n5ai
A Net Structure for Semantic Information Storage, Deduction and Retrieval
1971
International Joint Conference on Artificial Intelligence
This paper describes a data structure, MENS (MEmory Net Structure), that is useful for storing semantic information stemming from a natural language, and a system, MENTAL (MEmory Net That Answers and Learns ...
MENTAL can be used as a guestion-answering system with formatted input /output, as a vehicle for experimenting with various theories of semantic structures or as the memory management portion of a natural ...
data structures suitable for various contents and purposes. ...
dblp:conf/ijcai/Shapiro71
fatcat:xz4mahaoyvggbdlsm6lyn4dolu
Towards intelligent databases
[chapter]
1993
Lecture Notes in Computer Science
Rules can also be used for mapping complex objects on lower level data structures. ...
There are indeed, for this example, two alternative ways to avoid the undesirable duplication of data using relational data structures. ...
doi:10.1007/3-540-56804-2_12
fatcat:q7ioi4u725fklbxlg4tqiorioa
Dynamic properties of an acoustic tube: Prediction of vowel systems
2009
Speech Communication
From these deductive results a tentative explanation of vowel systems is proposed. ...
This deductive approach (without reference to data on speech production or speech signals) leads to define an acoustic communication system characterized by its acoustic space and by several specific formant ...
In the paper, following this deductive approach and modeling, we set up a simple and efficient acoustic communication system which is an acoustic tube structured into regions. ...
doi:10.1016/j.specom.2008.05.015
fatcat:ihk7vi453zhefpqtyh4ep2hch4
Page 450 of Mathematical Reviews Vol. 44, Issue 2
[page]
1972
Mathematical Reviews
deduction mechanism which matches well data- base representations that can be efficiently handled in
systems with large structured data bases. ...
The data consist of a set of objects U, and for each ue U a “property structure’ in the form of a set of pairs {Rv\uRv}, where R is a binary relation, and ve U. ...
Multiscale simulation of microbe structure and dynamics
2011
Progress in Biophysics and Molecular Biology
It also provides framework for using coarse-grained nanocharacterization data to guide microbial simulation. ...
Systems used to demonstrate the approach are structural transitions in the cowpea chlorotic mosaic virus, RNA of satellite tobacco mosaic virus, virus-like particles related to human papillomavirus, and ...
Research in Chemistry program), National Institute of Health (NIBIB), Department Of Energy (office of basic science), METAcyt, and the Indiana University College of Arts and Sciences through the Center for ...
doi:10.1016/j.pbiomolbio.2011.07.006
pmid:21802438
pmcid:PMC3383072
fatcat:yme6l4odzzfgjbuscf3dcdvpla
Page 57 of Journal of Research and Practice in Information Technology Vol. 15, Issue 2
[page]
1983
Journal of Research and Practice in Information Technology
First order logic can be used as a foundation for prac- tical deductive database systems. ...
from the theory of file structures. ...
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study
[chapter]
2001
Lecture Notes in Computer Science
In our framework domain knowledge is represented by deductive rules, and data mining algorithms are constructed by means of iterative userdefined aggregates. ...
We present a way of exploiting domain knowledge in the design and implementation of data mining algorithms, with special attention to frequent patterns discovery, within a deductive framework. ...
of the search space, and from the exploitation of efficient data structures. ...
doi:10.1007/3-540-44794-6_11
fatcat:cxyyqyanw5eurj2ylg4sem6hai
Residential Water Demand under Alternative Rate Structures: Simulation Approach
2010
Journal of water resources planning and management
This paper applies an existing deductive model of residential water use 11 for the intermittent supply system in Amman, Jordan and simulates demand responses 12 across a cross-section of households over ...
They also illustrate tradeoffs among rate structures and rate structure 20 components for key rate setting objectives such as to encourage water conservation, 21 recover costs, promote efficiency and more ...
recovery, economic efficiency, and water use for 411 different simulated rate structures and price schedules. ...
doi:10.1061/(asce)wr.1943-5452.0000046
fatcat:mjeybocd5fd4zic7gqbioero54
« Previous
Showing results 1 — 15 out of 145,941 results