937 resultados para Formal languages.


Relevância:

20.00% 20.00%

Publicador:

Resumo:

IT has turned out to be a key factor for the purposes of gaining maturity in Business Process Management (BPM). This book presents a worldwide investigation that was conducted among companies from the ‘Forbes Global 2000’ list to explore the current usage of software throughout the BPM life cycle and to identify the companies’ requirements concerning process modelling. The responses from 130 companies indicate that, at the present time, it is mainly software for process description and analysis that is required, while process execution is supported by general software such as databases, ERP systems and office tools. The resulting complex system landscapes give rise to distinct requirements for BPM software, while the process modelling requirements can be equally satisfied by the most common languages (BPMN, UML, EPC).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mapuzungun has reduplicative structures based on elements other than verb stems that are of very limited productivity. With verb stems, however, several formal patterns can be distinguished, which consist of the repetition of the lexical verb stem plus the addition of an apparently grammaticalized version of one of three verb roots or a zero morpheme. The previous literature has attempted to identify form/function correlations for these more or less productive verbal reduplicative patterns, and the present paper contributes to the discussion by surveying older studies and exploring several cases that suggest that such form/function correspondences are substantially less straightforward than a casual observer might think.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Within the scope of Festival of Languages took place in 2009 the Conference Advances in Kartvelian Morphology and Syntax. Selected presentations are presented in this publication. The authors discuss topics such as anaphora in Svan, intonation in Georgien, pragmatics of subordinating clauses in Georgian, but also research on modern developments as SMS-communication in Georgian language area etc. DEUTSCH: Im Rahmen des Festivals der Sprachen fand im Jahre 2009 an der Universität Bremen die Tagung Advances in Kartvelian Morphology and Syntax statt. Ausgewählte Vorträge werden mit dieser Publikation vorgestellt. Die Autoren behandeln unter anderem Themen wie Ana-pher im Svanischen, Intonation im Georgischen, Pragmatik von Nebensätzen des Georgi-schen, aber auch Forschungen über moderne Entwicklungen wie die SMS-Kommunikation im georgischsprachigen Sprachraum usw. CONTENTS: NINO AMIRIDZE, TAMAR RESECK & MANANA TOPADZE GÄUMANN: Preface; KEVIN TUITE: The Kartvelian suffixal intransitive; MANANA KOBAIDZE: Towards the morphological and syntactical classification of Georgian verbs; RENÉ LACROIX: Origin of Sets I–II suffixes in South Caucasian through reanalysis; STAVROS SKOPETEAS & CAROLINE FÉRY: Prosodic cues for exhaustive interpretations: a production study on Georgian intonation; WINFRIED BOEDER: Anaphora in Svan; YASUHIRO KOJIMA : The position of rom and the pragmatics of subordinate clauses in Georgian; NATIA AMAGHLOBELI : Morphological aspects of Georgian SMS language.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

IS outsourcing projects often fail to achieve project goals. To inhibit this failure, managers need to design formal controls that are tailored to the specific contextual demands. However, the dynamic and uncertain nature of IS outsourcing projects makes the design of such specific formal controls at the outset of a project challenging. Hence, the process of translating high-level project goals into specific formal controls becomes crucial for success or failure of IS outsourcing projects. Based on a comparative case study of four IS outsourcing projects, our study enhances current understanding of such translation processes and their consequences by developing a process model that explains the success or failure to achieve high-level project goals as an outcome of two unique translation patterns. This novel process-based explanation for how and why IS outsourcing projects succeed or fail has important implications for control theory and IS project escalation literature.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article describes the formal behavior of some elements found in Mapudungun (isolate, South America): a question particle, a postposition, and several 3rd-person markers. Framed in terms of current theories of phonological and grammatical words, the paper argues that a useful characterization of the Mapudungun elements under scrutiny should acknowledge (a) that clitics are interestingly heterogeneous regarding how different bound elements stand in paradigmatic opposition to each other, and (b) that some of these elements can be meaningfully be called anti-clitics (i.e., they are p-words that are part of larger g-words).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This volume focuses on word formation processes in smaller and so far underrepresented indigenous languages of South America. The data for the analyses have been mainly collected in the field by the authors. The several language families described here, among them Arawakan, Takanan, and Guaycuruan, as well as language isolates, such as Yurakaré and Cholón, reflect the linguistic diversity of South America. Equally diverse are the topics addressed, relating to word formation processes like reduplication, nominal and verbal compounding, clitic compounding, and incorporation. The traditional notions of the processes are discussed critically with respect to their implementation in minor indigenous languages. The book is therefore not only of interest to readers with an Amerindian background but also to typologists and historical linguists, and it is a supplement to more theory-driven approaches to language and linguistics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Whereas semantic, logical, and narrative features of verbal humor are well-researched, phonological and prosodic dimensions of verbal funniness are hardly explored. In a 2 × 2 design we varied rhyme and meter in humorous couplets. Rhyme and meter enhanced funniness ratings and supported faster processing. Rhyming couplets also elicited more intense and more positive affective responses, increased subjective comprehensibility and more accurate memory. The humor effect is attributed to special rhyme and meter features distinctive of humoristic poetry in several languages. Verses that employ these formal features make an artful use of typical poetic vices of amateurish poems written for birthday parties or other occasions. Their metrical patterning sounds “mechanical” rather than genuinely “poetic”; they also disregard rules for “good” rhymes. The processing of such verses is discussed in terms of a metacognitive integration of their poetically deviant features into an overall effect of processing ease. The study highlights the importance of nonsemantic rhetorical features in language processing.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Previous research has demonstrated that adults are successful at visually tracking rigidly moving items, but experience great difficulties when tracking substance-like ‘‘pouring’’ items. Using a comparative approach, we investigated whether the presence/absence of the grammatical count–mass distinction influences adults and children’s ability to attentively track objects versus substances. More specifically, we aimed to explore whether the higher success at tracking rigid over substance-like items appears universally or whether speakers of classifier languages (like Japanese, not marking the object–substance distinction) are advantaged at tracking substances as compared to speakers of non-classifier languages (like Swiss German, marking the object–substance distinction). Our results supported the idea that language has no effect on low-level cognitive processes such as the attentive visual processing of objects and substances. We concluded arguing that the tendency to prioritize objects is universal and independent of specific characteristics of the language spoken.