|
| | | |
Volume 109 - Theory of Computing 2010(CATS 2010), Brisbane, Australia, January 2010This volume contains papers presented at the Sixteenth Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia, January 2010. Where indicated, the paper is available for download in PDF or Postscript format. The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included. | | | Acceptance Rate Information.The full papers in this volume were peer refereed, in full, by an international programme committee. The acceptance rate was 42.9% (12 from 28). |
Volume Citation
Papers Included in the VolumeChan, S.-H., Lam, T.-W., Lee, L.-K., Ting, H.-F. and Zhang, P. (2010). Non-clairvoyant Scheduling for Weighted Flow Time and Energy on Speed Bounded Processors. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 3-10. |
| Xu, Z. and Xu, L. (2010). Approximation Algorithms for Min-Max Capacitated Path Covers. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 11-18. |
| Dujmovic, V., Gudmundsson, J., Morin, P. and Wolle, T. (2010). Notes on Large Angle Crossing Graphs. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 19-24. |
| Amano, K. (2010). On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 25-30. |
| Abu-Khzam, F. N., Fernau, H., Langston, M. A., Lee-Cultura, S. and Stege, U. (2010). A Fixed-Parameter Algorithm for String-to-String Correction. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 31-38. |
| Erdélyi, G. and Rothe, J. (2010). Control Complexity in Fallback Voting. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 39-48. |
| Hung, L.-J. and Kloks, T. (2010). Kruskalian Graphs. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 49-54. |
| Chang, M.-S., Hung, L.-J. and Rossmanith, P. (2010). Probe Distance-Hereditary Graphs. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 55-64. |
| Dantas, S., Faria, L., de Figueiredo, C. M. H., Klein, S., Nogueira, L. T. and Protti, F. (2010). Advances on the List Stubborn Problem. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 65-70. |
| Doherty, S and Groves, L. (2010). Simpler Backward Simulation Proofs. In Proc. 16-th Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 71-78. |
| Finderup, P., Huettel, H., Knudsen, J. S. and Nielsen, J. G. (2010). Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. In Proc. Sixteenth Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 79-88. |
| Johnson, M. and Kasangian, S. (2010). A Relational Model of Incomplete Data without NULLs. In Proc. Sixteenth Computing: The Australasian Theory Symposium (CATS 2010), Brisbane, Australia. CRPIT, 109. Viglas, T. and Potanin, A. Eds., ACS. 89-94. |
|
Papers listed: 12
|