• 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 207 matches

• 2020
• 
  Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
  Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 65(8): 3349-3364 (2020)
• 
  Xin Yang, Partha S. Roop, Hammond A. Pearce, Jin Woo Ro:
  A compositional approach using Keras for neural networks in real-time systems. DATE 2020: 1109-1114
• 
  Vadim Borisov, Dmitry Kotov, Alexander Molyavko:
  Intelligent Information Search Method Based on a Compositional Ontological Approach. RCAI 2020: 371-381
• 
  Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
  Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020)
• 
  Ameneh Nejati, Majid Zamani:
  Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. CoRR abs/2005.01970 (2020)
• 
  Elena Di Lavore, Jules Hedges, Pawel Sobocinski:
  Games on graphs: a compositional approach. CoRR abs/2006.03493 (2020)
• 
  Siyuan Liu, Abdalla Swikir, Majid Zamani:
  Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. CoRR abs/2006.16661 (2020)
• 
  Peter Shaw, Ming-Wei Chang, Panupong Pasupat, Kristina Toutanova:
  Compositional Generalization and Natural Language Variation: Can a Semantic Parsing Approach Handle Both? CoRR abs/2010.12725 (2020)
• 2019
• 
  Abdalla Swikir, Majid Zamani:
  Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. Autom. 107: 551-561 (2019)
• 
  Pablo Gamallo:
  A dependency-based approach to word contextualization using compositional distributional semantics. J. Lang. Model. 7(1): 53-92 (2019)
• 
  Yuting Wang, Pierre Wilke, Zhong Shao:
  An abstract stack based approach to verified compositional compilation to machine code. Proc. ACM Program. Lang. 3(POPL): 62:1-62:30 (2019)
• 
  Alex X. Liu, Eric Norige:
  A De-Compositional Approach to Regular Expression Matching for Network Security. IEEE/ACM Trans. Netw. 27(6): 2179-2191 (2019)
• 
  Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop:
  A compositional approach for real-time machine learning. MEMOCODE 2019: 7:1-7:5
• 
  Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
  Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR abs/1902.01223 (2019)
• 
  Usman A. Fiaz, John S. Baras:
  A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic. CoRR abs/1904.03830 (2019)
• 
  Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
  An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. CoRR abs/1905.01200 (2019)
• 
  Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar:
  A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR abs/1905.06732 (2019)
• 
  Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
  Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. CoRR abs/1910.00417 (2019)
• 2018
• 
  Gijs Jasper Wijnholds:
  A proof-theoretic approach to scope ambiguity in compositional vector space models. J. Lang. Model. 6(2): 261-286 (2018)
• 
  F. Amiri, Mohammad Hossein Kahaei:
  A sparsity-based Bayesian approach for hyperspectral unmixing using normal compositional model. Signal Image Video Process. 12(7): 1361-1367 (2018)
• 
  Mark A. Austin, John Johnson:
  Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways. Syst. 6(1): 2 (2018)
• 
  Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh:
  A Compositional Approach for Verifying Protocols Running on On-Chip Networks. IEEE Trans. Computers 67(7): 905-919 (2018)
• 
  Majid Zamani, Murat Arcak:
  Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach. IEEE Trans. Control. Netw. Syst. 5(3): 1003-1015 (2018)
• 
  Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
  Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS 2018: 265-270
• 
  Abhishek Ninad Kulkarni, Jie Fu:
  A Compositional Approach to Reactive Games under Temporal Logic Specifications. ACC 2018: 2356-2362
• 
  Asad Ullah Awan, Samuel Coogan, Majid Zamani:
  Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. CDC 2018: 3783-3788
• 
  Asad Ullah Awan, Majid Zamani:
  Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach. CDC 2018: 3789-3794
• 
  Abdalla Swikir, Antoine Girard, Majid Zamani:
  Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. HSCC 2018: 275-276
• 
  Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
  An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. SSS 2018: 284-300
• 
  Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
  A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. MeTRiD@ETAPS 2018: 39-51

skipping 177 more matches