Výsledky vyhľadávania - "Theory of computation Logic"

Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis Autor Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin

“…Deep Neural Network (DNN) testing is one of the most widely-used ways to guarantee the quality of DNNs. However, labeling test inputs to check the correctness…”
Získať plný text

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem Autor Zhuk, Dmitriy

“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Získať plný text

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning Autor Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing

“…) controllers for nonlinear systems subject to safety constraints. Our approach incorporates two phases…”
Získať plný text

Assessing the Type Annotation Burden Autor Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros

“…Type annotations provide a link between program variables and domain-specific types. When combined with a type system, these annotations can enable early fault…”
Získať plný text

Type Theory based on Dependent Inductive and Coinductive Types Autor Basold, Henning, Geuvers, Herman

“…We develop a dependent type theory that is based purely on inductive and coinductive types, and the corresponding recursion and corecursion principles. This…”
Získať plný text

Provably-correct coordination of large collections of agents with counting temporal logic constraints Autor Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye

“…In this paper, we consider the problem of coordinating a large collection of homogeneous agents subject to a novel class of constraints…”
Získať plný text

Deep Reinforcement Learning of Abstract Reasoning from Demonstrations Autor Clark-Turner, Madison, Begum, Momotaz

“…Extracting a set of generalizable rules that govern the dynamics of complex, high-level interactions between humans based only on observations is a high-level…”
Získať plný text

HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees Autor Camara, Javier

“…, architectures, object-relational mappings) captured as sets of relational constraints. However, their applicability is limited when software is subject to uncertainty (derived, e.g…”
Získať plný text

Achieving fluency through perceptual-symbol practice in human-robot collaboration Autor Hoffman, Guy, Breazeal, Cynthia

“… This paper describes initial results from a human-subject study measuring team efficiency and team fluency, in which the robot works on a joint task with untrained subjects…”
Získať plný text

Intelligent Extraction of Knowledge Structures from Natural Language Texts Autor Kuznetsov, I. P., Kozerenko, E. B., Matskevich, A. G.

“… Peculiarities of the texts are taken into account by linguistic knowledge of the processor: the system can be tuned to various subject areas…”
Získať plný text

Implicit Groups of Web Pages as Constrained Top N Concepts Autor Li, A., Haraguchi, M., Okubo, Y.

“… Moreover it is designed so as to find top N implicit concepts subject to the size restriction and some space constraints reflecting user’s interests…”
Získať plný text

A Cognitive Model for Visual Attention and Its Application Autor Bosse, Tibor, Maanen, Peter-Paul van, Treur, Jan

“… An executable formal specification of the cognitive model is given and a case study is described in which the model is used to simulate a human subject's attention…”
Získať plný text

Integrating Metadata Harvesting with Semantic Search Autor Dicheva, Darina, Dichev, Christo, Valtchev, Petko

“…) assisting authors in selecting names for new concepts/topics combined with their subject identification…”
Získať plný text

Local and On-the-fly Choreography-based Web Service Composition Autor Mitra, Saayan, Basu, Samik, Kumar, Ratnesh

“… to the desired required functionality. Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique…”
Získať plný text

Bindings as bounded natural functors Autor Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei, Traytel, Dmitriy

“… Abstract binder types are modeled using a universe of functors on sets, subject to a number of operations that can be used to construct complex binding patterns and binding-aware datatypes, including…”
Získať plný text

DETECTING PROGRAMMING FLAWS IN STUDENT SUBMISSIONS WITH STATIC SOURCE CODE ANALYSIS Autor Péter KASZAB, Máté CSERÉP

“…Static code analyzer tools can detect several programming mistakes, that would lead to run-time errors. Such tools can also detect violations of the…”
Získať plný text

Trends in Language Formalization in Architecture Autor Pereira, Franklim Morais

“…Alberti’s first attempt to theorize architecture as a formalized language, condensed in its concept of concinnitas, is used as a pretext for the subject of this paper…”
Získať plný text