Výsledky vyhledávání - "Computing methodologies Artificial intelligence Knowledge representation and reasoning"

Fonduer: Knowledge Base Construction from Richly Formatted Data Autor Wu, Sen, Hsiao, Luke, Cheng, Xiao, Hancock, Braden, Rekatsinas, Theodoros, Levis, Philip, Ré, Christopher

“…We focus on knowledge base construction (KBC) from richly formatted data. In contrast to KBC from text or tabular data, KBC from richly formatted data aims to…”
Zjistit podrobnosti o přístupu

Perspective Multi-Player Games Autor Kupferman, Orna, Shenwald, Noam

“…Perspective games model multi-agent systems in which agents can view only the parts of the system that they own. Unlike the observation-based model of partial…”
Získat plný text

Symbolic Verification of Fuzzy Logic Models Autor Zhao, Siang, Li, Zhongyang, Chen, Zhenbang, Wang, Ji

“…Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract…”
Získat plný text

Asynchronous Extensions of HyperLTL Autor Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar

“…Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties…”
Získat plný text

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving Autor Damm, Werner, Galbas, Roland

“…We propose a series of methods based on learning key structural properties from traffic data-basis and on statistical model checking, ultimately leading to the…”
Získat plný text

CLEAR: Contrastive Learning for API Recommendation Autor Wei, Moshi, Harzevili, Nima Shiri, Huang, Yuchao, Wang, Junjie, Wang, Song

“…Automatic API recommendation has been studied for years. There are two orthogonal lines of approaches for this task, i.e., information-retrieval-based…”
Získat plný text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation Autor Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

“…A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Získat plný text

Generating Flight Summaries Conforming to Cinematographic Principles Autor Lino, Christophe, Cani, Marie‐Paule

“…We propose an automatic method for generating flight summaries of prescribed duration, given any planed 3D trajectory of a flying object. The challenge is to…”
Získat plný text

Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI Autor Karas, Zachary, Gold, Benjamin, Zhou, Violet, Reardon, Noah, Polk, Thad, Chang, Catie, Huang, Yu

“…Expert programmers are more effective at coding activities, but the reasons for this remain elusive. Accordingly, recent research has used neuroimaging such as…”
Získat plný text

On Automated Assistants for Software Development: The Role of LLMs Autor Leung, Mira, Murphy, Gail

“…Software developers handle many complex tasks that include gathering and applying domain knowledge, coordinating subtasks, designing interfaces, turning ideas…”
Získat plný text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes Autor Dreier, Jan

“…The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem…”
Získat plný text

Constrained LTL Specification Learning from Examples Autor Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk

“…Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program…”
Získat plný text

Consistent Graph Model Generation with Large Language Models Autor Chen, Boqi

“…Graph model generation from natural language requirements is an essential task in software engineering, for which large language models (LLMs) have become…”
Získat plný text

Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers…”
Získat plný text

ICCAD-2012 CAD contest in fuzzy pattern matching for physical verification and benchmark suite Autor Torres, J. Andres

“…With the widespread adoption of design for manufacturing techniques and design and process co-optimization as well as the increase in the complexity of the…”
Získat plný text

Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study Autor Endres, Madeline, Karas, Zachary, Hu, Xiaosu, Kovelman, Ioulia, Weimer, Westley

“…Understanding how novices reason about coding at a neurological level has implications for training the next generation of software engineers. In recent years,…”
Získat plný text

Lovász-Type Theorems and Game Comonads Autor Dawar, Anuj, Jakl, Tomas, Reggio, Luca

“…Lovász (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the…”
Získat plný text

Quantitative Verification and Design Space Exploration Under Uncertainty with Parametric Stochastic Contracts Autor Oh, Chanwook, Lora, Michele, Nuzzo, Pierluigi

“…This paper proposes an automated framework for quantitative verification and design space exploration of cyber-physical systems in the presence of uncertainty,…”
Získat plný text

Lightning Talk: The New Era of Computational Cognitive Intelligence Autor Dutt, Nikil, Donyanavard, Bryan

“…The triple whammy of variability in platforms (e.g., process variability), applications (e.g., dynamic use cases in autonomous systems), and the environment…”
Získat plný text