60 resultados para Formal languages.


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Integration of multiple languages into each other and into an existing development environment is a difficult task. As a consequence, developers often end up using only internal DSLs that strictly rely on the constraints imposed by the host language. Infrastructures do exist to mix languages, but they often do it at the price of losing the development tools of the host language. Instead of inventing a completely new infrastructure, our solution is to integrate new languages deeply into the existing host environment and reuse the infrastructure offered by it. In this paper we show why Smalltalk is the best practical choice for such a host language.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND Optimal surgery for pleomorphic adenoma of the parotid is controversial. In the present review, we discuss the advantages and disadvantages of the various approaches after addressing the surgical pathology of the parotid pleomorphic adenoma capsule and its influence on surgery. DATA SOURCES PubMed literature searches were performed to identify original studies. CONCLUSIONS Almost all pleomorphic adenomas can be effectively treated by formal parotidectomy, but the procedure is not mandatory. Extracapsular dissection is a minimal margin surgery; therefore, in the hands of a novice or occasional parotid surgeon, it may result in higher rates of recurrence. Partial superficial parotidectomy may be a good compromise. The tumor is removed with a greater cuff of healthy parotid tissue than in extracapsular dissection. This may minimize the recurrence rate. On the other hand, the removal of healthy parotid tissue compared with formal parotidectomy is limited, thus minimizing complications such as facial nerve dysfunction and Frey syndrome.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In his in uential article about the evolution of the Web, Berners-Lee [1] envisions a Semantic Web in which humans and computers alike are capable of understanding and processing information. This vision is yet to materialize. The main obstacle for the Semantic Web vision is that in today's Web meaning is rooted most often not in formal semantics, but in natural language and, in the sense of semiology, emerges not before interpretation and processing. Yet, an automated form of interpretation and processing can be tackled by precisiating raw natural language. To do that, Web agents extract fuzzy grassroots ontologies through induction from existing Web content. Inductive fuzzy grassroots ontologies thus constitute organically evolved knowledge bases that resemble automated gradual thesauri, which allow precisiating natural language [2]. The Web agents' underlying dynamic, self-organizing, and best-effort induction, enable a sub-syntactical bottom up learning of semiotic associations. Thus, knowledge is induced from the users' natural use of language in mutual Web interactions, and stored in a gradual, thesauri-like lexical-world knowledge database as a top-level ontology, eventually allowing a form of computing with words [3]. Since when computing with words the objects of computation are words, phrases and propositions drawn from natural languages, it proves to be a practical notion to yield emergent semantics for the Semantic Web. In the end, an improved understanding by computers on the one hand should upgrade human- computer interaction on the Web, and, on the other hand allow an initial version of human- intelligence amplification through the Web.

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.