Results 61 to 70 of about 7,654,457 (236)
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Formalized Mathematics, 2018 Summary This paper continues formalization in the Mizar system [2, 1] of basic notions of the composition-nominative approach to program semantics [14] which was started in [8, 12, 10].
I. Ivanov +2 more
semanticscholar +1 more source
GO et l’injonction : le cas de GO AND V
Corela, 2010 The use of GO-AND-Verb is very common in contemporary English. This study wants to analyse the role of the GO-AND injunctions in a corpus of journalistic prose. The GO-ANDVerb structure is then to be understood as a global and complex predicate. This use
Catherine Collin
doaj +1 more source
Connectionist Inference Models [PDF]
, 2001 The performance of symbolic inference tasks has long been a challenge to connectionists. In this paper, we present an extended survey of this area. Existing connectionist inference systems are reviewed, with particular reference to how they perform ...
Browne, Antony, Sun, Ron
core +3 more sources
A prototype implementation of the AUnit test automation framework for alloy [PDF]
, 2017 Alloy is a declarative language based on relational first-order logic. Unlike commonly used procedural languages, the testing criteria of declarative languages like Alloy has remained largely ad hoc.
Yu, Jiaolong
core +1 more source
Компютерні системи та інформаційні технологіїThe article is devoted to the research and implementation of methods and tools of finite predicate algebra for conducting a systematic analysis of the subject area, exemplified by the formalization of the task of finding a dance studio based on selected
Iryna VECHIRSKA, Anna VECHIRSKA
doaj +1 more source
Individuation, reliability, and the mass/count distinction
Journal of Language Modelling, 2017 Counting in natural language presupposes that we can successfully identify what counts as one, which, as we argue, relies on how and whether one can balance two pressures on learning nominal predicates, which we formalise in probabilistic and information
Peter R. Sutton, Hana Filip
doaj +1 more source
Indexing the Event Calculus with Kd-trees to Monitor Diabetes [PDF]
, 2017 Personal Health Systems (PHS) are mobile solutions tailored to monitoring patients affected by chronic non communicable diseases. A patient affected by a chronic disease can generate large amounts of events.
Bromuri, Stefano +3 more
core +1 more source
Combination Strategies for Semantic Role Labeling
, 2011 This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model the inference as a meta-learning problem using discriminative classifiers.
Carreras, X. +3 more
core +1 more source