• 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

• 2009
• 
  Germano Lambert-Torres, Jair Minoro Abe, João Inácio da Silva Filho, Helga Gonzaga Martins:
  Advances in Technological Applications of Logical and Intelligent Systems, Selected Papers from the Sixth Congress on Logic Applied to Technology, LAPTEC 2007, Unisanta, Santa Cecilia University, Santos, Brazil, November 21-23, 2007. Frontiers in Artificial Intelligence and Applications 186, IOS Press 2009, ISBN 978-1-58603-936-3 [contents]
• 2007
• 
  Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, João Inácio da Silva Filho, Helga Gonzaga Martins:
  Paraconsistent Autonomous Mobile Robot Emmy III. LAPTEC 2007: 236-258
• 
  Isabel Cafezeiro, Edward Hermann Haeusler:
  Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12
• 
  Celso Cavellucci, Christiano Lyra, José Federico Vizcaino González, Edilson A. Bueno:
  Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems. LAPTEC 2007: 194-204
• 
  João Inácio da Silva Filho, Alexandre Rocco, Maurício Conceição Mário, Luís Fernando Pompeo Ferrara:
  Paraconsistent Logic Applied in Expert System for Support in Electric Transmission System Re-establishment. LAPTEC 2007: 160-179
• 
  Alexandre Erwin Ittner, Claudio Cesar de Sá, Fernando Deeke Sasse:
  A Heuristic Approach to the Cable Routing Problem in Electrical Panels. LAPTEC 2007: 55-66
• 
  Adriano Galindo Leal, Jose Antonio Jardini, Se Un Ahn:
  Distribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation. LAPTEC 2007: 270-284
• 
  Helga Gonzaga Martins, Carlos Henrique Valério de Moraes, Claudio Inácio de Almeida Costa, Germano Lambert-Torres, Antônio Faria Neto:
  Annotated Paraconsistent Logic. LAPTEC 2007: 85-113
• 
  Gina M. B. Oliveira, José C. Bortot, Pedro Paulo Balbi de Oliveira:
  Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the Rules. LAPTEC 2007: 133-159
• 
  Héctor Rafael Orozco, Félix Ramos, Jaime Zaragoza, Daniel Thalmann:
  Avatars Animation using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments. LAPTEC 2007: 67-84
• 
  Silvia Rissino, Germano Lambert-Torres, Helga Gonzaga Martins:
  Temporal Logic Applied in Information Systems. LAPTEC 2007: 28-54
• 
  Ricardo Luis de Azevedo da Rocha:
  An Attempt to Express the Semantics of the Adaptive Devices. LAPTEC 2007: 13-27
• 
  Fabiano de Sant'Ana dos Santos, Neli Regina Siqueira Ortega, Dirce Maria Trevisan Zanetta, Eduardo Massad:
  Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity. LAPTEC 2007: 180-193
• 
  Hernán Prieto Schmidt, Nelson Kagan, Leandro Rodrigues Barbosa, Henrique Kagan, Carlos Alexandre de Sousa Penin, Alden Uehara Antunes, Waldmir Sybine, Tânia Paula Ledesma Arango, Carlos César Barioni de Oliveira, Sílvio Baldan, M. Martins:
  Software Development for Underground and Overhead Distribution System Design. LAPTEC 2007: 259-269
• 
  Luiz Lenarth Gabriel Vermaas, Leonardo de Mello Honório, Edison Oliveira de Jesus, Muriel Freire, Daniele A. Barbosa:
  Intelligent Vehicle Survey and Applications. LAPTEC 2007: 205-235
• 
  Jaime Zaragoza, Félix Ramos, Héctor Rafael Orozco, Véronique Gaildrat:
  Creation of Virtual Environments through Knowledge-Aid Declarative Modeling. LAPTEC 2007: 114-132