This paper describes the techniques used to dynamically generate personalized Web catalog pages in a prototype toolkit for the creation of adaptive Web stores. We focus on the integration of personaliza-tion strategies for selecting the layout and content of the catalog pages, with Natural Language Generation techniques, used to dynamically produce the descriptions of products, tailored to the ...

This paper addresses eecient parsing in the context of logical inference for the purpose of using logic programming languages in compiler writing. A bottom-up, deterministic parsing mechanism is formulated for \bounded right context" grammars, a subclass of LR(k) grammars with characteristics amenable to declarative parser speciica-tion. A working parser generator for a logic programming langua...

Various languages have tried to allow useful tools and solutions to concurrent programming, Alice ML is one of these. Alice ML uses futures and promises to help solve the problem of data synchronisa-tion and concurrency. This report explains how these features work, displays a detailed example, performs comparisons to other language solutions and presents related work in this area.

The role of automatic formal protocol veriica-tion in hardware design is considered. Principles are identiied that maximize the beneets of protocol veriication while minimizing the labor and computation required. A new protocol description language and veriier (both called Mur') are described , along with experiences in applying them to two industrial protocols that were developed as part of ha...

User interface design issues are discussed for large interactive system The assumptions about the user environment are explicitly described Issues discussed include command language syntax command recogni tion and completion subsystem organization user ex tension capabilities user options and various forms of prompting help and feedback These issues are discussed within the context of an existi...

This paper describes an approach to actively acquire a language computational model. The purpose of this acquisition is rapid development of NLP systems. The model is created with the syntax module of the Boas knowledge elicitation system for a quick ramp up of a standard transfer-based machine transla tion system from L into English.

Deep learning models have achieved tremendous successes in accurate predictions for computer vision, natural language processing and speech recognition applications. However, to succeed high-risk safety-critical domains such as healthcare finance, these deep need be made reliable trustworthy. Specifically, they robust adaptive real-world environments which can drastically different from the tra...

This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in ARCH-COMP Friendly Competition 2021. The characteristic features of HSTP cate- gory remain as previous editions [MST+18, MST+19, MMJ+20], it focuses flexi- bility programming languages structuring principles for hybrid systems, unambiguity and precision program semantics, mathematical rigor logical reasoning principles....

background: the intraperitoneal injection is a common method for establishing the experimental animal model infected with parasites. the aim of this study was to investigate if the intraperitoneal injection was another route of trichinella spiralis infection. methods:  from june to july 2015, twenty balb/c mice were intraperitoneally injected with 300 t. spiralis muscle larvae in department of ...