23,534 Hits in 6.4 sec

Whither Semantics? [article]

Samson Abramsky
2020 arXiv   pre-print
We discuss how mathematical semantics has evolved, and suggest some new directions for future work.  ...  As an example, we discuss some recent work on encapsulating model comparison games as comonads, in the context of finite model theory.  ...  A case study As a case study for this theme, we shall give a brief overview of some recent work on relating categorical semantics, which exemplifies Structure, to finite model theory, which exemplifies  ... 
arXiv:2010.13328v1 fatcat:crfp4vez2vcnzoe2phm6ejur6a

Data Semantics [chapter]

2017 Encyclopedia of GIS  
Web Mapping and Web Cartography Web Services, Geospatial Cross-References Internet-Based Spatial Information Retrieval Internet GIS  ...  Cross-References Data Infrastructure, Spatial Geography Markup Language (GML) Metadata and Interoperability, Geospatial National Spatial Data Infrastructure (NSDI) OGC's Open Standards for Geospatial Interoperability  ...  Future Directions In spite of a large body of successful research in recent years, practical applications of fully automatic systems do not seem realistic in the foreseeable future.  ... 
doi:10.1007/978-3-319-17885-1_100256 fatcat:npcac6ns2zdjfokmwpmzb2s6km

Integrating semantics and compilation

Peter Gottschling, Andrew Lumsdaine
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
Concepts are a recently proposed extension to C++ for the direct linguistic support of generic programming.  ...  Concepts provide powerful type-checking capabilities for generic programming and the semantics associated with them present new and interesting capabilities for library-compiler interactions.  ...  Acknowledgments The authors are grateful to Amr Sabry, Karl Meerbergen, Toon Knappen, and Laura Hopkins for constructive and inspiring discussions.  ... 
doi:10.1145/1449913.1449925 dblp:conf/gpce/GottschlingL08 fatcat:etivgqpif5fnlczkceyvbochl4

Mining the Semantic Web

Achim Rettinger, Uta Lösch, Volker Tresp, Claudia d'Amato, Nicola Fanizzi
2012 Data mining and knowledge discovery  
Third, the construction of ontological knowledge bases suitable for advanced reasoning techniques is complex, which ultimately results in a lack of such expressive real-world data sets with large amounts  ...  This is intended to show the breadth and general potential of this exiting new research and application area for data mining.  ...  This section is intended to give an overview of real world SW-related data mining tasks as listed in Sec. 2 by reporting our recent experimental results.  ... 
doi:10.1007/s10618-012-0253-2 fatcat:qhkv27bbkvba3mlolhixrepioq

Computational Semantics

Patrick Blackburn, Johan Bos
2010 THEORIA : an International Journal for Theory, History and Fundations of Science  
overview of recent methods for employing inference engines for natural language understanding tasks.  ...  In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an  ...  What of the future?  ... 
doi:10.1387/theoria.408 doaj:3e85d017690d4c5e8faae228072d6aa8 fatcat:q234kmaqrvfvxlzsscivd25fxa

CDDiff: Semantic Differencing for Class Diagrams

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 arXiv   pre-print
the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an object model that is possible in the first CD and is not possible in the second.  ...  efforts in recent years.  ...  We thank Eric Bodden, David Lo, and the anonymous reviewers for comments on a draft of this paper.  ... 
arXiv:1409.2355v1 fatcat:7u7xtmd3crbrzkj7wh2yw73wka

CDDiff: Semantic Differencing for Class Diagrams [chapter]

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 Lecture Notes in Computer Science  
the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an object model that is possible in the first CD and is not possible in the second.  ...  efforts in recent years.  ...  We thank Eric Bodden, David Lo, and the anonymous reviewers for comments on a draft of this paper.  ... 
doi:10.1007/978-3-642-22655-7_12 fatcat:byfij7pieba2hort4apv6o7nxy

Verifiable semantic difference languages

Thibaut Girka, David Mentré, Yann Régis-Gianas
2017 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17  
What if the programmer was given semantically grounded and high-level difference languages?  ...  Using these languages, the intent behind patches could be expressed, mechanically checked and reviewed in a high-level and semantic-aware setting, paving the way for certified evolution of software.  ...  in the future.  ... 
doi:10.1145/3131851.3131870 dblp:conf/ppdp/GirkaMR17 fatcat:hnsbim4cqbcrzksfnqocudxowy

Quantitative Automata under Probabilistic Semantics [article]

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2019 arXiv   pre-print
We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics.  ...  Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties.  ...  Quantitative automata and logic have been extensively and intensively studied in recent years. The book [26] presents an excellent collection of results of weighted automata on finite words.  ... 
arXiv:1604.06764v3 fatcat:jbhgknsbtrfedlk5nfr323hryi

Geospatial Semantics [chapter]

Yingjie Hu
2018 Comprehensive Geographic Information Systems  
Meanwhile, the arrival of big geo data, especially the large amount of unstructured text data on the Web, and the fast development of natural language processing methods enable new research directions  ...  Geospatial semantics is a broad field that involves a variety of research areas. The term semantics refers to the meaning of things, and is in contrast with the term syntactics.  ...  In recent years, a lot of research on geospatial semantics has been conducted, and the results are published in journals or presented in conferences, such as the Conference on Spatial Information Theory  ... 
doi:10.1016/b978-0-12-409548-9.09597-x fatcat:ovqv7j73tjanfaoek3bmyptfy4

Cantor meets Scott: Semantic Foundations for Probabilistic Networks [article]

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2016 arXiv   pre-print
We show how to use the semantics to approximate the behavior of arbitrary ProbNetKAT programs using distributions with finite support.  ...  We develop a prototype implementation and show how to use it to solve a variety of problems including characterizing the expected congestion induced by different routing schemes and reasoning probabilistically  ...  Acknowledgments The authors wish to thank Arthur Azevedo de Amorim, David Kahn, Anirudh Sivaraman, Hongseok Yang, the Cornell PLDG, and the Barbados Crew for insightful discussions and helpful comments  ... 
arXiv:1607.05830v5 fatcat:dktiz7otdzfflnw2lsctab2ife

Temporal Team Semantics Revisited [article]

Jens Oliver Gutsfeld and Arne Meier and Christoph Ohrem and Jonni Virtema
2021 arXiv   pre-print
Finally, we present a translation of TeamCTL* to Alternating Asynchronous B\"uchi Automata and obtain decidability results for the path checking problem as well as restricted variants of the model checking  ...  In this paper, we study a novel approach to asynchronous hyperproperties by reconsidering the foundations of temporal team semantics.  ...  The second author appreciates support by the German Research Foundation (DFG) under the grant ME4279/1-2. The last author was supported by the DFG grant VI 1045/1-1  ... 
arXiv:2110.12699v1 fatcat:ehdd4d2q3rac5dwmnsl3jbd5k4

Semantic Web Services Fundamentals [chapter]

Stijn Heymans, Jörg Hoffmann, Annapaola Marconi, Joshua Phillips, Ingo Weber
2012 Handbook of Service Description  
We give a concise, ontology-language independent, overview of the techniques most frequently used to automate service discovery and composition.  ...  The next chapter gives an overview of these approaches.  ...  values may change as a result of a service execution.  ... 
doi:10.1007/978-1-4614-1864-1_6 fatcat:jq6tex32uzdhhie2sc5ut6utoi

Distance Semantics for Belief Revision [article]

Daniel Lehmann, Menachem Magidor, Karl Schlechta
2002 arXiv   pre-print
A vast and interesting family of natural semantics for belief revision is defined. Suppose one is given a distance d between any two models.  ...  One may then define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K.  ...  Acknowledgement We would like to thank a referee for his very insightful comments, which have helped to improve the paper.  ... 
arXiv:cs/0202025v1 fatcat:okkoexnotvd4vk4aurpycnrody

A contextual semantics for concurrent Haskell with futures

David Sabel, Manfred Schmidt-Schauß
2011 Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11  
As semantic model we introduce and analyze the process calculus CHF, which represents a typed core language of Concurrent Haskell extended by concurrent futures.  ...  An important result is that call-by-need and call-by-name evaluation are equivalent in CHF, since they induce the same program equivalence.  ...  Results We provide a semantic foundation for Concurrent Haskell extended by futures.  ... 
doi:10.1145/2003476.2003492 dblp:conf/ppdp/SabelS11 fatcat:vrgpd7a4bbc6hhm6uhd2faitvi
« Previous Showing results 1 — 15 out of 23,534 results