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

• 2017
• 
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
  The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19(3): 367-390 (2017)
• 2016
• 
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
  The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177
• 2015
• 
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
  The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 2015: 27-57
• 
  Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
  The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR abs/1506.08726 (2015)
• 2011
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  Dimensionality reduction using a Gaussian Process Annealed Particle Filter for tracking and classification of articulated body motions. Comput. Vis. Image Underst. 115(4): 503-519 (2011)
• 2010
• 
  Leonid M. Raskin:
  Dimensionality reduction for 3D articulated body tracking and human action analysis. Technion - Israel Institute of Technology, Israel, 2010
• 2009
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  3D Human Body-Part Tracking and Action Classification Using A Hierarchical Body Model. BMVC 2009: 1-11
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  H-APF: Using hierarchical representation of human body for 3-D articulated tracking and action classification. ICCV Workshops 2009: 452-459
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  3D Body-part tracking of two persons using a hierarchical body model. ICCV Workshops 2009: 996-1003
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  Using Hierarchical Models for 3D Human Body-Part Tracking. SCIA 2009: 11-20
• 2008
• 
  Leonid M. Raskin, Ehud Rivlin, Michael Rudzsky:
  Using Gaussian Process Annealing Particle Filter for 3D Human Tracking. EURASIP J. Adv. Signal Process. 2008 (2008)
• 2007
• 
  Leonid M. Raskin, Michael Rudzsky, Ehud Rivlin:
  Tracking and Classifying of Human Motions with Gaussian Process Annealed Particle Filter. ACCV (1) 2007: 442-451
• 
  Leonid M. Raskin, Ehud Rivlin, Michael Rudzsky:
  Using Gaussian Processes for Human Tracking and Action Classification. ISVC (1) 2007: 36-45
• 
  Leonid M. Raskin, Ehud Rivlin, Michael Rudzsky:
  3D human tracking with gaussian process annealed particle filter. VISAPP (2) 2007: 459-465
• 2004
• 
  Alan Hartman, Leonid Raskin:
  Problems and algorithms for covering arrays. Discret. Math. 284(1-3): 149-156 (2004)
• 2003
• 
  Leonid Mirkin, Natalya Raskin:
  Every stabilizing dead-time controller has an observer-predictor-based structure. Autom. 39(10): 1747-1754 (2003)