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

• 2003
• 
  Mária Bieliková, Yannis Manolopoulos, Pavol Návrat:
  Report on the 6th ADBIS'2002 Conference. Comput. Artif. Intell. 22(2) (2003)
• 
  Dominique Cansell, Dominique Méry:
  Foundations of the B Method. Comput. Artif. Intell. 22(3-4): 221-256 (2003)
• 
  Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata:
  CafeOBJ: Logical Foundations and Methodologies. Comput. Artif. Intell. 22(3-4): 257-283 (2003)
• 
  Vladimir Filipovic:
  Fine-grained Tournament Selection Operator in Genetic Algorithms. Comput. Artif. Intell. 22(2): 143-161 (2003)
• 
  Jan Hlavicka, Petr Fiser:
  BOOM - A Heuristic Boolean Minimizer. Comput. Artif. Intell. 22(1): 19-51 (2003)
• 
  Jozef Kelemen, Rudolf Freund, Gheorghe Paun:
  A Note on Emergence in Multi-Agent String Processing Systems. Comput. Artif. Intell. 22(6): 623-637 (2003)
• 
  Yashar Ganjali:
  Optimum Multi-Dimensional Interval Routing Schemes on Networks with Dynamic Cost Links. Comput. Artif. Intell. 22(1): 1-17 (2003)
• 
  Chris George, Anne E. Haxthausen:
  The Logic of the RAISE Specification Language. Comput. Artif. Intell. 22(3-4): 323-350 (2003)
• 
  Otokar Grosek, Julius Siska:
  Semigroup of Matrices over GF{2^s} and its Relation to AES. Comput. Artif. Intell. 22(5): 417-426 (2003)
• 
  Martin C. Henson, Steve Reeves, Jonathan P. Bowen:
  Z Logic and its Consequences. Comput. Artif. Intell. 22(3-4): 381-415 (2003)
• 
  Jozef Kelemen:
  The Agent Paradigm - Foreword. Comput. Artif. Intell. 22(6): 513-519 (2003)
• 
  János Kollár:
  Unified Approach to Environments in a Process Functional Language {}*. Comput. Artif. Intell. 22(5): 439-456 (2003)
• 
  Ales Kubík:
  Distributed Genetic Algorithm: A Case-Study of Evolution by Direct Exchange of Chromosomes. Comput. Artif. Intell. 22(6): 575-596 (2003)
• 
  Yongzhong Lu, Jingli Zhou, Shengsheng Yu:
  A Survey of Face Detection, Extraction and Recognition. Comput. Artif. Intell. 22(2): 163-195 (2003)
• 
  Dusan Marcek:
  Determination of fuzzy relations for economic fuzzy time series models by neural networks. Comput. Artif. Intell. 22(5): 457-471 (2003)
• 
  Stephan Merz:
  On the Logic of TLA+. Comput. Artif. Intell. 22(3-4): 351-379 (2003)
• 
  Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki:
  Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. 22(3-4): 285-321 (2003)
• 
  Jason Noble, Daniel W. Franks:
  Social Learning in a Multi-Agent System. Comput. Artif. Intell. 22(6): 561-574 (2003)
• 
  Wolfgang Reisig:
  The Expressive Power of Abstract-State Machines. Comput. Artif. Intell. 22(3-4): 209-219 (2003)
• 
  Otokar Grosek, Ladislav Satko, Karol Nemoga:
  Extremal Generalized S-Boxes. Comput. Artif. Intell. 22(1): 85-99 (2003)
• 
  Prem Chandra Saxena, Inder Jeet Arora:
  Continuous Access of Broadcast Data Using Artificial Pointers Under a Wireless Mobile Computing. Comput. Artif. Intell. 22(5): 473-510 (2003)
• 
  Push Singh:
  Examining the Society of Mind. Comput. Artif. Intell. 22(6): 521-543 (2003)
• 
  Alexander V. Smirnov, Mikhail Pashkin, Nikolai Chilov, Tatiana Levashova:
  KSNet-Approach to Knowledge Fusion from Distributed Sources. Comput. Artif. Intell. 22(2): 105-142 (2003)
• 
  Pavel Tichý:
  Middle-Agents Organized in Fault Tolerant and Fixed Scalable Structure. Comput. Artif. Intell. 22(6): 597-622 (2003)
• 
  Than-Tung Dang, Baltazár Frankovic, Ivana Budinska:
  Optimal Creation of Agent Coalitions for Manufacturing and Control. Comput. Artif. Intell. 22(1): 53-83 (2003)
• 
  Jirí Wiedermann:
  Mirror Neurons, Embodied Cognitive Agents and Imitation Learning. Comput. Artif. Intell. 22(6): 545-559 (2003)
• 
  Haifeng Zhou, Zhenghui Lin, Wei Cao:
  High-Level Technology Mapping for Memories. Comput. Artif. Intell. 22(5): 427-438 (2003)