• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 37 matches

• 2021
• 
  Marco Kainzner, Christoph Klösch, Dominik Filipiak, Tek Raj Chhetri, Anna Fensel, Jorge Martínez Gil:
  Towards Reusable Ontology Alignment for Manufacturing Maintenance. SEMANTiCS Posters&Demos 2021
• 
  Sharad Dixit, Varish Mulwad, Abhinav Saxena:
  Extracting Semantics from Maintenance Records. CoRR abs/2108.05454 (2021)
• 2020
• 
  Qiushi Cao, Ahmed Samet, Cecilia Zanni-Merk, François de Bertrand de Beuvron, Christoph Reich:
  Combining chronicle mining and semantics for predictive maintenance in manufacturing processes. Semantic Web 11(6): 927-948 (2020)
• 
  Anne Dourgnon, Alain Antoin, Mansor Samba:
  Ontologies Combining Design Semantics and Semantics Used in Operation and Maintenance: Feedback from EDF Power Plants Case Studies. I-ESA Workshops 2020
• 2018
• 
  Anthony Cioppa, Adrien Deliège, Marc Van Droogenbroeck:
  A Bottom-Up Approach Based on Semantics for the Interpretation of the Main Camera Stream in Soccer Games. CVPR Workshops 2018: 1765-1774
• 2017
• 
  Geoffrey Mainland:
  Better living through operational semantics: an optimizing compiler for radio protocols. Proc. ACM Program. Lang. 1(ICFP): 19:1-19:26 (2017)
• 2016
• 
  Pascal Mainini, Annett Laube:
  Access Control in Linked Data Using WebID. SEMANTiCS (Posters, Demos, SuCCESS) 2016
• 
  Martin Fischbach, Dennis Wiebusch, Marc Erich Latoschik:
  Semantics-based software techniques for maintainable multimodal input processing in real-time interactive systems. SEARIS 2016: 1-6
• 2015
• 
  David Hästbacka, Pekka Aarnio, Valeriy Vyatkin, Seppo Kuikka:
  Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning. KMIS 2015: 182-192
• 2013
• 
  Khaled Ahmed Nagi Rashed:
  Community-centered semantics for the detection of fake multimedia. RWTH Aachen University, Mainz 2013, ISBN 978-3-86130-953-6, pp. 1-187
• 2012
• 
  Fengjiao Han, Zhurong Zhou:
  Semantics-Based Extraction of Webpage Main Text. SKG 2012: 181-184
• 2009
• 
  Michael Schneider, Kai Mainzer:
  A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics. OWLED 2009
• 2008
• 
  David Sabel:
  Semantics of a call-by-need lambda calculus with McCarthy's amb for programm equivalence. Goethe University Frankfurt am Main, Verlag Dr. Hut 2008, ISBN 978-3-89963-866-0, pp. I-XXX, 1-358
• 
  Rania Y. Khalaf:
  Supporting business process fragmentation while maintaining operational semantics: a BPEL perspective. University of Stuttgart, Germany, dissertation.de 2008, ISBN 978-3-86624-344-6, pp. 1-193
• 
  Jan Stender, Björn Kolbeck, Felix Hupfeld, Eugenio Cesario, Erich Focht, Matthias Hess, Jesus Malo, Jonathan Martí:
  Striping without Sacrifices: Maintaining POSIX Semantics in a Parallel File System. LASCO 2008
• 2007
• 
  Fei Xie, Ning Jiang, Yao Hua Ho, Kien A. Hua:
  Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. LCN 2007: 303-314
• 2006
• 
  Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano:
  Declarative Semantics of Production Rules for Integrity Maintenance. ICLP 2006: 26-40
• 2005
• 
  Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg:
  Main Concepts of Networks of Transformation Units with Interlinking Semantics. Formal Methods in Software and Systems Modeling 2005: 325-342
• 
  Ya Bing Chen, Tok Wang Ling, Mong-Li Lee:
  Maintaining Semantics in the Design of Valid and Reversible SemiStructured Views. DASFAA 2005: 773-778
• 
  Josef Küng, Roland R. Wagner:
  Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance. EUROCAST 2005: 211-216
• 1999
• 
  Vishnu Kotrajaras, Susan Eisenbach:
  Thread and Main Memory Semantics. ECOOP Workshops 1999: 106
• 1996
• 
  Franca Garzotto, Luca Mainetti, Paolo Paolini:
  Navigation in hypermedia applications: Modeling and semantics. J. Organ. Comput. Electron. Commer. 6(3): 211-237 (1996)
• 1995
• 
  Michael P. Georgeff, Anand S. Rao:
  The Semantics of Intention Maintenance for Rational Agents. IJCAI (1) 1995: 704-710
• 
  Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove:
  Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995. Electronic Notes in Theoretical Computer Science 1, Elsevier 1995 [contents]
• 1994
• 
  In Sang Chung, Yong Rae Kwon:
  A semantics-based method for revalidating modified programs. J. Softw. Maintenance Res. Pract. 6(1): 15-33 (1994)
• 
  Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
  Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, ISBN 3-540-58027-1 [contents]
• 1992
• 
  Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
  Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598, Springer 1992, ISBN 3-540-55511-0 [contents]
• 1991
• 
  Denys Bernard, Mario Borillo, Bruno Gaume:
  From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance. Appl. Intell. 1(3): 195-221 (1991)
• 1990
• 
  Cees Witteveen:
  A Skeptical Semantics for Truth Maintenance. Truth Maintenance Systems (ECAI Workshop) 1990: 136-154
• 
  Cees Witteveen:
  Partial Semantics for Truth Maintenance - a Compositional Approach. JELIA 1990: 544-561

skipping 7 more matches