931 resultados para Automatic theorem proving
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (9)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (8)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (10)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (6)
- Aquatic Commons (2)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (1)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (5)
- Aston University Research Archive (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (10)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (22)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (89)
- Boston University Digital Common (6)
- Brock University, Canada (10)
- Bucknell University Digital Commons - Pensilvania - USA (2)
- CaltechTHESIS (2)
- Cambridge University Engineering Department Publications Database (119)
- CentAUR: Central Archive University of Reading - UK (67)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (28)
- Cochin University of Science & Technology (CUSAT), India (11)
- Collection Of Biostatistics Research Archive (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- CUNY Academic Works (2)
- Dalarna University College Electronic Archive (6)
- Department of Computer Science E-Repository - King's College London, Strand, London (6)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons - Michigan Tech (3)
- Digital Peer Publishing (3)
- DigitalCommons@The Texas Medical Center (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- Duke University (5)
- Greenwich Academic Literature Archive - UK (8)
- Helda - Digital Repository of University of Helsinki (3)
- Indian Institute of Science - Bangalore - Índia (69)
- Instituto Politécnico do Porto, Portugal (4)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Massachusetts Institute of Technology (16)
- Nottingham eTheses (7)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (9)
- Publishing Network for Geoscientific & Environmental Data (9)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (92)
- Queensland University of Technology - ePrints Archive (107)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (6)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (84)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
- SAPIENTIA - Universidade do Algarve - Portugal (4)
- School of Medicine, Washington University, United States (1)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (1)
- Universidad Politécnica de Madrid (13)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade Federal do Pará (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universitat de Girona, Spain (7)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (3)
- Université de Montréal, Canada (5)
- University of Connecticut - USA (5)
- University of Michigan (6)
- University of Queensland eSpace - Australia (3)
- University of Southampton, United Kingdom (1)
- University of Washington (2)
- WestminsterResearch - UK (3)
Resumo:
It is known that the techniques under the topic of Soft Computing have a strong capability of learning and cognition, as well as a good tolerance to uncertainty and imprecision. Due to these properties they can be applied successfully to Intelligent Vehicle Systems; ITS is a broad range of technologies and techniques that hold answers to many transportation problems. The unmannedcontrol of the steering wheel of a vehicle is one of the most important challenges facing researchers in this area. This paper presents a method to adjust automatically a fuzzy controller to manage the steering wheel of a mass-produced vehicle; to reach it, information about the car state while a human driver is handling the car is taken and used to adjust, via iterative geneticalgorithms an appropriated fuzzy controller. To evaluate the obtained controllers, it will be considered the performance obtained in the track following task, as well as the smoothness of the driving carried out.