نتایج جستجو برای: bidirectional

تعداد نتایج: 19675  

2008
Reinhard Blutner

The human language faculty is a bidirectional system, i.e. it can be used by processes of approximately equal computational complexity to understand and to generate utterances of a language. We assume the general framework of optimality theory and treat the language faculty as a constraint-based system where the very same constraints are uses both in comprehension and in generation. In the simp...

In design and analysis, standard references assume the pedestrian flow as unidirectional. In reality however, pedestrian flow is usually bi-directional. The main question pursued in this paper is that whether the main characteristics of pedestrian flow the same under uni- and bi-directional conditions. In order to achieve this goal, effect of bi-directional stream is inv...

2014
Perdita Stevens

A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from amo...

Journal: :IEEE Trans. Vehicular Technology 2016
Furkan Akar Yakup Tavlasoglu Enes Ugur Bulent Vural Ismail Aksoy

Journal: :MONET 2006
Gruia Calinescu Peng-Jun Wan

Depending on whether bidirectional links or unidirectional links are used for communications, the network topology under a given range assignment is either an undirected graph referred to as the bidirectional topology, or a directed graph referred to as the unidirectional topology. The Min-Power Bidirectional (resp., Unidirectional) k-Node Connectivity problem seeks a range assignment of minimu...

2017
Anthony Anjorin Thomas Buchmann Bernhard Westfechtel

The Families to Persons case is a well-known example problem for bidirectional transformations. This paper proposes an implementation of this case within the recently developed Benchmarx framework [2], based on previous conceptual work [1].

Journal: :ACM Computing Surveys 2021

Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies known type, and synthesis, determines from the program. Using checking enables bidirectional to support features for inference is undecidable; using synthesis avoid large annotation burden explicitly typed languages. In addition, improves error locality. We highlight design principles underli...

Journal: :Proceedings of the Japan Academy 1977

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید