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

• 1993
• 
  Setsuo Arikawa, Satoru Miyano, Ayumi Shinohara, Satoru Kuhara, Yasuhito Mukouchi, Takeshi Shinohara:
  A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. New Gener. Comput. 11(3): 361-375 (1993)
• 
  Ivan Bratko:
  Applications of Machine Learning: Towards Knowledge Synthesis. New Gener. Comput. 11(3): 343-360 (1993)
• 
  William J. Dally:
  A Universal Parallel Computer Architecture. New Gener. Comput. 11(3): 227-249 (1993)
• 
  Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
  And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. 11(3): 297-321 (1993)
• 
  Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
  Projecting CLP (R) Constraints. New Gener. Comput. 11(3): 449-469 (1993)
• 
  Yuejun Jiang:
  On the Autoepistemic Reconstruction of Logic Programming. New Gener. Comput. 11(2): 107-124 (1993)
• 
  Rita Loogen:
  Relating the Implementation Techniques of Functional and Functional Logic Languages. New Gener. Comput. 11(2): 179-215 (1993)
• 
  Kim Marriott, Harald Søndergaard:
  Difference-List Transformation for Prolog. New Gener. Comput. 11(2): 125-157 (1993)
• 
  Toyoaki Nishida, Kenji Mizutani, Shuji Doshita:
  Automated Analysis of Qualitative Behaviors of Piecewise Linear Ordinary Differential Equations. New Gener. Comput. 11(2): 159-177 (1993)
• 
  Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane:
  HELIC-II: Legal Reasoning System on the Parallel Inference Machine. New Gener. Comput. 11(3): 423-448 (1993)
• 
  Yoshihiko Ohta, Katsumi Inoue:
  Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Gener. Comput. 11(3): 401-421 (1993)
• 
  David Poole:
  Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities. New Gener. Comput. 11(3): 377-400 (1993)
• 
  Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka:
  UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. New Gener. Comput. 11(3): 251-269 (1993)
• 
  Evan Tick, Xiaoxiong Zhong:
  A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation. New Gener. Comput. 11(3): 271-295 (1993)
• 
  Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba:
  Outline of the FGCS Fallow-on Project. New Gener. Comput. 11(2): 217-222 (1993)
• 
  Kazunori Ueda, Masao Morita:
  Message-Oriented Parallel Implementation of Moded Flat GHC. New Gener. Comput. 11(3): 323-341 (1993)
• 1992
• 
  Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi:
  Performance of Muse on Switch-Based Multiprocessor Machines. New Gener. Comput. 11(1): 81-103 (1992)
• 
  Antonio Brogi, Evelina Lamma, Paola Mello:
  Compositional Model-Theoretic Semantics for Logic Programs. New Gener. Comput. 11(1): 1-21 (1992)
• 
  Maurice Bruynooghe, Danny De Schreye, Bern Martens:
  A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Gener. Comput. 11(1): 47-79 (1992)
• 
  Yi-Dong Shen:
  Verifying Local Stratifiability of Logic Programs and Databases. New Gener. Comput. 11(1): 23-46 (1992)