401 - 500 out of 2,838Page size: 100
  1. Analyzing the change-proneness of service-oriented systems from an industrial perspective

    Romano, D. 2013 Proceedings of the 35th International Conference on Software Engineering (ICSE 2013). Notkin, D., Cheng, B. H. C. & Pohl, K. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1365-1368 4 p.

    Research output: Scientific - peer-reviewConference contribution

  2. Analyzing viewpoint diversity in twitter

    Bozdag, V. E., Gao, Q., Warnier, M. E. & Houben, G. J. P. M. 2013 Proceedings Workshop Designing Social Media for Change - CHI 2013. Kamal, N., Fels, S. & Fergusson et al, M. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 1-4 4 p.

    Research output: Scientific - peer-reviewConference contribution

  3. Annotating Spar/Java for data-parallel programming

    van Reeuwijk, C., Kuijlman, F., Sips, H. J. & Niemeijer, S. V. 2000 Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 185-194 10 p.

    Research output: Scientific - peer-reviewConference contribution

  4. Annotating Spar/Java for the placement of tasks and data on heterogeneous parralel systems

    van Reeuwijk, C., Denissen, W. J. A., Kuijlman, F. & Sips, H. J. 2000 Proceedings of the eight international workshop on compilers for parallel computers. Aussois, p. 45-58 14 p.

    Research output: Scientific - peer-reviewConference contribution

  5. Anonymizing spreadsheet data and metadata with anonymousXL

    Van Veen, J. & Hermans, F. 1 Jan 2014 In : CEUR Workshop Proceedings. 1209, p. 45-46 2 p.

    Research output: Scientific - peer-reviewArticle

  6. Ant based routing algorithms

    Rothkrantz, L. J. M., Wojdel, J. C., Wojdel, A. W. & Knibbe, H. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 455-462 8 p.

    Research output: ScientificArticle

  7. Apples, Oranges, and Testbeds

    Langendoen, K. G. 2006 3rd IEEE Conf. on Mobile Ad-hoc and Sensor Systems (MASS 2006). s.n. (ed.). Vancouver, Canada: IEEE Society, p. 367-396 30 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Application of ARC in system design

    van Dijk, H., Langendoen, K. G. & Sips, H. J. 2000 Proceedings. RL Lagendijk & ... [et Al] (eds.). S.l.: s.n., p. 118-125 8 p.

    Research output: ScientificConference contribution

  9. Application of ARC in system design

    van Dijk, H., Langendoen, K. G. & Sips, H. J. 2000 Proceedings of the 2nd international symposium on mobile multimedia systems and applications. RL Lagendijk (ed.). Delft: Delft University of Technology, p. 118-125 8 p.

    Research output: Scientific - peer-reviewConference contribution

  10. Application of Hybrid Metaheuristics in Sensor Management

    de Jong, J. L. & van Norden, W. L. 2006 Proceedings COGIS 2006. M.Minoux (ed.). Societe de l'Electricite, de l'Electronique et des Techno, p. 1-7 7 p.

    Research output: Scientific - peer-reviewConference contribution

  11. Application of hybrid metaheuristics in sensor management

    de Jong, J. L. & van Norden, W. L. 2007 In : Aerospace Science and Technology. 11, p. 205-302 98 p.

    Research output: Scientific - peer-reviewArticle

  12. Application of parametric model checking-the root contention protocol

    Bandini, G., Lutje Spelberg, R. F., de Rooij, R. C. M. & Toetenel, W. J. 2000 ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 21-28 8 p.

    Research output: Scientific - peer-reviewConference contribution

  13. Application-Oriented Scheduling in Multicluster Grids

    Sonmez, O. O. 2010

    Research output: ScientificDissertation (TU Delft)

  14. Application-based scheduling for highly stochastic task graphs. IMPACT-NLI-1999-1

    van Lohuizen, M. P. 1999 Delft: Faculty of information technology and systems. 27 p.

    Research output: ProfessionalReport

  15. Application-directed automatic 802.11 rate control; Design rationale and preliminary results

    Haratcherev, I. J., Langendoen, K. G., Lagendijk, R. L. & Sips, H. J. 2003 ASCI 2003; Proceedings of the ninth annual conference of the advanced school for computing and imaging. Vassiliadis, S., Florack, L. M. J., Heijnsdijk, J. W. J. & Steen, van der, A. (eds.). Delft: Advanced School for Computing and Imaging, p. 56-60 5 p.

    Research output: ScientificConference contribution

  16. Application-directed voltage scaling

    Pouwelse, J. A., Langendoen, K. G. & Sips, H. J. 2003 In : IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 11, 5, p. 812-826 15 p.

    Research output: Scientific - peer-reviewArticle

  17. Application-oriented QoS adaptation recommendation

    Haratcherev, I. J., Langendoen, K. G. & Lagendijk, R. L. 2002 s.l.: Telematica Instituut. 13 p.

    Research output: ProfessionalReport

  18. Applying Architecture and Ontology to the Splitting and Allying of Enterprises

    Op 't Land, M. 2008 Schildmos 13, 3994 LS Houten, Netherlands. 1 p.

    Research output: ScientificDissertation (TU Delft)

  19. Applying a Model-Based Approach for Embedded System Development

    Bunse, C., Gross, H. G. & Peper, C. 2007 33th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2007). P. M"uller, E. M. (ed.). s.l.: IEEE Computer Society, p. 121-128 8 p.

    Research output: Scientific - peer-reviewConference contribution

  20. Applying architecture and Ontology to the splitting and allying of enterprise: Problem definition and research approach

    Op 't Land, M. 2006 On the move to meaningful internet systems 2006: OTM 2006 Workshops. s.n. (ed.). Montpellier, France: Springer, p. 1419-1429 11 p. (Lecture Notes in Computer Science; vol. 4278)

    Research output: Scientific - peer-reviewConference contribution

  21. Applying business objects for simulation

    Abolhassani, M. & Barjis, J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 847-852 6 p.

    Research output: ScientificConference contribution

  22. Applying distance learning at the ING Group

    in het Pandhuis, J., Sodoyer, B. R. & Wegbrands, P. H. 2000 Euromedia 2000: building a global business. F Broeckx & L Pauwels (eds.). San Diego: Society for Computer Simulation International, p. 189-193 5 p.

    Research output: Scientific - peer-reviewConference contribution

  23. Approach for component-based software specification

    Shishkov, B. B. & Dietz, J. L. G. 2003 In : LADIS International Journal On Www/Internet. 1, 1, p. 1-14 14 p.

    Research output: ScientificArticle

  24. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2010 In : The Journal of Artificial Intelligence Research. 38, p. 371-413 43 p.

    Research output: Scientific - peer-reviewArticle

  25. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2007 Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville: ISIS, p. 290-297 8 p.

    Research output: Scientific - peer-reviewConference contribution

  26. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2007 Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada. Miguel, I. & Ruml, W. (eds.). Berlin: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 4612)

    Research output: Scientific - peer-reviewConference contribution

  27. Approximating the Qualitative Vickrey Auction by a Negotiation Protocol

    Hindriks, K. V., Tykhonov, D. & de Weerdt, M. M. 2010 Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets.. Shehory, O., Sarne, D. & David, E. (eds.). Berlin: Springer, p. 44-57

    Research output: ScientificChapter

  28. Approximating the qualitative vickrey auction by a negotiation protocol

    Hindriks, K. V., Tykhonov, D. & de Weerdt, M. M. 2009 Proceedings of the workshop on agent-mediated electronic commerce. Shehory, O., Sarne, D. & David, E. (eds.). p. 43-56 14 p.

    Research output: Scientific - peer-reviewConference contribution

  29. Approximation Algorithms for Model-Based Diagnosis

    Feldman, A. B. 2010 Delft.

    Research output: ScientificDissertation (TU Delft)

  30. Approximation results for multi-agent planning systems

    Valk, V., Witteveen, C. & Zutt, J. 2001 PRIMA' 2001: workshop. S.l.: s.n., p. 387-398 12 p.

    Research output: Scientific - peer-reviewConference contribution

  31. Arbitrageurs in segmented markets

    van Montfort, G. P. R., Bruten, J., Cliff, D. & Rothkrantz, L. J. M. 1998 CEFES'98. S.l.: s.n., p. 1-6 6 p.

    Research output: Scientific - peer-reviewConference contribution

  32. ArchiMate and DEMO - mates to date?

    Ettema, R. W. & Dietz, J. L. G. 2009 Advances in Enterprise Engineering III. Albani, A., Barjis, J. & Dietz, J. L. G. (eds.). Berlin: Springer, p. 172-186 15 p. (Lecture Notes In Business Information Processing; vol. 34)

    Research output: Scientific - peer-reviewConference contribution

  33. Architectural Knowledge Representation Using the Galois Lattice Technique

    Sariyildiz, I. S., Chitchian, D. & Koppelaar, H. 1999 Multiple Approaches to Intelligent Systems. G Goos, J Hartmanis & J Leeuwen, V. (eds.). Berlin: Springer, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  34. Architectural Knowledge representation Using the Galois Lattice technique (niet eerder opgenomen)

    Chitchian, D., Sariyildiz, I. S. & Koppelaar, H. 1999 Lecture Notes 1611. Multiple Approaches to Intelligent Systems. JG Carbonel & J Siekman (eds.). Berlin, Heidelberg, New York: Springer Verlag, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  35. Architectural knowledge representation using the Galois lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 1999 Multiple approaches to intelligent systems (Lecture notes in artificial intelligence 1611). I Imam, Y Kodratoff, A El-Dessouki & M Ali (eds.). Berlin: Springer, p. 724-734 11 p.

    Research output: Scientific - peer-reviewConference contribution

  36. Architectural knowledge representationusing the Galois Lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 In : Lecture Notes in Artificial Intelligence. 1611, p. 724-734 11 p.

    Research output: ScientificArticle

  37. Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

    Gonzalez Sanchez, A., Piel, E. A. B. & Gross, H. G. 2008 23rd IEEE/ACM Internation Conference on Automated Software Engineering - Workshop Proceedings (ASE workshops 2008). Caporuscio, M., di Marco, A., Mariani, L., Muccini, H., Ploni, A. & Sheory, O. (eds.). L'Aquila, Italy: IEEE Computer Society, p. 41-48 8 p.

    Research output: Scientific - peer-reviewConference contribution

  38. Architecture for Service Oriented Solution Delivery Using Grid Systems

    Naik, V. K., Garbacki, P. J. & Mohindra, A. 2006 IEEE International Conference on Services Computing (SCC'06). s.n. (ed.). Chicago, IL: IEEE Computer Society, p. 414-422 9 p.

    Research output: Scientific - peer-reviewConference contribution

  39. Architectures for Wireless Sensor Networks

    Dulman, S. O., Chatterjea, S. & Havinga, P. 2009 Embedded Systems Handbook, Second Edition: Networked Embedded Systems. Zurawski, R. (ed.). Boca Raton, Florida, USA: CRC Press / Balkema - Taylor & Francis Group, p. 401-433 804 p.

    Research output: ScientificChapter

  40. Architectuur en agile: een ongelukkig huwelijk?

    Bender, K. J. & van Solingen, D. M. 2011 In : Automatisering Gids. June 2011, p. 16-16 1 p.

    Research output: Scientific - peer-reviewArticle

  41. Archival metadata for durable data sets

    van der Meer, K., Durr, E. H. & Dekker, R. 2006 Dutch-Belgian Information Retrieval Workshop. Franciska de Jong & Wessel Kraaij (eds.). Delft: TNO ICT Delft, p. 19-23 5 p.

    Research output: Scientific - peer-reviewConference contribution

  42. Area of Simulation: Mechanism and Architecture for Multi-Avatar Virtual Environments

    Shen, S., Hu, S-Y., Iosup, A. & Epema, D. 1 Aug 2015 In : ACM Transactions on Multimedia Computing, Communications, and Applications. 12, 1

    Research output: Scientific - peer-reviewArticle

  43. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, I. S. & Koppelaar, H. 2000 Applied Simultation and Modelling, proceedings of the International Association of Science and Technology for Development - IASTED. MH Hamza (ed.). Calgary: IASTED, ACTA Press, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  44. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 Proceedings IASTED. Annaheim: iASTED, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  45. Artificial player for Quake III Arena

    Waveren, J. M. P. & Rothkrantz, L. J. M. 2002 In : International Journal of Intelligent Games and Simulation. 1, 1, p. 25-32 8 p.

    Research output: Scientific - peer-reviewArticle

  46. Artificial player for quake III arena

    van Waveren, J. M. P. & Rothkrantz, L. J. M. 2001 Game-On 2001. Q Mehdi, N Gough & D Al-Dabass (eds.). Ghent: SCS Europe BVBA, p. 48-55 8 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Asking the right question in collaborative q&a systems

    Yang, J., Hauff, C., Bozzon, A. & Houben, G. J. P. M. 2014 Proceedings of the 25th ACM Conference on Hypertext and Social Media. Ferres, L. & Rossi, G. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 179-189 11 p.

    Research output: Scientific - peer-reviewConference contribution

  48. Aspect mining and refactoring

    Marin, A. M., van Deursen, A. & Moonen, L. M. F. 2003 Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). s.l.: s.n., p. 37-40 4 p.

    Research output: ScientificConference contribution

  49. Aspect-oriented adaptation specification in web information systems: a semantics-based approach

    Casteleyn, S., van Woensel, W., van der Sluijs, K. A. M. & Houben, G. J. P. M. 2009 In : New Review of Hypermedia and Multimedia. 15, 1, p. 39-71 33 p.

    Research output: Scientific - peer-reviewArticle

  50. Assessing real-time component contracts through built-in evolutionary testing

    Gross, H. G., Mayer, N. & Paredes Riano, J. 2005 Component-based software development for embedded systems - An overview of current research trends. Atkinson, C., Bunse, C., Gross, H. G. & Peper, C. (eds.). Berlin: Springer, p. 107-121 15 p.

    Research output: Scientific - peer-reviewChapter

  51. Assessing the Value of Coding Standards: An Empirical Study

    Boogerd, C. J. & Moonen, L. M. F. 2008 Proceedings of the 24th IEEE International Conference on Software Maintenance. Mei, H. & Wong, K. (eds.). Beijing, China: IEEE Society, p. 277-286 10 p.

    Research output: Scientific - peer-reviewConference contribution

  52. Assessing the quality of business process modelling techniques

    Hommes, L. J. & van Reijswoud, V. E. 2000 Abstracts and CD-ROM of full papers. Los Alamitos: IEEE Computer Society, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  53. Assessment of Issue Handling Efficiency

    Luijten, B., Visser, J. & Zaidman, A. E. 2010 Proceedings of the 7th Working Conference on Mining Software Repositories (MSR 2010). Whitehead, J. & Zimmermann, T. (eds.). Los Alamitos: IEEE Society, p. 94-97 4 p.

    Research output: Scientific - peer-reviewConference contribution

  54. Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding

    Cap, M., Novak, P. & Pechoucek, J. V. M. 2012 Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France. Bhatt, M., Guesgen, H. W. & Davis, E. (eds.). ECAI, p. 18-25 8 p.

    Research output: Scientific - peer-reviewConference contribution

  55. Atmospheric dispersion prediction and source estimation of hazardous gas using artificial neural network, particle swarm optimization and expectation maximization

    Qiu, S., Chen, B., Wang, R., Zhu, Z., Wang, Y. & Qiu, X. 1 Apr 2018 In : Atmospheric Environment. 178, p. 158-163 6 p.

    Research output: Scientific - peer-reviewArticle

  56. Atomic Upgrading of Distributed Systems

    van der Burg, S., Dolstra, E. & de Jonge, M. 2008 First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp). Dumitras, T., Dig, D. & Neamtiu, I. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

    Research output: Scientific - peer-reviewConference contribution

  57. Auctions for Congestion Management in Distribution Grids

    Philipsen, R., de Weerdt, M. & de Vries, L. 2016 13th International Conference on the European Energy Market (EEM 2016). Danvers, MA, USA: IEEE Society, p. 1-5 5 p.

    Research output: Scientific - peer-reviewConference contribution

  58. Auctions with Arbitrary Deals

    Mahr, T. & de Weerdt, M. M. 2007 HoloMAS 2007. Marik, V., Vyatikin, V. & Colombo, A. W. (eds.). Springer Verlag, p. 37-46 10 p. (Lecture Notes in Computer Science; vol. 4659)

    Research output: Scientific - peer-reviewConference contribution

  59. Augmenting User Models with Real World Experiences to Enhance Personalization and Adaptation

    Abel, F., Dimitrova, V., Herder, E. & Houben, G. J. P. M. 2012 UMAP 2011 Workshops. Kuflik, T. & Ardissono, L. (eds.). Springer, p. 31-34 4 p. (Lecture Notes in Computer Science; vol. 7138)

    Research output: Scientific - peer-reviewConference contribution

  60. Auteursrecht E-boek blijft zorgenkind

    Lachman, R. & van der Meer, K. 2000 In : Automatisering Gids. 9

    Research output: ProfessionalArticle

  61. Auto-Erecting Virtual Office Walls

    van Gameren, B. J. A., Dullemond, K. & van Solingen, D. M. 2012 Proceedings of the 2012 International Conference on Collaborative Computing: Networking, Applications and Worksharing. Ahn, G-J. & et al (eds.). p. 1-7 7 p.

    Research output: Scientific - peer-reviewConference contribution

  62. AutoSync: automatic duty-cycle control for synchronous low-power listening

    Hansen, M., Kusy, B., Jurdak, R. & Langendoen, K. G. 2012 Proceedings 9th IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks. Banerjee et al, S. (ed.). Piscataway, NJ, USA: IEEE Society, p. 139-147 9 p.

    Research output: Scientific - peer-reviewConference contribution

  63. Automated Deployment of a Heterogeneous Service-Oriented System

    van der Burg, S. & Dolstra, E. 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). O'Conner, L. (ed.). Los Alamitos: IEEE Society, p. 183-190 8 p.

    Research output: Scientific - peer-reviewConference contribution

  64. Automated Fault Diagnosis for Service-Oriented Architectures

    Chen, C., Gross, H. G. & Zaidman, A. E. 2012 5th International Conference on Service-Oriented Computing and Applications. sn (ed.). Los Alamitos: IEEE Society, p. -

    Research output: Scientific - peer-reviewConference contribution

  65. Automated Fault Diagnosis in Embedded Systems

    Zoeteweij, P., Pietersma, J., Abreu, R. F., Feldman, A. B. & van Gemund, A. J. C. 2008 Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08)s.n.. s.n. (ed.). Los Alamitos, USA: IEEE Computer Society, p. 103-110 8 p.

    Research output: Scientific - peer-reviewConference contribution

  66. Automated Fault Localization for Service-Oriented Software Systems

    Chen, C. 2015 121 p.

    Research output: ScientificDissertation (TU Delft)

  67. Automated Interactive Sales Processes

    Klos, T. B., Somefun, K. & La Poutré, H. 2011 In : IEEE Intelligent Systems. 26, 4, p. 54-61 8 p.

    Research output: Scientific - peer-reviewArticle

  68. Automated Redesign with the General Redesign Engine

    Feldman, A. B., Provan, G., de Kleer, J., Kuhn, L. & van Gemund, A. J. C. 2009 Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. Bulitko, V. & Beck, J. C. (eds.). California, USA: American Association for Artificial Intelligence (AAAI), p. 66-73 8 p.

    Research output: Scientific - peer-reviewConference contribution

  69. Automated Redesign with the General Redesign Engine

    Feldman, A. B., Provan, G., de Kleer, J., Kuhn, L. & van Gemund, A. J. C. 2009 Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 307-314 8 p.

    Research output: Scientific - peer-reviewConference contribution

  70. Automated Reencoding of Boolean Formulas

    Manthey, N., Heule, M. J. H. & Biere, A. 2012 Proceedings of Haifa Verification Conference 2012. sn (ed.). Berin: Springer, p. 1-16 16 p.

    Research output: Scientific - peer-reviewConference contribution

  71. Automated Security Testing of Web Widget Interactions

    Bezemer, C., Mesbah, A. & van Deursen, A. 2009 Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). van Vliet, H. & Issarny, V. (eds.). New York: Association for Computing Machinery (ACM), p. 81-90 10 p.

    Research output: Scientific - peer-reviewConference contribution

  72. Automated detection of test fixture strategies and smells

    Greiler, M. S., van Deursen, A. & Storey, M. A. 2013 Proceedings - 2013 IEEE 6th International Conference on Software Testing, Verification and Validation. Le Traon, Y. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 322-331 10 p.

    Research output: Scientific - peer-reviewConference contribution

  73. Automated evaluation of syntax error recovery

    de Jonge, M. & Visser, E. 2012 ASE 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. Goedlicke, M., Menzies, T. & Saeki, M. (eds.). New York: Association for Computing Machinery (ACM), p. 322-325 4 p.

    Research output: Scientific - peer-reviewConference contribution

  74. Automated theorem proving for the KARO-architecture

    Valk, J. M., Tonino, J. F. M., Bos, A. & Witteveen, C. 1999 ESSLLI 99. S.l.: s.n., p. 1-13 13 p.

    Research output: Scientific - peer-reviewConference contribution

  75. Automated transport planning using agents

    Aronson, L. D., van der Krogt, R. P. J., Witteveen, C. & Zutt, J. 2002 Proceedings International congress on FTAM. Vogels, E. (ed.). Delft: TRAIL research School, p. 1-19 19 p.

    Research output: ScientificConference contribution

  76. Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow

    Ercan, S., Stokkink, Q. & Bacchelli, A. 2015 Proceedings of the 12th Working Conference on Mining Software Repositories, MSR 2015. Di Penta, M. (ed.). Piscataway.NJ: IEEE Society, p. 442-445 4 p.

    Research output: Scientific - peer-reviewConference contribution

  77. Automatic Fault Diagnosis in Embedded Software

    Abreu, R., Zoeteweij, P., Golsteijn, R. & van Gemund, A. J. C. 2006 Proceedings of the 10th Philips Software Conference. Heyden, V. D. (ed.). Philips, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  78. Automatic Generation of Semantic Metadata as Basis for User Modeling and Adaptation

    van der Sluijs, K. A. M. & Houben, G. J. P. M. 2009 Advances in Ubiquitous User Modelling. Berlin: Springer, p. 73-93 159 p.

    Research output: ScientificChapter

  79. Automatic IEEE 802.11 rate control for streaming applications

    Haratcherev, I. J., Taal, J. R., Langendoen, K. G., Lagendijk, R. L. & Sips, H. J. 2005 In : Wireless Communications and Mobile Computing. 5, 4, p. 421-437 17 p.

    Research output: Scientific - peer-reviewArticle

  80. Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)

    Adams, B., Baudry, B., Eldh, S. & Zaidman, A. 2018 Dagstuhl. 34 p.

    Research output: ScientificReport

  81. Automatic Software Fault Localization using Generic Program Invariants

    Abreu, R. F., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, A. J. C. 2008 23rd Annual ACM Symposium on Applied Computing (SAC'08). Wainwright, R. L. & Haddad, H. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 712-717 6 p.

    Research output: Scientific - peer-reviewConference contribution

  82. Automatic Test Case Generation: What If Test Code Quality Matters?

    Palomba, F., Panichella, A., Zaidman, A. & Oliveto, R. Jul 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016. New York, NY: Association for Computing Machinery (ACM), p. 130-141 12 p.

    Research output: Scientific - peer-reviewConference contribution

  83. Automatic Test Smell Detection using Information Retrieval Techniques

    Palomba, F., Zaidman, A. & De Lucia, A. 2018 (Accepted/In press) Proceedings of the International Conference on Software Maintenance and Evolution (ICSME). Piscataway, NJ: IEEE, p. 340-351 12 p.

    Research output: Scientific - peer-reviewConference contribution

  84. Automatic analysis of facial expressions: the state of the art

    Pantic, M. & Rothkrantz, L. J. M. 2000 In : IEEE Transactions on Pattern Analysis and Machine Intelligence. 22, 12, p. 1424-1445 22 p.

    Research output: ScientificArticle

  85. Automatic cost estimation of high-performance applications

    van Gemund, A. J. C. 2002 VECPAR 2002; High performance computing for computational science; Proceedings Part II. Porto, Portugal: FEUP, p. 323-336 14 p.

    Research output: ScientificConference contribution

  86. Automatic discovery of algorithms for multi-agent systems

    van Berkel, S., Turi, D., Pruteanu, A. S. & Dulman, S. O. 2012 Proceedings of the 14th annual conference companion on genetic and evolutionary computation. New York, NY: Association for Computing Machinery (ACM), p. 337-344 8 p.

    Research output: Scientific - peer-reviewConference contribution

  87. Automatic eyebrow tracking using boundary chain codes

    Raducanu, B., Pantic, M., Rothkrantz, L. J. M. & Graña, M. 1999 ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 137-143 7 p.

    Research output: Scientific - peer-reviewConference contribution

  88. Automatic facial action encoding in static dual-view images

    Pantic, M. & Rothkrantz, L. J. M. 2000 ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 153-160 8 p.

    Research output: Scientific - peer-reviewConference contribution

  89. Automatic lipreading in the Dutch language

    Wojdel, J. 2003 s.l.: s.n.. 132 p.

    Research output: ScientificDissertation (TU Delft)

  90. Automatic protocol configuration for dependable internet of things applications

    Oppermann, F. J., Boano, C. A., Zúñiga, M. A. & Römer, K. 24 Dec 2015 Proceedings of the 40th Annual IEEE Conference on Local Computer Networks, LCN 2015. IEEE Computer Society, Vol. 2015-December, p. 742-750 9 p. 7365923

    Research output: Scientific - peer-reviewConference contribution

  91. Automatic recoding in a fuzzy inductive reasoner

    Van Welden, D. F., Kerckhoffs, E. J. H. & Vansteenkiste, G. C. 1999 ESM'99: modelling and simulation: a tool for the next millennium. Vol. 2.. H Szczerbicka (ed.). Delft: Society for Computer Simulation International, p. 348-354 7 p.

    Research output: Scientific - peer-reviewConference contribution

  92. Automatic recognition of facial expressions using BayesianBelief networks*

    Datcu, D. & Rothkrantz, L. J. M. 2004 2004 IEEE international conference on systems, man and cybernetics. Thissen, W., Wieringa, P., Pantic, M. & Ludema, M. (eds.). Piscataway: IEEE Society, p. 2209-2214 6 p.

    Research output: Scientific - peer-reviewConference contribution

  93. Automatic speech recognition using recurrent neural networks

    Rothkrantz, L. J. M. & Nollen, D. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 445-454 10 p.

    Research output: ScientificArticle

  94. Automatically Extracing Class Diagrams from Spreadsheets

    Hermans, F. F. J., Pinzger, M. & van Deursen, A. 2010 Proceedings 24th European Conference on Object-Oriented Programming (ECOOP). d'Hondt, T. (ed.). Berlin: Springer, p. 52-75 24 p.

    Research output: Scientific - peer-reviewConference contribution

  95. Automatically prioritizing pull requests

    Van Der Veen, E., Gousios, G. & Zaidman, A. 4 Aug 2015 Proceedings - 12th Working Conference on Mining Software Repositories, MSR 2015. IEEE Computer Society, Vol. 2015-August, p. 357-361 5 p. 7180094

    Research output: Scientific - peer-reviewConference contribution

  96. Automating Integration Testing of Large-Scale Publish/Subscribe Systems

    Piel, E. A. B., Gonzalez Sanchez, A. & Gross, H. G. 2010 Principles and Applications of Distributed Event-Based Systems. Hinze, A. M. & Buchmann, A. (eds.). Hershey: IGI Global, p. 140-163

    Research output: ScientificChapter

  97. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

    Grewe, S., Erdweg, S. & Mezini, M. 2016 Proceedings of the 3rd Vampire Workshop. Kovacs, L. & Voronkov, A. (eds.). EPIC 2009, p. 33-45 13 p. (EPIC Series in Computing; vol. 44)

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 3 4 5 6 7 8 ...29 Next