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

• 2020
• 
  Benjamin Ultan Cowley:
  Generalised Player Modelling: Why Artificial Intelligence in Games Should Incorporate Meaning, with a Formalism for so Doing. HCI (31) 2020: 3-22
• 2019
• 
  Junjun Yin, Konstantinos P. Papathanassiou, Jian Yang:
  Formalism of Compact Polarimetric Descriptors and Extension of the $\Delta\alpha_{\text{B}}/\alpha_{\text{B}}$ Method for General Compact-Pol SAR. IEEE Trans. Geosci. Remote. Sens. 57(12): 10322-10335 (2019)
• 
  Roberto F. Leonarduzzi, Patrice Abry, Herwig Wendt, Stéphane Jaffard, Hugo Touchette:
  A Generalized Multifractal Formalism for the Estimation of Nonconcave Multifractal Spectra. IEEE Trans. Signal Process. 67(1): 110-119 (2019)
• 
  Tommaso Borzone, Irinel-Constantin Morarescu, Marc Jungers, Michael Boc, Christophe Janneteau:
  Hybrid formalism for consensus of a general class of multi-agent systems with biased measurements. ECC 2019: 3016-3021
• 
  Junjun Yin, Jian Yang:
  Novel Formalism and Interpretation Methods for General Compact Polarimetric Sar. IGARSS 2019: 3257-3260
• 
  Donato D'Ambrosio, Paola Arcuri, Mario D'Onghia, Marco Oliverio, Rocco Rongo, William Spataro, Andrea Giordano, Davide Spataro, Alessio De Rango, Giuseppe Mendicino, Salvatore Straface, Alfonso Senatore:
  A General Computational Formalism for Networks of Structured Grids. NUMTA(1) 2019: 243-255
• 
  Guillaume Guex, Sylvain Courtain, Marco Saerens:
  Covariance and Correlation Kernels on a Graph in the Generalized Bag-of-Paths Formalism. CoRR abs/1902.03002 (2019)
• 2018
• 
  Pietro Baroni, Massimiliano Giacomin, Beishui Liao:
  A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application. Artif. Intell. 257: 158-207 (2018)
• 
  Alexandre Muzy, Bernard P. Zeigler, Franck Grammont:
  Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems. IEEE Syst. J. 12(3): 2982-2993 (2018)
• 2017
• 
  Daniele Codetta Raiteri, Luigi Portinale:
  Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems. Reliab. Eng. Syst. Saf. 167: 639-651 (2017)
• 
  Ishak Riali, Messaouda Fareh, Hafida Bouarfa:
  FzMEBN: Toward a General Formalism of Fuzzy Multi-Entity Bayesian Networks for Representing and Reasoning with Uncertain Knowledge. ICEIS (1) 2017: 520-528
• 
  Ramtin Aryan, Anis Yazidi, Paal Einar Engelstad, Øivind Kure:
  A General Formalism for Defining and Detecting OpenFlow Rule Anomalies. LCN 2017: 426-434
• 2016
• 
  Masayuki Sato, Yasuhiro Shimizu:
  Generalization of log-aesthetic curves by Hamiltonian formalism. JSIAM Lett. 8: 49-52 (2016)
• 
  Roberto F. Leonarduzzi, Hugo Touchette, Herwig Wendt, Patrice Abry, Stéphane Jaffard:
  Generalized Legendre transform multifractal formalism for nonconcave spectrum estimation. SSP 2016: 1-5
• 2015
• 
  Ines Elouedi:
  Transformée de Radon discrète généralisée multidirectionnelle, formalisme théorique et aplications en reconnaissance de formes. (Generalized multi directional discrete Radon transform, theoretical formalism and applications on pattern recognition). University of Paris-Est, France, 2015
• 
  Víctor M. Sánchez-Cartagena, Juan Antonio Pérez-Ortiz, Felipe Sánchez-Martínez:
  A generalised alignment template formalism and its application to the inference of shallow-transfer machine translation rules from scarce bilingual corpora. Comput. Speech Lang. 32(1): 46-90 (2015)
• 
  Joel Stephen Short, Aun Neow Poo, Chow Yin Lai, Pey Yuen Tao, Marcelo H. Ang:
  A generalized underactuated robot system inversion method using Hamiltonian formalism. AIM 2015: 1415-1420
• 
  Abdelli Abdelkrim:
  Towards a General Model to Handle Multi-enabledness in Time Petri Nets. Formalisms for Reuse and Systems Integration 2015: 103-131
• 2013
• 
  Lucien Hardy:
  A formalism-local framework for general probabilistic theories, including quantum theory. Math. Struct. Comput. Sci. 23(2): 399-440 (2013)
• 
  Yun-Jiang Wang, Bei Zeng, Markus Grassl, Barry C. Sanders:
  Stabilizer formalism for generalized concatenated quantum codes. ISIT 2013: 529-533
• 
  Yun-Jiang Wang, Bei Zeng, Markus Grassl, Barry C. Sanders:
  Stabilizer formalism for generalized concatenated quantum codes. CoRR abs/1309.5598 (2013)
• 
  Samuel Reid:
  On Generalizing a Temporal Formalism for Game Theory to the Asymptotic Combinatorics of S5 Modal Frames. CoRR abs/1305.0064 (2013)
• 2012
• 
  Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
  Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. Turing-100 2012: 168-180
• 2011
• 
  Gabriel G. Infante López, Martín Ariel Domínguez:
  A New General Grammar Formalism for Parsing. MICAI (1) 2011: 244-257
• 
  Norihito Toyota:
  Separation Number and Generalized Clustering Coefficient in Small World Networks based on String Formalism. CoRR abs/1109.6719 (2011)
• 2010
• 
  Ondrej Sluciak, Thibault Hilaire, Markus Rupp:
  A general formalism for the analysis of distributed algorithms. ICASSP 2010: 2890-2893
• 
  Demetres D. Kouvatsos, Salam A. Assi:
  On the Analysis of Queues with Heavy Tails: A Non-Extensive Maximum Entropy Formalism and a Generalisation of the Zipf-Mandelbrot Distribution. PERFORM 2010: 99-111
• 2006
• 
  Jana Chocholousová, Michael Feig:
  Balancing an accurate representation of the molecular surface in generalized born formalisms with integrator stability in molecular dynamics simulations. J. Comput. Chem. 27(6): 719-729 (2006)
• 
  Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul Bisgambiglia:
  BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation. Simul. Model. Pract. Theory 14(7): 945-970 (2006)
• 
  Norbert Giambiasi, Jean Claude Carmona:
  Generalized discrete event abstraction of continuous systems: GDEVS formalism. Simul. Model. Pract. Theory 14(1): 47-70 (2006)

skipping 18 more matches