Filters








843 Hits in 1.8 sec

The Pan language-based editing system

Robert A. Ballance, Susan L. Graham, Michael L. Van de Vanter
1992 ACM Transactions on Software Engineering and Methodology  
This paper surveys the design and engineering of Pan, paying particular attention to a number of issues that pervade the system: incremental checking and analysis, information retention in the presence  ...  Pan is a language-based editing and browsing system that exhibits these characteristics.  ...  The general evaluation strategy is to compile the rules of the description into PROLOG rules and the resulting single equation to be proved into a PROLOG goal, Natural semantics  ... 
doi:10.1145/125489.122804 fatcat:lj5r6qw27vb6rncjzb5dum52qa

The Pan language-based editing system for integrated development

Robert A. Ballance, Susan L. Graham, Michael L. VanDe Vanter
1990 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments - SDE 4  
The Pan sys-Powerful editing systems for developing complex software documents are difficult to engineer.  ...  This paper surveys the design and engineering of Pan, paying particular attention to a number of issues that pervade the system: incremental checking and analysis, information retention in the presence  ...  This paper reviews the goals and early desig:n decisions for Pan and surveys the implementation of the Pan I prototype.  ... 
doi:10.1145/99277.99286 dblp:conf/sde/BallanceGV90 fatcat:33xezeyoa5d2bhljhyo2ui5dri

An Abductive CQA Based Matchmaking System for Finding Renting Houses [chapter]

Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan, Che Qiu
2012 Lecture Notes in Computer Science  
This demo will guide users to find suitable renting houses using this matchmaking system and show the advantages of the system.  ...  A matchmaking system for finding renting houses is required as the housing problem becomes serious in China and many people resort to rent a house.  ...  the back-end ontology and the parameters k, S A and S C to a Prolog program and load it into a Prolog engine.  ... 
doi:10.1007/978-3-642-29923-0_29 fatcat:5ag6eor3x5gtjapd3o6u5kydmi

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective [article]

Wen Zhang, Jiaoyan Chen, Juan Li, Zezhong Xu, Jeff Z. Pan, Huajun Chen
2022 arXiv   pre-print
A promising direction is to integrate both logic-based and embedding-based methods, with the vision to have advantages of both.  ...  We first briefly introduce preliminaries, then systematically categorize and discuss works of logic and embedding-aware KG reasoning from different perspectives, and finally conclude and discuss the challenges  ...  Section 5 analyzes the challenges and discusses the future directions.  ... 
arXiv:2202.07412v1 fatcat:ou6ioak6affevo4e6sz2mebbvm

Vehicle Trajectory Prediction by Knowledge-Driven LSTM Network in Urban Environments

Shaobo Wang, Pan Zhao, Biao Yu, Weixin Huang, Huawei Liang, Kun Wang
2020 Journal of Advanced Transportation  
Finally, the future trajectory of the target vehicle is predicted by an LSTM neural network based on the prediction reference baseline, while the predicted trajectory considers both posterior and prior  ...  The experimental results show that the proposed trajectory prediction model can adapt to different driving scenarios and predict trajectories with high accuracy due to the unique combination of the prior  ...  Acknowledgments e authors gratefully acknowledge the help of the team members, whose contributions were essential for the development of the intelligent vehicle. e authors would also like to thank the  ... 
doi:10.1155/2020/8894060 fatcat:65l2g3gzije25ostovl53pxoby

PEMBERITAAN VIRUS CORONA DI TV ONE DAN KOMPAS TV (Analisis FramingZhongdang Pan dan Gerald M.Kosicki)

Mochamad Syaefudin, Ana Humardhiana
2020 Orasi  
Using the Zhongdang Pan and Gerald M.  ...  Kosicki's Framing Analysis approach, identification of the use of television for public interest was classified by analyzing four major framing structures namely syntactical, script, thematic, and rhetorical  ...  Pan and Gerald M.  ... 
doi:10.24235/orasi.v11i1.6291 fatcat:qlnv2c47ena7xcqavlzjbb6may

A Scenario-Adaptive Driving Behavior Prediction Approach to Urban Autonomous Driving

Xinli Geng, Huawei Liang, Biao Yu, Pan Zhao, Liuwei He, Rulin Huang
2017 Applied Sciences  
In order to predict surrounding vehicles' driving behavior, AVs should monitor the variation in the target vehicle's movement and understand the current scenario from the view of the target vehicle.  ...  Based on the literature review and the comparison of existing methods, the main objects of this study are summarized as:  ...  Acknowledgments: The authors gratefully acknowledge the help of our team members, whose contributions were essential for the development of the intelligent vehicle.  ... 
doi:10.3390/app7040426 fatcat:xvtl44jrbvh7tfdlw7qlpwkn6u

A dynamic task distribution and engine allocation strategy for distributed execution of logic programs [chapter]

George Xirogiannis, Hamish Taylor
1998 Lecture Notes in Computer Science  
Several experimental results illustrate the performance of the model.  ...  It consists of a dynamic hierarchy of distributed scheduling components able to adapt to program characteristics and the platform con guration and to control the considerable communication costs while  ...  Section 3 discusses the scheduling scheme used in PAN, presents the scheduling mechanism and analyzes its characteristics.  ... 
doi:10.1007/bfb0037156 fatcat:unr4dzryqncmzacbtw7sivw55u

First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)

Fernando Silva Parreiras, Jeff Z Pan, Uwe Assmann, Jakob Herinksson
2009 SIGMOD record  
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Driven Engineering Languages  ...  and Systems (MoD-ELS2008), brought together researchers and practitioners from the modeling community with experience or interest in MDE and in Knowledge Representation to discuss about: (1) how the scientific  ...  Section 3 analyzes open questions and summarizes the discussions handled at the end of the workshop.  ... 
doi:10.1145/1519103.1519128 fatcat:sfb5o3aqhvhorj7sjpi6x75lz4

Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report [chapter]

Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
2005 Lecture Notes in Computer Science  
We detail the implementation of the main components of the system.  ...  can be applied in the building of the ΦLOG system.  ...  Furthermore, the DAML-S parser and analyzer are being developed and updated by the DAML coalition.  ... 
doi:10.1007/11493402_6 fatcat:y7aet6anabdgxcu5xzibulv7s4

First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008) [chapter]

Fernando Silva Parreiras, Jeff Z. Pan, Uwe Assmann, Jakob Henriksson
2009 Lecture Notes in Computer Science  
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Driven Engineering Languages  ...  and Systems (MoD-ELS2008), brought together researchers and practitioners from the modeling community with experience or interest in MDE and in Knowledge Representation to discuss about: (1) how the scientific  ...  Section 3 analyzes open questions and summarizes the discussions handled at the end of the workshop.  ... 
doi:10.1007/978-3-642-01648-6_33 fatcat:rmg6vlwl5vekdhtyozkrvgw45q

Page 30 of Private Practice Vol. 18, Issue 8 [page]

1986 Private Practice  
being used, the length of time it has been administered, and the dosage involved Usage with Alcohol: ham ret cles he pan, mom Apapemet danger inherent in any intentional or unintentional SINEQUAN overdosage  ...  It differs from traditional pro- gramming languages, such as BASIC, FORTRAN and PASCAL, since it is more closely related to the English language and to the way physicians think and analyze problems.  ... 

Source Code Verification for Embedded Systems using Prolog

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
2017 Electronic Proceedings in Theoretical Computer Science  
A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog.  ...  In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog.  ...  Ballance, Graham and Van De Vanter present Pan [1] , an integrated development environment, which allows to analyze source code loaded by its editor.  ... 
doi:10.4204/eptcs.234.7 fatcat:pn3fcl7xqbgo5jati2koabmcii

Page 3356 of Mathematical Reviews Vol. , Issue 91F [page]

1991 Mathematical Reviews  
The results of this and other papers show that the fastest analyzed algorithm for random satisfiability problems depends on the parameters of the distribution.  ...  Summary: “An abstract language @ embodying the flow of control component of PROLOG including the cut operator is considered.  ... 

An Open Framework for Semantic Code Queries on Heterogeneous Repositories

Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li
2015 2015 International Symposium on Theoretical Aspects of Software Engineering  
The efficiency of the framework has been evaluated to support several open-source hosting platforms.  ...  the repositories, or on indexed identifiers and method signatures.  ...  At the same time, a schema of the nested structure of the JSON data is derived by analyzing the TXL grammar.  ... 
doi:10.1109/tase.2015.27 dblp:conf/tase/ZhangPZYL15 fatcat:nvg3q6lqnzem3m5nlhqnttsuy4
« Previous Showing results 1 — 15 out of 843 results