A Visualization System for Correctness Proofs (2007)
Of Graph Algorithms, P. A. Gloor, D. B. Johnson, F. Makedon, P. Metaxas
In this paper we describe a system for visualizing correctness proofs of graph algorithms. The system has been demonstrated for a greedy algorithm, Prim's algorithm for finding a minimum...
P. Klein, F. T. Leighton, F. Makedon, C. Stein, C. Stein, S. Tragoudas, ...
E. Tardos. Fast approximation algorithms fpr fractional packing and covering problems. In FOCS '91. [9] S.K. Sahni. Algorithms for scheduling independent tasks. J. Assoc. Comput. Mach.,
D. Kontos, V. Megalooikonomou, D. Pokrajac, A. Lazarevic, Z. Obradovic, O. B. Boyko, ...
We propose a novel Dynamic Recursive Partitioning approach for discovering discriminative patterns of functional MRI activation. The goal is to efficiently identify spatial regions that are...
D. Kontos, V. Megalooikonomou, D. Pokrajac, A. Lazarevic, Z. Obradovic, O. B. Boyko, ...
Abstract. We propose a novel Dynamic Recursive Partitioning approach for discovering discriminative patterns of functional MRI activation. The goal is to efficiently identify spatial regions that are...
Towards Multimedia Conference (1996)
Proceedings Cheyney Gloor, M. Cheyney, P. Gloor, D. B. Johnson, F. Makedon, J. Matthews, ...
Academic conferences are a long-standing and effective form of multimedia communication. Conference participants can transmit and receive information through sight and sound, that is, by viewing...
Fast Approximation Algorithms for Multicommodity Flow Problems (1995)
Leighton, T., Makedon, F., Plotkin, S., Stein, C., Tardos, E., Tragoudas, S.
Fast Approximation Algorithms for Multicommodity Flow Problems
Fast Approximation Algorithms for Multicommodity Flow Problems (1995)
Leighton, T., Makedon, F., Plotkin, S., Stein, C., Tardos, E., Tragoudas, S.
Fast Approximation Algorithms for Multicommodity Flow Problems
Fast approximation algorithms for multicommodity flow problems (1991)
Leighton, T., Makedon, F., Plotkin, S., Stein, C., Tardos, E., Tragoudas, S.
This paper published in "Mathematical Programming" 65 (1994), 217-245
Fast approximation algorithms for multicommodity flow problems (1991)
Leighton, T., Makedon, F., Plotkin, S., Stein, C., Tardos, E., Tragoudas, S.
This paper published in "Mathematical Programming" 65 (1994), 217-245