Results 21 to 30 of about 1,081,112 (263)
Interpreted Graphs and ETPR(k) Graph Grammar Parsing for Syntactic Pattern Recognition
Machine Graphics & Vision, 2018 Further results of research into graph grammar parsing for syntactic pattern recognition (Pattern Recognit. 21:623-629, 1988; 23:765-774, 1990; 24:1223-1224, 1991; 26:1-16, 1993; 43:249-2264, 2010; Comput. Vision Graph. Image Process.
Mariusz Flasiński
doaj +1 more source
Model granularity in engineering design – concepts and framework
Design Science, 2017 In many engineering design contexts models are indispensable. They offer decision support and help tackle complex and interconnected design projects, capturing the underlying structure of development processes or resulting products.
Jakob F. Maier +2 more
doaj +1 more source
The Model-Model of the Theory-Theory [PDF]
Inquiry, 2012 Abstract “Theory of Mind” (ToM) is widely held to be ubiquitous in our navigation of the social world. Recently this standard view has been contested by phenomenologists and enactivists. Proponents of the ubiquity of ToM, however, accept and effectively neutralize the intuitions behind their arguments by arguing that ToM is mostly sub-personal.
openaire +3 more sources
Modelling competing theories [PDF]
Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), 2019 To appear in the proceedings of EUSFLAT 2019.
Willem Conradie +3 more
openaire +7 more sources
Model Theory and Proof Theory of Coalgebraic Predicate Logic [PDF]
Logical Methods in Computer Science, 2018 We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras.
Tadeusz Litak +3 more
doaj +1 more source
Security Theorems via Model Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs .
Joshua Guttman
doaj +1 more source
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erich Grädel, Yuri Gurevich
openaire +2 more sources
Typology emerges from simplicity in representations and learning
Journal of Language Modelling, 2021 We derive well-understood and well-studied subregular classes of formal languages purely from the computational perspective of algorithmic learning problems.
Dakotah Jay Lambert +2 more
doaj
Partial Model Theory as Model Theory [PDF]
Ergo, an Open Access Journal of Philosophy, 2015 I show that the partial truth of a sentence in a partial structure is equivalent to the truth of that sentence in an expansion of a structure that corresponds naturally to the partial structure. Further, a mapping is a partial homomorphism/partial isomorphism between two partial structures if and only if it is a homomorphism/isomorphism between their ...
openaire +1 more source
The microscale obstacle-resolving meteorological model MITRAS v2.0: model theory [PDF]
Geoscientific Model Development, 2018 This paper describes the developing theory and underlying processes of the microscale obstacle-resolving model MITRAS version 2. MITRAS calculates wind, temperature, humidity, and precipitation fields, as well as transport within the obstacle layer ...
M. H. Salim +8 more
doaj +1 more source