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

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

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

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

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

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

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

Learning from Physical Human Corrections, One Feature at a Time Autor Bajcsy, Andrea, Losey, Dylan P., O'Malley, Marcia K., Dragan, Anca D.

“…We focus on learning robot objective functions from human guidance: specifically, from physical corrections provided by the person while the robot is acting…”
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

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

“… We posit that this requires a fundamental change from classical "static" computing to a new era that deploys a computational cognitive intelligence (CCI…”
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

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 into elegant code…”
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

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
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

Lightning Talk: Bridging Neuro-Dynamics and Cognition Autor Imani, Mohsen

“…Brain-inspired computing models have shown great potential to outperform today's deep learning solutions in terms of robustness and energy efficiency…”
Získat plný text

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning Autor Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong

“… verifies the satisfiability result. The core contribution is a new graph representation for LTL formulae - one-step unfolded graph (OSUG) to incorporate the syntax and semantic features of LTL. Preliminary results show that our approach is superior to the state-of-the-art neural approaches on synthetic datasets and confirms the effectiveness of OSUG…”
Získat plný text

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…”
Zjistit podrobnosti o přístupu

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

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