Haut PDF 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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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] ...
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 ...
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 ...
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] ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
28
