Sentence examples for a model for reasoning from inspiring English sources
For some, like the Pythagoreans (and, later, Plato), the certainty of mathematics was held as a model for reasoning in other areas, like politics and ethics.
In "Darwin 2009," the laboratory was conceived not only as a space where experiments could be done but also as an experimental procedure and as a model for reasoning (inquiry-based and problem-setting learning), like in a real scientific study.
In this paper, we present a model for reasoning about energy consumed by concurrent computations executing on multicore processors, and mechanisms involved in creating schedules – of resource usage as well as frequencies at which processor cores should execute – for completing computation in an energy-efficient manner.
We describe a formal model for reasoning about when we have seen sufficient evidence for a label, and show that it performs substantially better than a simple majority scheme.
We present a realizability model for reasoning about contextual equivalence of higher-order programs with impredicative polymorphism, recursive types, and higher-order mutable state.
We study the recent proposal of Goyal and Egenhofer who presented a model for qualitative spatial reasoning about cardinal directions.
We introduce the Flow-Limited Authorization Calculus (FLAC), which is both a simple, expressive model for reasoning about dynamic authorization and also an information flow control language for securely implementing various authorization mechanisms.
For that reason, and one more to be discussed immediately below, up until the recent past infinitism has never been seriously considered as a model of reasoning suitable for the dogmatist.
In the first part of our work, we present a formal system model for reasoning about tag clouds.
This paper proposes a Bayesian network (BN) model for reasoning under uncertainty for the assessment of accidental cargo oil outflow in a ship ship collision where a product tanker is struck.
Therefore, this study proposes a sematic complex event processing model for reasoning.
