English
Related papers

Related papers: GNOLL: Efficient Software for Real-World Dice Nota…

200 papers

This works aims to design a statistical machine translation from English text to American Sign Language (ASL). The system is based on Moses tool with some modifications and the results are synthesized through a 3D avatar for interpretation.…

Computation and Language · Computer Science 2011-12-02 Achraf Othman , Mohamed Jemni

In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical developments on transformations between rules and description…

Artificial Intelligence · Computer Science 2018-08-31 Md. Kamruzzaman Sarker , David Carral , Adila A. Krisnadhi , Pascal Hitzler

Veryl, a hardware description language based on SystemVerilog, offers optimized syntax tailored for logic design, ensuring synthesizability and simplifying common constructs. It prioritizes interoperability with SystemVerilog, allowing for…

Hardware Architecture · Computer Science 2024-11-21 Naoya Hatta , Taichi Ishitani , Ryota Shioya

This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented functional language, generally used to transform XML documents…

Neural and Evolutionary Computing · Computer Science 2008-03-14 Pablo Garcia-Sanchez , J. L. J. Laredo , J. P. Sevilla , Pedro Castillo , J. J. Merelo

In-Context Learning (ICL) has been shown to be a powerful technique to augment the capabilities of LLMs for a diverse range of tasks. This work proposes \ourtool, a novel way to generate context using guidance from graph neural networks…

Embedding-based collaborative filtering, often coupled with nearest neighbor search, is widely deployed in large-scale recommender systems for personalized content selection. Modern systems leverage multiple implicit feedback signals (e.g.,…

Information Retrieval · Computer Science 2025-05-29 Zhongjin Zhang , Yu Liang , Cong Fu , Yuxuan Zhu , Kun Wang , Yabo Ni , Anxiang Zeng , Jiazhi Xia

This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate…

Programming Languages · Computer Science 2013-09-23 Julien Mercadal , Zoé Drey , Charles Consel

CalcuList (Calculator with List manipulation), is an educational language for teaching functional programming extended with some imperative and side-effect features, which are enabled under explicit request by the programmer. In addition to…

Programming Languages · Computer Science 2018-02-20 Domenico Sacca' , Angelo Furfaro

With the advent of Transformers, large language models (LLMs) have saturated well-known NLP benchmarks and leaderboards with high aggregate performance. However, many times these models systematically fail on tail data or rare groups not…

Computation and Language · Computer Science 2022-10-13 Nazneen Rajani , Weixin Liang , Lingjiao Chen , Meg Mitchell , James Zou

Large language models (LLMs) have achieved impressive performance on various reasoning tasks. To further improve the performance, we propose MultiTool-CoT, a novel framework that leverages chain-of-thought (CoT) prompting to incorporate…

Computation and Language · Computer Science 2023-05-29 Tatsuro Inaba , Hirokazu Kiyomaru , Fei Cheng , Sadao Kurohashi

Optimization problems seek to find the best solution to an objective under a set of constraints, and have been widely investigated in real-world applications. Modeling and solving optimization problems in a specific domain typically require…

Optimization and Control · Mathematics 2024-07-12 Jihai Zhang , Wei Wang , Siyan Guo , Li Wang , Fangquan Lin , Cheng Yang , Wotao Yin

Astronomers are increasingly using Massively Parallel Network of Workstations (MP-NOW) to address their most challenging computing problems. Fully exploiting these systems is made more difficult as more and more modeling and data analysis…

Astrophysics · Physics 2015-05-26 Jeremy Kepner , Maya Gokhale , Ron Minnich , Aaron Marks , John DeGood

Artificial Neural Network is one of the most common AI application fields. This field has direct and indirect usages most sciences. The main goal of ANN is to imitate biological neural networks for solving scientific problems. But the level…

Neural and Evolutionary Computing · Computer Science 2009-07-02 Hamidreza Mahini , Alireza Mahini , Javad Ghofrani

Large Language Models (LLMs) produce eloquent texts but often the content they generate needs to be verified. Traditional information retrieval systems can assist with this task, but most systems have not been designed with LLM-generated…

Human-Computer Interaction · Computer Science 2024-08-28 Yingqiang Gao , Jhony Prada , Nianlong Gu , Jessica Lam , Richard H. R. Hahnloser

The goal of semantic role labeling (SRL) is to discover the predicate-argument structure of a sentence, which plays a critical role in deep processing of natural language. This paper introduces simple yet effective auxiliary tags for…

Computation and Language · Computer Science 2018-09-11 Zhuosheng Zhang , Shexia He , Zuchao Li , Hai Zhao

The paper presents the Source Code Analysis and Lexical Annotation Runtime (SCALAR), a tool specialized for mapping (annotating) source code identifier names to their corresponding part-of-speech tag sequence (grammar pattern). SCALAR's…

Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications are stated and an interpretation function that translates…

Logic in Computer Science · Computer Science 2023-10-06 Natalia Ślusarz , Ekaterina Komendantskaya , Matthew L. Daggitt , Robert Stewart , Kathrin Stark

It is intuitive that NLP tasks for logographic languages like Chinese should benefit from the use of the glyph information in those languages. However, due to the lack of rich pictographic evidence in glyphs and the weak generalization…

Computation and Language · Computer Science 2020-05-22 Yuxian Meng , Wei Wu , Fei Wang , Xiaoya Li , Ping Nie , Fan Yin , Muyu Li , Qinghong Han , Xiaofei Sun , Jiwei Li

Extensible variants improve the modularity and expressiveness of programming languages: they allow program functionality to be decomposed into independent blocks, and allow seamless extension of existing code with both new cases of existing…

Programming Languages · Computer Science 2016-12-28 J. Garrett Morris
‹ Prev 1 8 9 10 Next ›