Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 11-20 of 197 (Search time: 0.001 seconds).
Item hits:
PreviewIssue DateTitleAuthor(s)
2015Improving test coverage of formal verification systems via beam searchBokhari, M.; Wagner, M.; Silva, S.; Esparcia-Alcázar, A.I.; Annual Conference on Genetic and Evolutionary Computation (GECCO Companion) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
2015Efficient data retrieval algorithms for avoiding 2-slot conflicts inwireless data broadcastHe, P.; Shen, H.
2015A model-based approach to recovering the structure of a plant from imagesWard, B.; Bastian, J.; van den Hengel, A.; Pooley, D.; Rajendra, B.; Berger, B.; Tester, M.; Agapito, L.; Bronstein, M.; Rother, C.; 13th European Conference on Computer Vision Workshops (ECCV 2014) (6 Sep 2014 - 7 Sep 2014 : Zurich, Switzerland)
2015A Framework towards model driven business process compliance and monitoringKotamarthi, K.; Wang, X.; Grossmann, G.; Sheng, Q.; Indrakanti, S.; IEEE 19th International Enterprise Distributed Object Computing Workshop (EDOCW 2015) (21 Sep 2015 - 25 Sep 2015 : Adelaide, AUSTRALIA)
2015Summarizing and measuring development activityTreude, C.; Filho, F.; Kulesza, U.; Nitto, E.; Harman, M.; Heymans, P.; 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE) (30 Aug 2015 - 4 Sep 2015 : Bergamo, Italy)
2015Coding Across the Curriculum: Resource ReviewFalkner, K.; Vivian, R.; Australian Government Department of Education and Training
2015Scalable maximum margin matrix factorization by active Riemannian subspace searchYan, Y.; Tan, M.; Tsang, I.; Yang, Y.; Zhang, C.; Shi, Q.; Yang, Q.; Wooldridge, M.; Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI) (25 Jul 2015 - 31 Jul 2015 : Buenos Aires, Argentina)
2015Challenges in analyzing software documentation in PortugueseTreude, C.; Prolo, C.; Filho, F.; IEEE Brazilian Symposium on Software Engineering (SBES) (21 Sep 2015 - 26 Sep 2015 : Belo Horizonte, Brazil)
2015On the runtime of randomized local search and simple evolutionary algorithms for dynamic makespan schedulingNeumann, F.; Witt, C.; Yang, Q.; Wooldridge, M.; 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (25 Jul 2015 - 31 Jul 2015 : Buenos Aires, Argentina)
2015TaskNav: task-based navigation of software documentationTreude, C.; Sicard, M.; Klocke, M.; Robillard, M.; Bertolino, A.; Canfora, G.; Elbaum, S.; 37th International Workshop on Software Architecture and Metrics (SAM) (16 May 2015 - 24 May 2015 : Florence, Italy)