Angebote zu "Semantics" (15 Treffer)

Kategorien

Shops

E-Mail Semantics
32,95 € *
ggf. zzgl. Versand

E-Mail Semantics ab 32.95 € als Taschenbuch: Semantische Suche auf entsprechend der Security Policy freigegebenen E-Mail-Postfächern. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 28.02.2020
Zum Angebot
E-Mail Semantics
32,95 € *
ggf. zzgl. Versand

E-Mail Semantics ab 32.95 EURO Semantische Suche auf entsprechend der Security Policy freigegebenen E-Mail-Postfächern

Anbieter: ebook.de
Stand: 28.02.2020
Zum Angebot
E-Mail Semantics
32,95 € *
ggf. zzgl. Versand

Immer wieder stößt man an die Grenzen der Stichwortsuche. Probleme verursachen hierbei hauptsächlich mehrdeutige Suchbegriffe, die fehlende Möglichkeit, Beziehungen zwischen Suchbegriffen zu modellieren und die Absenz eines grundlegenden Systems zur inhaltlichen Kategorisierung. Daher beschäftigt sich "E-Mail Semantics" mit Methoden der Wissensextraktion aus E-Mail-Dokumenten. Grundlage bildet ein Ontologie-basiertes Suchmaschinen-System. Dieses lokalisiert und extrahiert Wissen innerhalb von IMAP-E-Mails. Im Fokus stehen intelligente Filter, welche es ermöglichen, E-Mails nach komplexen Fragestellungen zu suchen. Dazu werden folgende Fragen beantwortet: Wie identifiziert man E-Mails, auf die keine Antwort eingegangen ist, wie strukturiert man in E-Mails enthaltene Zahlenwerte dynamisch anhand von Wertebereichen und wie lokalisiert und extrahiert man Informationen aus Bildern mit dem Ontologie-Annotator-Prinzip? Ein wichtiger Lösungsansatz ist hierbei die termspezifische Annotation, um eine Verbindung zwischen der Wissensbasis (Ontologie) und den E-Mails selbst herzustellen. Weiterhin sind Methoden der regelbasierten Wissensvernetzung anhand mehrerer E-Mail-Dokumente von großer Bedeutung. Damit wird die Voraussetzung geschaffen, mehr als nur nach Stichworten suchen zu können. Die Suche nach Stichwörtern liefert nur lose Textstellen. Die semantische Suche liefert Antworten.

Anbieter: Dodax
Stand: 28.02.2020
Zum Angebot
OpenAIR
39,00 € *
ggf. zzgl. Versand

High Quality Content by WIKIPEDIA articles! OpenAIR is a message routing and communication protocol for artificial intelligence systems that has been gaining in popularity in recent years. The protocol is managed by Mindmakers, and is described on their site in the following manner: "OpenAIR is a routing and communication protocol based on a publish-subscribe architecture. It is intended to be the "glue" that allows numerous A.I. researchers to share code more effectively "AIR to share". It is a definition or a blueprint of the "post office and mail delivery system" for distributed, multi-module systems. OpenAIR provides a core foundation upon which subsequent markup languages and semantics can be based, for e.g. gesture recognition and generation, computer vision, hardware-software interfacing etc, for a recent example see CVML."

Anbieter: Dodax
Stand: 28.02.2020
Zum Angebot
Program Construction
72,90 CHF *
ggf. zzgl. Versand

A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development ¿ The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always?.- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation ¿ The formal approach.- Program development by stepwise transformations ¿ The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools ¿ Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.

Anbieter: Orell Fuessli CH
Stand: 28.02.2020
Zum Angebot
Computing Meaning
109,00 CHF *
ggf. zzgl. Versand

This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics. Computational semantics is concerned with the computation of the meanings of linguistic objects such as text fragments, spoken dialogue utterances, and e-mail messages. The meaning of such an object is determined partly by linguistic information and partly by information from the context in which the object occurs. The information from these sources is combined by processes that infer which interpretation of the object applies in the given context. This applies not only to notoriously difficult aspects of interpreting linguistic objects, such as indexicals, anaphora, and metonymy, but also to establishing the precise reference of common nouns and the scopes of noun phrases. The central issue in computational semantics is how processes of finding and combining the relevant linguistic and contextual information into contextually appropriate meanings can be organised. Traditional approaches of applying context information to disambiguated natural language expressions do not work well, due to the massive ambiguity in natural language. Recent work in computational semantics suggests, alternatively, to represent linguistic semantic information in formal structures with underspecification, and to apply context information in inference processes that result in further specification of these representations. Underspecified representation and inference are therefore the key topics in this book. The book is aimed at those linguists, computer scientists, and logicians who take an interest in the computation of meaning, and who want to know what is happening in this exciting field of research.

Anbieter: Orell Fuessli CH
Stand: 28.02.2020
Zum Angebot
Computing Meaning
282,00 CHF *
ggf. zzgl. Versand

This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics. Computational semantics is concerned with the computation of the meanings of linguistic objects such as text fragments, spoken dialogue utterances, and e-mail messages. The meaning of such an object is determined partly by linguistic information and partly by information from the context in which the object occurs. The information from these sources is combined by processes that infer which interpretation of the object applies in the given context. This applies not only to notoriously difficult aspects of interpreting linguistic objects, such as indexicals, anaphora, and metonymy, but also to establishing the precise reference of common nouns and the scopes of noun phrases. The central issue in computational semantics is how processes of finding and combining the relevant linguistic and contextual information into contextually appropriate meanings can be organised. Traditional approaches of applying context information to disambiguated natural language expressions do not work well, due to the massive ambiguity in natural language. Recent work in computational semantics suggests, alternatively, to represent linguistic semantic information in formal structures with underspecification, and to apply context information in inference processes that result in further specification of these representations. Underspecified representation and inference are therefore the key topics in this book. The book is aimed at those linguists, computer scientists, and logicians who take an interest in the computation of meaning, and who want to know what is happening in this exciting field of research.

Anbieter: Orell Fuessli CH
Stand: 28.02.2020
Zum Angebot
Formal Methods for Real-Time and Probabilistic ...
116,00 CHF *
ggf. zzgl. Versand

TheaimoftheARTS 99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology),ARTSisintendedtoprovide aforumforthepresentationofapproachesthatarebasedonaclearmathema- calbasis. Aspectsofreal-timeandprobabilisticsystemsfortheworkshopinclude (butarenotlimitedto):compositionalconstructionandveri cationtechniques, automaticandmachine-supportedveri cation,casestudies,formalmethodsfor performanceanalysis,semantics,algorithmsandtools,andhybridsystems. ARTS 99wasorganisedbytheLehrstuhlfur Informatik7attheUniversity ofErlangen-Nurn bergandtookplaceattheSt adtlicheVolkshochschuleinB- berg(Oberfranken),GermanyfromMay26{28,1999. PreviouseditionsofARTS workshopswereorganizedbytheUniversityofIowa,USA(1993),Universityof Bordeaux,France(1995),BrighamYoungUniversity,USA(1996),andGeneral SystemsDevelopment,Mallorca,Spain(1997). Previousproceedingsappeared asLNCS1231orasbooksintheAMASTSeriesofComputing. TheProgramCommitteeselected17papersfromatotalof33submissions. Each submitted paper was sent to three Program Committee members, who wereoftenassistedbysub-referees. Duringaone-weekdiscussionviae-mail,the ProgramCommitteehasmadetheselectionofthepapersonthebasisofthe reviews. Thisvolumecontainsthe17selectedpapersplus3invitedpapers(in eitherfullorabstractform). IwouldliketothanktheProgramCommitteemembersandthesub-referees fortheire orts. Ialsoliketothanktheinvitedspeakersforgivingatalkatthe workshopandfortheircontributiontotheproceedings. SpecialthankstoUlrich Herzog,ChrisMoog,TeodorRus,DiegoLatellaandRuthAbraham(Springer- Verlag)fortheirsupport. Withouttheirhelp,thiseventwouldnothavebeen possible. March1999 Joost-PieterKatoen ProgramChair ARTS 99 Invited Speakers Bengt Jonsson (Uppsala University, Sweden) Frits W. Vaandrager(University of Nijmegen, The Netherlands) Moshe Y. Vardi (Rice University, USA) Steering Committee Manfred Broy (Technical University of Munich, Germany) Edmund Clarke (Carnegie Mellon University, USA) Ulrich Herzog (University of Erlangen-Nu rnberg, Germany) Zohar Manna (Stanford University, USA) Maurice Nivat (University of Paris 6, France) Amir Pnueli (Weizmann Institute of Science, Israel) Teodor Rus (Chair, University of Iowa, USA) ProgramCommittee Rajeev Alur (University of Pennsylvania, USA) Jos Baeten (Eindhoven University of Technology, The Netherlands) Christel Baier (University of Mannheim, Germany) Miquel Bertran (University of Ramon Llull, Spain) Antonio Cerone (University of South Australia, Australia) Rance Cleaveland (SUNY at Stony Brook, USA) Jim Davies (Oxford University, UK) Colin Fidge (University of Queensland, Australia) David de Frutos (University of Madrid, Spain) Hubert Garavel (INRIA Rhone-Alpes, France) Constance Heitmeyer (Naval Research Laboratory, USA) Tom Henzinger (University of Berkeley, USA) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (University of Erlangen-Nu rnberg, Germany, Chair) Rom Langerak (University of Twente, The Netherlands) Kim G.

Anbieter: Orell Fuessli CH
Stand: 28.02.2020
Zum Angebot
Advances in Information Systems Development
286,90 CHF *
ggf. zzgl. Versand

Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. The aim of the Conference is to provide an international forum for the exchange of ideas and experiences between academia and industry, and to stimulate exploration of new solutions. TOC:Preserving Semantics.- Directing/enacting the IS.- Graph Theory in MDA.- Design for Database Consistency.- Trust-related Requirements.- P2P Information Sharing MAS.- Linguistic Conflicts.- Contextual Method Integration.- Language Adaptation in IS Development.- Estimating Quality of Experience.- Socio-Technical Perspectives on Design Science.- Modeling Objects Dynamics.- Method Chunk Repositories Classification.- Goal Models.- Cookie-Chain Based Relations.- Requirements Modeling and MDA.- Industy-Academia Partnership.- Outlining 'Data Track'.- E-Government and Paralingual Design.- E-mail Marketing.- Slovenia IS.- Enterprise IS.- ERP Implementation Phases.- Enterprise Architecture.- Contract Type and Pricing.- Organizational Commitment Development.- Educational Management IS in Developing Countries.- Management Systems Design.- Activity-based Costing System.- Software Development Org. Management and TQM.- Higher Education Knowledge Management.- Value-adding IT solutions for SMEs.- Project Managers and Success.- Virtual Organization Governance.- Web Engineering Experiences.- Automatic Test Objective Derivation.- OSS Success.- Ontology-based User Modeling.- IT-supported Inter-organization Services.- Diagrams in IS Development.- WOW Project.

Anbieter: Orell Fuessli CH
Stand: 28.02.2020
Zum Angebot