[PDF] Top 20 Bridging the Gap Between Formal Languages and Natural Languages with Zippers

... Abstract. The Semantic Web is founded on a number of Formal Lan- guages (FL) whose benefits are precision, lack of ambiguity, and ability to automate reasoning tasks such as inference or query ... Voir le document complet

... In the last years, User Interface Description Languages (UIDLs) appeared as a suitable solution for developing interactive ...reliable and efficient applications, we propose to employ a formal ... Voir le document complet

... framework with as- sociated methods and tools. This framework relies on the following ...models and a set of federated ...space and uses the language of its specific paradigm ... Voir le document complet

... that the num- ber of tokens necessary for an actor to fire is known at ...performed and the size of the buffers between actors can be ...consumed and produced by an actor at each ... Voir le document complet

... reusing and assembling components. The current trend is to explicitly express ar- chitectures of software solutions, to reason about them, to verify them and to transform ...stage, with ... Voir le document complet

... ily the “entities” as T cells and the “processes” that occur at different levels such as differentiation, migration and cell ...in the formal description of multi-level, ... Voir le document complet

... ease the job of the compiler developer in generating efficient programs, they often come at a cost for application ...given the proliferation of DSLs even within a given domain, the developers ... Voir le document complet

... of the above examples: the mutual information between two symbols as a function of the number of symbols in between the two symbols [ 9 ...], the plot shows that ... Voir le document complet

... restriction and its field 4 . The restriction defines a set of individuals on which the field applies via a specific quantification ...labelled with a quantifiers is called a ...P-vertex ... Voir le document complet

... bridge the gap between spectral and spatial domains for ...demonstrating the equivalence of convolution processes regardless if they are designed in the spatial or the ... Voir le document complet

...  The execution of any assignment statement is based on the load and store ...denes the types that were left unspecied in the ab- stract specication in gure ...1. The blocks ... Voir le document complet

... (Bolivia) and Beirut (Lebanon), top-down metropolitan governance has shown its limits and has proven incapable of providing sustained ...space and animating community ...Nevertheless the two ... Voir le document complet

... of the main concepts in Simula is the class 3 —the specification of both data and operations, which may have several dynamic instances (objects in the modern terminology, or processes ... Voir le document complet

... 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

... OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited version published in : ... Voir le document complet

... system, and store them as one or more log ...as the use of vectorial clocks [9] allows to record the exact computation played by a ...events and their respective causal ordering in a system is ... Voir le document complet

... Approximate optimal solutions of NP-hard problems within ratios “forbidden” to polynomial algorithms and with worst-case complexity provably better than the complexity of an exact comput[r] ... Voir le document complet

... Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées. Si vous ... Voir le document complet

... to the difficulties for measuring privacy in free text ...databases, the probability of identifying a person in a table is solely based on the information within the table ...In the ... Voir le document complet

... related languages, as sound changes and replacement of words reduce the number of detectable cognates with time; it is commonly assumed that the time-depth for the establishment ... Voir le document complet