Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

inférence rigoureuse

deduction

informatique et traitement des données - iate.europa.eu

▷

P4bft: hardware-accelerated byzantine-resilient network control plane...controllers.It does so by means of message comparison and deduction of correct messages inthe determined optimal locations in the data plane....

informatique et traitement des données / Asie - Océanie - core.ac.uk - PDF: arxiv.org

Issues in document security enforcement for activity execution in capbased-ams... In this paper, we discuss three important issues for research in document security: least privilege, dynamic authorization of document access, and deduction of document privilege information from event observation

PDF: gateway.isiknowledge.com

Practical metaprogramming... Instantiation of a source component is done by specifying facts about the new application in a database, from which the appropriate instance of the metaprogram is automatically inferred using Prolog-style deduction....

PDF: citeseerx.ist.psu.edu

Interactive access control for autonomic systems. unpublished doctoral dissertation... It identifies the formal reasoning services of deduction, abduction and consistency....

PDF: citeseerx.ist.psu.edu

formal inference

informatique et traitement des données - iate.europa.eu

▷

A quick itp tutorial... The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

A quick itp tutorial ∗... The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements....

PDF: citeseerx.ist.psu.edu

A model for semantic of linguistic information with incomparability... In this model, semantic of linguistic information is treated as a triple and the processing of it is combined by formal inference

PDF: hdl.handle.net

Spatstat: spatial point pattern analysis, modelfitting and simulation. r package version... Contains functions for plotting spatial data, exploratory data analysis, model-fitting, simulation, spatial sampling, model diagnostics, and formal inference....

PDF: citeseerx.ist.psu.edu

Analysis of prerequisites: methodology and a case study... However, the mantra that correlation does not imply causation can lead to some researchers believing that formal inference is never possible from a correlational study....

PDF: www.citrenz.ac.nz

legal inference

informatique et traitement des données - iate.europa.eu

▷

Hard cases: a procedural approach... In short, the relation between the input and the output of a legal inference engine is a logical one....

général - core.ac.uk - PDF: purl.utwente.nl

Causal inference in legal decision making: explanatory coherence vs. bayesian networks... There are psychological and computational reasons for preferring the explanatory coherence account of legal inference....

PDF: citeseerx.ist.psu.edu

Keeping context in web interfaces to legal text databases departamento... We are using some of the results of the AustLII (Australasian Legal Information Institute) project with its legal inference system via World Wide Web as an interface for legal text databases....

PDF: citeseerx.ist.psu.edu

Keeping context in web interfaces to legal text databases... We are using some of the results of the AustLII (Australasian Legal Information Institute) project with its legal inference system via World Wide Web as an interface for legal text databases....

PDF: citeseerx.ist.psu.edu

Original article mock jurors ’ reactions to selective presentation of evidence from multiple-opportunity searches... The data suggest that people do understand the significance of multiple-opportunity searches for legal inference....

PDF: citeseerx.ist.psu.edu

Publications scientifiques

▷

Performance analysis of flat surface assumption and residual motion errors on airborne repeat-pass insar... Then the accuracy of the theoretical deduction is verified by simulation and real data....

industrie mécanique / informatique et traitement des données - core.ac.uk - PDF: doaj.org