[PDF] Top 20 Axiomatisations and Types for Probabilistic and Mobile Processes
Has 10000 "Axiomatisations and Types for Probabilistic and Mobile Processes" found on our website. Below are the top 20 most common "Axiomatisations and Types for Probabilistic and Mobile Processes".
Axiomatisations and Types for Probabilistic and Mobile Processes
... probability and typed mobility are usually studied ...science. For example, in the relational model for database [Cod70], algebraic laws have served as a basis for query optimisation ... Voir le document complet
169
Study of probabilistic models for peer-to-peer and mobile networks
... epidemic and branching processes are related, Yang and de Ve- ciana [YdV06] point out that early stages of a peer-to-peer system under a flash crowd scenario behave similarly as a branching ...Yang ... Voir le document complet
183
Unifying type systems for mobile processes
... if and only if the judgement JΓK ⊢ P holds in our system extended with the logical equivalences A ⊗ B ≃ A ` B 1 ≃ ⊥ !A ≃ ?A Sketch of ...environment types, up to associativity, commutativity and ... Voir le document complet
21
A predictive control framework for edge following: Application to two types of mobile robots
... [2]). For that purpose, numerous developments are based on artificial vision such as considered in [8] or [9] for agricultural applications or based on a Lidar such as achieved in [10] or ...angular ... Voir le document complet
8
Automatic and scalable fault detection for mobile applications
... calls and certain user ac- ...inducers, and more can be easily writ- ...processed and rendered, a task made eas- ier with our instrumentation ... Voir le document complet
15
Reconfigurable antennas for mobile phone and WSN applications
... approach for the synthesis of pattern reconfigurable antenna 2, a reconfigurable antenna suitable for WSN applications is ...4.4 and loss tangent ...cylinder and directly connect the two ... Voir le document complet
129
Voice and Multimodal Technology for the Mobile Worker
... used for building information ...tourist and entertainment information, and business ...information and register their ...retrieval for industrial purposes. For example, Florida ... Voir le document complet
11
Directional types for logic programs and the annotation method
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
47
A Decidable Subtyping Logic for Intersection and Union Types
... Isabelle, and dependently typed program- ming languages such as Agda, Beluga, Epigram, or ...kernel for a log- ical framework featuring union and intersection types, as the Λ ∩∪ t6 calculus ... Voir le document complet
16
Mapping and re-localization for mobile augmented reality
... Fig. 1. Augmentation of a store front. On the left the live rep- resentation of the augmentations (tablet, orange phone, white phone). On the right the real environment (see also video). 2. CAMERA LOCALISATION PROCESS ... Voir le document complet
6
Markovian Processes, Two-Sided Autoregressions and Finite-Sample Inference for Stationary and Nonstationary Autoregressive Processes
... The intercalary independence property was apparently first given without proof by Ogawara 1951 for univariate Markov processes, while the truncation property was used implicitly by him a[r] ... Voir le document complet
43
Markovian Processes, Two-Sided Autoregressions and Finite-Sample Inference for Stationary and Nonstationary Autoregressive Processes
... size and/or model ...properties. For those reasons, we think that our procedure should be considered as a good alternative to asymptotic inference ...models and it appears quite plausible the same ... Voir le document complet
43
Probabilistic Relational Models for Customer Preference Modelling and Recommendation
... values for general test set are slightly better than those for coldstart test ...reasons for this must be the simplicity of the ...only and do not have collaborative filtering concept ... Voir le document complet
29
Combining Linear Logic and Size Types for Implicit Complexity
... LLL, and try to extend it with more typing rules so as to integrate in it some size-based ...difficulty for that is that the complexity bounds for LLL and variants of this system are usually ... Voir le document complet
37
Selectional Restrictions, Types and Categories
... that types are concepts, or at least very similar to ...like types, come at different levels and ...object, and so ...Like types, concepts are the internal, mind dependent reflection of ... Voir le document complet
15
The ∆-calculus: Syntax and Types
... literature for almost 40 years for many reasons: among them, characterization of strongly normalizing λ-terms [5], λ-models [1], automatic type inference [26], type inhabitation [43, 37], type unification ... Voir le document complet
30
Using Constraint Satisfaction Techniques and Variational Methods for Probabilistic Reasoning
... LBP and variational EM can be viewed in terms of different types of free energy mini- mization ...E and M steps of a variational EM procedure (Beal and Ghahramani, 2003; Neal and ... Voir le document complet
191
Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
... SMC and AMC schemes, if a job of such a task executes for its execution time budget C(LO) without signaling completion, then the job will be aborted as a result of budget enforcement by the ...distribution ... Voir le document complet
7
Selectional Restrictions, Types and Categories
... application, and returns a “refutation” that the object is an apple, if it fails to meet the conditions of ...say for borderline or unfamiliar ...apple and that enters into the composition of ... Voir le document complet
14
Probabilistic Assignments of Identical Indivisible Objects and Uniform Probabilistic Rules
... that for a given pro le of utility functions, if a distribution is Pareto ecient, then each agent's marginal distribution places probability 1 on two allotments that di er only by one ... Voir le document complet
28
Sujets connexes