Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 3888

49 Team Members
Filters -> Year: 2024
2841
TITLE: Prioritizing tests for software fault diagnosis
AUTHORS: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, ISSUE: 10, PAGES: 1105-1129
2842
TITLE: Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners
AUTHORS: Nelson Goncalves; Rui Jose ; Carlos Baquero ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 534-543
2843
TITLE: Probabilistic error propagation modeling in logic circuits
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
2844
TITLE: Programming Safety Requirements in the REFLECT Design Flow
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
2845
TITLE: Quality evolution track at QUATIC 2010
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1, PAGES: 28-29
2846
TITLE: Real Time Colour Based Player Tracking in Indoor Sports
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
2847
2848
TITLE: Reconfigurable Computing
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
2849
TITLE: REFLECT: Rendering FPGAs to Multi-core Embedded Computing
AUTHORS: João M P Cardoso; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; João Canas Ferreira ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
2850
TITLE: Reusable roles, a test with patterns
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PAGES: 11:1-11:16
2851
TITLE: SCHOOOOOLS.COM: A SOCIAL AND COLLABORATIVE LEARNING ENVIRONMENT FOR K-6
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
2852
TITLE: Segmentation of ultrasound images of the carotid using RANSAC and cubic splines
AUTHORS: Rui Rocha ; Aurelio Campilho ; Jorge Silva ; Elsa Azevedo ; Rosa Santos;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 101, ISSUE: 1, PAGES: 94-106
2853
TITLE: Selected papers from the 17th reconfigurable architectures workshop (RAW2010)
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
2854
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
2855
TITLE: Semi-Automatic Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
2856
TITLE: Serious Game for Introductory Programming
AUTHORS: Coelho, A ; Kato, E; Xavier, J; Goncalves, R;
PUBLISHED: 2011, SOURCE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PAGES: 61-71
2857
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
2858
TITLE: Simultaneous debugging of software faults
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
2859
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
2860
TITLE: Social control in a normative framework: An adaptive deterrence approach
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375

Results per Page: 20.
Page 143 of 195. Total results: 3888.