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

• 2024
• 
  Alberto Larrauri, Guillem Perarnau:
  First Order Logic of Sparse Graphs with Given Degree Sequences. CoRR abs/2405.14836 (2024)
• 2018
• 
  Alexander Ivannikov, Nikolay Levchenko, Irina Romanova:
  Formal Description of Possible Input Logical Signal Data Sequences for Digital Systems and Their Blocks. EWDTS 2018: 1-5
• 2017
• 
  Tatsuro Yamada, Shingo Murata, Hiroaki Arie, Tetsuya Ogata:
  Representation Learning of Logic Words by an RNN: From Word Sequences to Robot Actions. Frontiers Neurorobotics 11: 70 (2017)
• 2016
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences. Sci. Ann. Comput. Sci. 26(2): 125-156 (2016)
• 2015
• 
  Laurent Bienvenu, Alexander Shen:
  K-trivial, K-low and MLR-low Sequences: A Tutorial. Fields of Logic and Computation II 2015: 1-23
• 2014
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  A Hoare-like logic of asserted single-pass instruction sequences. CoRR abs/1408.2955 (2014)
• 2011
• 
  Norihiro Kamide:
  A logic of sequences. Reports Math. Log. 46: 29-57 (2011)
• 2010
• 
  Eduardo Alejandro Barrio:
  Theories of Truth without Standard Models and Yablo's Sequences. Stud Logica 96(3): 375-391 (2010)
• 
  Franz Baader, Hongkai Liu, Anees ul Mehdi:
  Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010: 53-58
• 
  Johann A. Makowsky:
  Application of Logic to Integer Sequences: A Survey. WoLLIC 2010: 34-41
• 2009
• 
  Volodymyr I. Ponomaryov, Alberto Rosales-Silva, Francisco J. Gallegos Funes:
  3D Filtering of Colour Video Sequences Using Fuzzy Logic and Vector Order Statistics. ACIVS 2009: 210-221
• 
  Eldar Fischer, Tomer Kotek, Johann A. Makowsky:
  Application of logic to combinatorial sequences and their recurrence relations. AMS-ASL Joint Special Session 2009: 1-42
• 
  Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina P. Vieira, Jorge Vieira:
  Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. IWANN (2) 2009: 1001-1004
• 2006
• 
  Vladimir Zlokolica, Aleksandra Pizurica, Wilfried Philips, Stefan Schulte, Etienne E. Kerre:
  Fuzzy logic recursive motion detection and denoising of video sequences. J. Electronic Imaging 15(2): 023008 (2006)
• 2005
• 
  Makoto Ogawa, Tadashi Shibata:
  A delay-encoding-logic array processor for dynamic-programming matching of data sequences. IEEE J. Solid State Circuits 40(7): 1578-1582 (2005)
• 
  Stefan Schulte, Vladimir Zlokolica, Aleksandra Pizurica, Wilfried Philips, Etienne E. Kerre:
  Noise Reduction of Video Sequences Using Fuzzy Logic Motion Detection. ACIVS 2005: 666-673
• 
  Vladimir Zlokolica, Matthias De Geyter, Stefan Schulte, Aleksandra Pizurica, Wilfried Philips, Etienne E. Kerre:
  Fuzzy logic recursive change detection for tracking and denoising of video sequences. Electronic Imaging: Image and Video Communications and Processing 2005
• 2004
• 
  Jung Hoon Lee, Iickho Song, So Ryoung Park, Jumi Lee:
  Rapid acquisition of PN sequences with a new decision logic. IEEE Trans. Veh. Technol. 53(1): 49-60 (2004)
• 1998
• 
  Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana:
  Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. ICES 1998: 98-105
• 1995
• 
  Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
  Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. IEEE Trans. Knowl. Data Eng. 7(4): 609-622 (1995)
• 
  José Monteiro, Srinivas Devadas:
  Techniques for the power estimation of sequential logic circuits under user-specified input sequences and programs. ISLPD 1995: 33-38
• 1990
• 
  Frank S. de Boer, Catuscia Palamidessi:
  On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR 1990: 99-114