Filters








36,704 Hits in 10.3 sec

Query answering by means of diagram transformation [chapter]

Jaume Agustí, Jordi Puigsegur, W. Marco Schorlemmer
1998 Lecture Notes in Computer Science  
Acknowledgments We are grateful to Dave Robertson with whom we initiated this work on visual logic programming, and to Hendrik Decker for his helpful comments on previous versions of this paper.  ...  posed queries by means of diagram transformation.  ...  This paper describes the current state of our research on a visual inference system for answering visually posed queries by means of diagram transformations.  ... 
doi:10.1007/bfb0055988 fatcat:pmdeanktanfjtndwuioulxf6k4

Switch lists in the landscape of knowledge representation languages

Ondrej Cepek
2022 Proceedings of the ... International Florida Artificial Intelligence Research Society Conference  
list of switches are stored.  ...  A switch-list representation (SLR) of a Boolean function is a compressed truth table representation of a Boolean function in which only the function value of the first row in the truth table and an ordered  ...  Acknowledgements The authors gratefully acknowledge a support by Czech Science Foundation (Grant 19-19463S) and by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA  ... 
doi:10.32473/flairs.v35i.130700 fatcat:ldrg6y3blna6dbbkxan3ettova

SURVEY ON CONFIDENTIALITY OF THE USER AND QUERY PROCESSING ON SPATIAL NETWORK

V.Srilakshmi .
2015 International Journal of Research in Engineering and Technology  
The user data is protected by applying Hilbert transform over the original values and storing the transformed values in the Hilbert curve.  ...  The k nearest neighbour query verification with location points on Voronoi diagram increases the verification cost on mobile clients.  ...  ACKNOWLEDGEMENTS The success of a work depends on the team and its cooperation. I take this opportunity to express my gratitude and sincere thanks to everyone who helped me in my project.  ... 
doi:10.15623/ijret.2015.0402090 fatcat:q3t3zlujmrfifpq37f3ploajiu

On diverse answers issued from flexible queries [chapter]

Patrick Bosc
1998 Lecture Notes in Computer Science  
Table of Contents of CHR V : A Flexible Query Language 1 Slim Abdennadher, Heribert Schutz Query Answering by Means of Diagram Transformation 15 Jaume Agusti, Jordi Puigsegur, W.  ...  to Modeling and Querying WWW Data 110 Sara Comai, Ernesto Damiani, Roberto Posenato, Letizia Tanca Querying Multimedia Documents by Spatiotemporal Structure 126 Vasilis Delis, Dimitris Papadias Answers  ... 
doi:10.1007/bfb0055991 fatcat:7uvnle7yrnam7mww7ybpjharha

Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions

Fabrizio Riguzzi, Terrance Swift, Marc Herbstritt
2010 International Conference on Logic Programming  
This paper presents the algorithm "Probabilistic Inference with Tabling and Answer subsumption" (PITA) for computing the probability of queries.  ...  Answer subsumption is a feature of tabling that allows the combination of different answers for the same subgoal in the case in which a partial order can be defined over them.  ...  Representing Explanations by Means of Decision Diagrams In order to compute the probability of Boolean expressions over multi-valued variables we can use Multivalued Decision Diagrams [16] .  ... 
doi:10.4230/lipics.iclp.2010.162 dblp:conf/iclp/RiguzziS10 fatcat:ih7ctzjukzab7b5lqhu7bumgcy

Extending the UML concepts to transform natural language queries with fuzzy semantics into SQL

Frank S.C. Tseng, Chun-Ling Chen
2006 Information and Software Technology  
By our approach, users obtain not only the query answers but also the corresponding degree of vagueness, which can be regarded as the same way we are thinking. q  ...  Object Model (SOM) methodology to transform the natural language queries into SQL statements for query executions.  ...  Acknowledgements The authors would like to thank the journal editor and anonymous referees whose valuable comments and suggestions helped to improve the quality of this paper substantially.  ... 
doi:10.1016/j.infsof.2005.12.002 fatcat:a2w57q7hoveuvmnhnsrbbvtbvm

Page 776 of Wireless Age Vol. 4, Issue 10 [page]

1917 Wireless Age  
Queries Answered Answers will be given’ in this department to questions of subscribers, covering the full _ range of wireless subjects, but only those which relate to the technical phases of the art and  ...  Now that amateur stations have been closed by Government order, there is no necessity for answering your last query. ~ + + W.  ... 

JAARBOT

T. Raghavendra Gupta, Karuparthi Jyothsna, Javvaji Ruchitha, Anujaeemnai, Dumpala Amulya
2022 International Journal of Engineering Technology and Management Sciences  
This Chatbot system reduces the department's work by providing the required information to the student or parent. Also, it reduces the workload to keep on answering all the queries.  ...  It chats with the client in a discussion to the input of a human and answers the client. It makes the user think it is chatting with a human being, whereas they are chatting with the computer.  ...  They have got a minimal knowledge base at runtime and have no means to keep track of all the conversations. Chatbots are often known as answer engines.  ... 
doi:10.46647/ijetms.2022.v06i04.0020 fatcat:7fyc4drhjrayfo2agh4eit6nle

An Efficient Algorithm For Privacy In Nearest Neighbourhood Search In Mqmo For Point Clouds

D. Phaltane Anjali, Prof.Vidya Jagtap.
2018 Zenodo  
In order to protect users private information many solutions are offered but most of them only addressed on snapshot query and no support for continual query and Moving Query Moving Object(MQMO). https  ...  LBS provide services to mobile users based on location & data profile of user's hence users private information may get violated.  ...  The verification object is authenticating the query sent by the users. The VO means the Voronoi and it is the region where all the information get stored on the server.  ... 
doi:10.5281/zenodo.1411177 fatcat:y5smvm7uvjam7hge5pcvvs3npe

Constraint logic programming for reasoning about discrete event processes

J.S. Ostroff
1991 The Journal of Logic Programming  
The designer's knowledge about discrete event processes can be represented by a constraint logic program in a fashion that stays close to the mathematical definition of the processes, and can be used to  ...  semiautomate verification of possibly infinite-state systems.  ...  The answer to the query is that each of (Ye, m-chart, and skip is enabled from I,!  ... 
doi:10.1016/0743-1066(91)90028-n fatcat:gogjusnjrrcwxnwmub3wuw5fay

A Visual Traceability Modeling Language [chapter]

Patrick Mäder, Jane Cleland-Huang
2010 Lecture Notes in Computer Science  
In this paper, we propose a usage-centered traceability process that utilizes UML class diagrams to define traceability strategies for a project and then visually represents trace queries as constraints  ...  Unfortunately, development tools provide only limited support for traceability, and as a result users often construct trace queries using generic query languages which require intensive knowledge of the  ...  Acknowledgments This work was partially funded by the National Science Foundation grant #CCF: 0810924.  ... 
doi:10.1007/978-3-642-16145-2_16 fatcat:4a7hdbbu6bfkvhs27vuhjuuwai

Uncertainty for Privacy and 2-Dimensional Range Query Distortion

Spyros Sioutas, Emmanouil Magkos, Ioannis Karydis, Vassilios S. Verykios
2011 Journal of Computing Science and Engineering  
We develop a set of efficient spatio-temporal access methods and we experimentally measure the impact of information distortion by comparing the performance results of the same spatio-temporal range queries  ...  We transform the surface's boundary poly-lines to dual points and we focus on the information distortion introduced by this space translation.  ...  of the simplex query of the Hough-Y partition and perform a filtering step "on the fly", by using the whole motion information; 5: Let B ⊂ H y S be the answer set of dual parameters, which satisfy the  ... 
doi:10.5626/jcse.2011.5.3.210 fatcat:bfr3fiesnzbc3e3dfzdt53s2dy

Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams

Johannes Koskinen, Erkki Mäkinen, Tarja Systä
2002 Acta Cybernetica  
It follows Angluin's framework of minimally adequate teacher to infer the desired statechart diagram with the help of membership and equivalence queries.  ...  MAS can also synthesize sequence diagrams into an edited or manually constructed statechart diagram.  ...  This work was supported by TEKES, Nokia, Metso Automation, Plenware, Sensor Software Consulting, Ebsolr.t, and the Academy of Finland (Project 35025).  ... 
dblp:journals/actaC/KoskinenMS02 fatcat:y4pdvojpsra2pogq4vg6fp2dni

Similarity searching in the CORDIS text database

Euripides G. M. Petrakis, Kostas Tzeras
2000 Software, Practice & Experience  
Our experiments indicate that different field types should be handled by different retrieval methods.  ...  of precision, recall and ranking quality.  ...  Mölle is a professional documentalist with more than 20 years experience in text retrieval who has has provided us with an excellent methodology for the intellectual evaluation of the answer sets.  ... 
doi:10.1002/1097-024x(20001110)30:13<1447::aid-spe344>3.0.co;2-c fatcat:zyvbsywb4zb2dg6p2vz4aa7zkq

Similarity searching in the CORDIS text database

Euripides G. M. Petrakis, Kostas Tzeras
2000 Software, Practice & Experience  
Our experiments indicate that different field types should be handled by different retrieval methods.  ...  of precision, recall and ranking quality.  ...  Mölle is a professional documentalist with more than 20 years experience in text retrieval who has has provided us with an excellent methodology for the intellectual evaluation of the answer sets.  ... 
doi:10.1002/1097-024x(20001110)30:13<1447::aid-spe344>3.3.co;2-3 fatcat:agdotbipzfghnjtrd53tbphpba
« Previous Showing results 1 — 15 out of 36,704 results