145,941 Hits in 3.8 sec

DANTES: An Expert System for Real-Time Network Troubleshooting

Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem
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.  ... 


Mrs. J Gnana Jeslin, Dr. P. Mohan Kumar
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

Makoto Nagao, Jun'ichi Tsujii
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

Jeffrey D. Ullman, Carlo Zaniolo
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

Masanori Arita
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

Stuart C. Shapiro
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]

François Bry
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

René Carré
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

Harshad Joshi, Abhishek Singharoy, Yuriy V. Sereda, Srinath C. Cheluvaraja, Peter J. Ortoleva
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]

Fosca Giannotti, Giuseppe Manco, Franco Turini
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

David E. Rosenberg
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