José Nelson Amaral

Associate Professor Email: amaral@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~amaral

Compiler Optimization and High Performance Computing

Selected Publications: R. Govindarajan, H. Yang, J.N. Amaral, C. Zhang and G.R. Gao. Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures. IEEE Transactions on Computers 52(1) (2003): 4-20. G. Tremblay, C.J. Morrone, J.N. Amaral and G.R. Gao. Implementation of the EARTH programming model on SMP clusters: a multi-threaded language and runtime system. Concurrency and Computation: Practice and Experience 15(9) (2003): 821-844. A. Douillet, J.N. Amaral and G.R. Gao. Fine-Grain Stacked Register Allocation for the Itanium Architecture. 15th Workshop on Languages and Compilers for Parallel Computing. College Park, Maryland. 2002. (12 pages), Acceptance Rate = 80% C. Wallace, G. Tremblay and J.N. Amaral. On the tamability of the location consistency memory model. In International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 1542-1547, June 2002. P. Kakulavarapu, O.C. Maquelin, J.N. Amaral and G.R. Gao. Dynamic load balancers for a multithreaded multiprocessor system. Parallel Processing Letters, 11(1): 169-184, March 2001. J.N. Amaral, W.Y. Lin, J.L. Gaudiot and G.R. Gao. Exploiting locality in single assignment data structures updated through split-phase transactions. Cluster Computing, 4(4): 291-293, October 2001. C.J. Morrone, J.N. Amaral, G. Tremblay and G.R. Gao. A multi-threaded runtime system for a multi-processor/multi-node cluster. In 15th Annual International Symposium on High Performance Computing Systems and Applications, Windsor, ON, Canada, June 2001. C. Wallace, G. Tremblay and J.N. Amaral. An abstract state machine specification and verification of the location consistency memory model and cache protocol. Journal of Universal Computer Science, 7(11): 1089-1113, November 2001. C. Wallace, G. Tremblay and J.N. Amaral. The location consistency memory model and cache protocol: Specification and verification. In Eighth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001.

A. Stoutchinin, J.N. Amaral, G.R. Gao, J. Dehnert, S. Jain and A. Douillet. Speculative pointer prefetching of induction pointers. In Reinhard Wilhelm, editor, Compiler Construction 2001 - European Joint Conferences on Theory and Practice of Software, Lecture Notes in Computer Science, pp. 289-303, Genova, Italy, April 2001. Springer-Verlag. R. Govindarajan, H. Yang, J.N. Amaral, C. Zhang and G.R. Gao. Minimum register instruction sequence problem: Revisiting optimal code generation for dags. In 15th International Parallel and Distributed Processing Symposium, San Francisco, CA, April 2001. J.N. Amaral, G.R. Gao, E.D. Kocalar, P. O'Neill and X. Tang. Design and implementation of an efficient thread partitioning algorithm. In M. Valero, K. Joe, M. Kitsuregawa, and H. Tanaka, editors, International Symposium on High Performance Computing, pp. 252-259, Tokyo, Japan, October 2000. G.M. Zoppetti, G. Agrawal, X. Tang, J.N. Amaral, and G.R. Gao. Automatic compiler techniques for thread coarsening for multithreaded architectures. In Proceedings of the 2000 International Conference on Supercomputing, pp. 306-315, Santa Fe, NM, May 2000. P. Kakulavarapu, C.J. Morrone, K.B. Theobald, J.N. Amaral and G.R. Gao. A comparative performance study of fine-grain multi-threading on distributed memory machines. In 19th IEEE International Performance, Computing, and Communications Conference - IPCC2000, pp. 590-596, Phoenix, Arizona, February 2000. W.Y. Lin, J.N. Amaral, J.L. Gaudiot and G.R. Gao. Do software caches work? Performance analysis of the I-structure software cache on multi threading systems. In 19th IEEE International Performance, Computing, and Communications Conference - IPCCC2000, Phoenix, Arizona, February, 2000. W.Y. Lin, J.N. Amaral, J.L. Gaudiot and G.R. Gao. Caching single-assignment structures to build a robust fine-grain multi-threading system. In 2000 International Parallel and Distributed Processing Symposium, pp. 590-596, Cancun, Mexico, 2000. P. Kakulavarapu and J.N. Amaral. A survey of modern multi-threading systems. In 11th Symposium on Computer Architecture and High Performance Computing, pp. 10-16, Natal, RN, Brazil, September 1999. S. Ryan, J.N. Amaral, G. Gao, Z. Ruiz, A. Marquez and K. Theobald. Coping with very high latencies in petaflop computer systems. In International Symposium on High Performance Computing, Kyoto, Japan, May 1999. J.N. Amaral, G.R. Gao, P. Merkey, T. Sterling, Z. Ruiz and S. Ryan. Performance prediction for the HTMT: A programming example. In The Third PetaFlop Workshop, Annapolis, MA, February 1999. J.N. Amaral, G. Gao and X. Tang. An implementation of a Hopefield network kernel on EARTH. In X Brazilian Symposium on Computer Architecture and High Performance Processing, pp. 223-232, Buzios, RJ, Brazil, September 1998.

J.F. Haffner, N. Meyrer, J.N. Amaral and L.F.A. Pereira. A multiplayer perceptron replaces a feedback linearization controller in a nonlinear servomechanism. In Third IFAC International Workshop on Motion Control, pp. 391-396, Grenoble, France, September 1998. M.C.F. de Castro, F.C.C. De Castro, J.N. Amaral and P.R.G. Franco. A complex valued hebbian learning algorithm. In 1998 IEEE International Joint Conference on Neural Networks, Anchorage, Alaska, May 1998. J.N. Amaral and E.S. Meadows. The challenge of restructuring engineering curricula in Brazilian private universities. In 1997 International Conference on Engineering Education: Progress Through Partnerships, pp. 470-485, Chicago, IL, August 1997. M.C.F. de Castro, F.C.C. de Castro, J.N. Amaral and P.R.G. Franco. A new training algorithm to reduce the computational complexity of principal component analysis by hebbian learning. In L. Caloba and J. Barreto, editors, III Brazilian Congress on Neural Networks, pp. 7-11, Florianopolis, SC, July 1997. F.C.C. de Castro, J.N. Amaral and P.R.G. Franco. Invariant pattern recognition of 2d images using neural networks and frequency-domain representation. In 1997 International Conference on Neural Networks, volume 3, pp. 1644-1649, Houston, TX, June 1997. J.N. Amaral, A.T. Castelo and A.V. Dias. Genetic algorithms in optimization: Better than random search? In 1997 International Conference on Engineering and Informatics, pp. 320-326, Buenos Aires, Argentina, April 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: R. Niewiadomski, J. N. Amaral, R. Holte, "Crafting Data Structures: A Study of Reference Locality in Refinement-Based Path Finding," International Conference on High Performance Computing (HiPC) Hyderabad, India, December, 2003. P. Berube, A. Zinyk, J. N. Amaral, M. MacGregor, "The Bank Nth Chance Replacement Policy for FPGA-Based CAMs," 13th International Conference on Field Programmable Logic and Applications (FPL), Lisbon, Portugal, September, 2003. P. Zhao, J. N. Amaral, "To Inline or Not to Inline? Enhanced Inlining Decisions," 16th Workshop on Languages and Compilers for Parallel Computing College Station, Texas, October, 2003. C. Barton, J. N. Amaral, B. Blainey, "Should Potential Loop Optimizations Influence Inlining Decisions?", Center for Advanced Studies Conference (CASCON) 2003 Markham, ON, October, 2003. B. Blainey, C. Barton and J.N. Amaral. Removing impediments to loop fusion through code transformations. In 15th Workshop on Languages and Compilers for Parallel Computing, College Park, Maryland, July 2002.

J.N. Amaral, C. Barton, A.C. Macdonell and M. McNaughton. Using the sgi pro64 open source compiler infra-structure for teaching and research. In 13th Symposium on Computer Architecture and High Performance Computing, Pirenopolis, GO, Brazil, September 2001.

Anup Basu

Professor Email: anup@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~anup

3D Computer Vision & Graphics, Multimedia, Networks

Publications co-authored with University of Alberta Computing Science students (1997-present): A. Basu, I. Cheng and Y. Yu. Multi-server optimal bandwidth monitoring for QoS based multimedia delivery. In Proceedings of the Institute for Electrical and Electronics Engineers (IEEE) International Symposium on Circuits and Systems, 4 proceedings pages. Bangkok, Thailand. 2003. pp 812-815. May 2003. M. Pi, M. Mandal and A. Basu. “Image retrieval based on histogram of new fractal parameters.” In Proceedings of the Institute for Electrical and Electronics Engineers (IEEE) International Conference on Acoustics, Speech and Signal Processing, 4 proceedings pages. Hong Kong. 2003. pp. 585-588. May 2003. Y. Yu, A. Basu and I. Cheng. "Optimal adaptive bandwidth monitoring for QoS based retrieval," (18 pgs), IEEE Transactions on Multimedia, 2002. M. Fiala and A. Basu. "Hough transform for feature detection in panoramic images," (12 pgs), Pattern Recognition Letters, 2002. A. Basu and H. Sahabi. "Analysis of depth estimation error for cylindrical stereo imaging," Pattern Recognition, (25 pgs). L. Yin and A. Basu. "Generating realistic facial expressions with wrinkles for model based coding,"' Computer Vision and Image Understanding, vol. 84, pages 201-240, 2001. M. Fiala and A. Basu. "Line segment extraction in panoramic images," Journal of WSCG, Vol. 10, Number 1, pages 179-186, 2002. K. Wiebe and A. Basu. "Improving image and video transmission quality over ATM with foveal prioritization and priority dithering", Pattern Recognition Letters, (15 pgs). L. Yin, A. Basu, S. Bernoegger and A. Pinz. "Synthesizing realistic facial animations using energy minimization for model based coding", Pattern Recognition. L. Yin and A. Basu. "Active face tracking for model-based coding," Pattern Recognition Letters, vol. 20, 1999, 651-657.

A. Basu and K. Wiebe. "Videoconferencing using spatially varying sensing", IEEE Transactions on Systems, Man, and Cybernetics, March 1998, 137-148. K. Wiebe and A. Basu. "Modeling ecologically specialized biological visual systems", Pattern Recognition, (30 pgs), 1998. A. Basu and K. Ravi. "Active camera calibration using pan, tilt, and roll", IEEE Transactions on SMC, (24 pgs), 1997. Selected publications in conference proceedings co-authored with University of Alberta Computing Science students (1997-present): A. Basu, M. Pi, I. Cheng and M. Bates. "Distributed retrieval of wavelet images using bandwidth monitoring,"), Proceedings IAPR/IEEE International Conference on Pattern Recognition, August 2002, Quebec City, (4 pgs). A. Basu, I. Cheng and Y. Pan. "Foveated online 3D visualization,"), Proceedings IAPR/IEEE International Conference on Pattern Recognition, August 2002, Quebec City, (4 pgs). M. Fiala and A. Basu. "Panoramic stereo reconstruction for non-SVP optics," Proceedings IAPR/IEEE International Conference on Pattern Recognition, August 2002, Quebec City, (4 pgs). Y. Yu, A. Basu and I. Cheng. "Optimal adaptive bandwidth monitoring for QoS based retrieval", Proceedings of the IEEE International Symposium of Circuits and Systems, Scottsdale, USA, May 2002, (4 pgs). A. Basu, I. Cheng, A. Mistri and D. Wolford. "Scalable Visualization of Super High Resolution 3D Images for Museum Archiving," SIGGRAPH Web Graphics Presentation, San Antonio, USA, July 2002. I. Cheng and A. Basu. "Super High Resolution 3D Imaging and Efficient Visualization," Proceedings of the IEEE 3Dpvt Conference, Padova, Italy, 2002, (5 pgs). L. Yin, J. Chang and A. Basu. "Synthesis-based scalable image enhancement for digital radiography,"), Proceedings of the IEEE International Conference on Image Processing, 2002, Rochester, NY, USA, (4 pgs). L. Yin and A. Basu. "Color-based mouth shape tracking for synthesizing realistic facial expressions," Proceedings of the IEEE International Conference on Image Processing, 2002, Rochester, NY, USA, (4 pgs). M. Fiala and A. Basu. "Robot navigation suing panoramic landmark tracking," Proceedings Vision Interface, May 2002, Banff, (8 pgs). A. Basu and I. Cheng. "QoS based video delivery with foveation," Proceedings of the IEEE International Conference on Image Processing, Greece, October, 2001, (4 pgs).

I. Cheng, A. Basu, Y. Zhang and S. Tripathi. "QoS Specification and Adaptive Bandwidth Monitoring for Multimedia delivery," Proceedings. IEEE EUROCON, Slovakia, June, 2001, (4 pgs). I. Cheng, A. Basu and A. Mistri. "Zoomage: Super High Resolution Imaging & Visualization Tools," Proceedings of the International Cultural Heritage Informatics Meeting, Milan, Italy, 2001, (5 pgs). L. Yin and A. Basu. "Texture decomposition and correlation thresholding for realistic low-bitrate model-based coding", Proceedings of the IEEE International Conference on Acoustic, Speech and Signal Processing, June 2000, Turkey, (4 pgs). A. Basu and H. Sahabi. "Analysis of cylindrical stereo imaging", Proceedings IAPR/IEEE International Conference on Pattern Recognition, August 2000, Spain, (4 pgs). L. Yin and A. Basu. "Partial update of active textures for efficient expression synthesis in model-based coding", Proceedings of the IEEE International Conference on Multimedia, July 2000, NY, USA, (4 pgs). J. Baldwin and A. Basu. "3D estimation using panoramic stereo", Proceedings IAPR/IEEE International Conference on Pattern Recognition, August 2000, Spain, (4 pgs). L. Yin and A. Basu. "Realistic animation using extended adaptive mesh for model based coding", Proceedings of Energy Minimization methods in Computer Vision and Pattern Recognition, July 1999, UK, pp 269-284. R. Shaffer, A. Basu and J. Harms. ``Improving perceptual quality and network performance for transmission of H.263 video over ATM,'' Proceedings. IEEE International Conference on Electronics, Circuits and Systems, Greece, September 1999, (6 pgs). J. Baldwin, A. Basu and H. Zhang. "Panoramic video with predictive displays for telepresence," Proceedings. IEEE International Conference on Robotics and Automation, USA, May 1999, (6 pgs). L. Yin and A. Basu. "Analysis and synthesis of facial expressions for MPEG-4 system,'' Proceedings of the. IEEE International Conference on SMC, USA, 1998, pp. 4608-4613. S. Bernoegger, L. Yin, A. Basu and A. Pinz. "Eye Tracking and Animation for MPEG4 coding,"), Proceedings IAPR/IEEE International Conference on Pattern Recognition, Brisbane, Australia, August 1998, (4 pgs). L. Yin and A. Basu. "MPEG4 face modeling using fiducial points," Proceedings. IEEE International Conference on Image Processing, Santa Barbara, USA, October, 1997,(4 pgs). Book Chapter A. Basu and J. Baldwin. "A real-time stereo panoramic imaging system", in R. Bensoman and S.B. Kang, editors, Springer Verlag, 2001, pp. 123-141.

Walter Bischof

Professor Email: wfb@ualberta.ca WWW: http://www.cs.ualberta.ca/~wfb

Machine Learning, Vision

Selected Publications: W.F. Bischof and P. Boulanger. Spatial navigation in virtual reality worlds. Cyberpsychology and Behavior (In Press). B. Giesbrecht, W. F. Bischof and A. Kingstone (2002). Seeing the light: Adapting luminance reveals low-level visual processes in the attentional blink. Brain and Cognition (In Press). B. Giesbrecht, W.F. Bischof and A. Kingstone. Seeing the light: Adapting luminance reveals low-level visual processes in the attentional blink. Abstracts of the 14th Annual Meeting of Theoretical and Experimental Neuropsychology (TENNET XIV), Montreal, Canada, 2003. D.M. Kelly and W.F. Bischof. When you are not where you think you are: Reorienting in navigation. Abstracts of the 13th Annual Meeting of the Canadian Society for Brain, Behaviour and Cognitive Science, Hamilton, Canada, 2003. C. Friesen, R. Borowsky, J. Cheesman and W.F. Bischof. Can gaze-triggered orienting occur without awareness? Cognitive Neuroscience Society Abstracts, 10, 124, New York, USA, 2003.

D.M. Kelly and W.F. Bischof. Landmark encoding in humans and pigeons. Abstracts of the Psychonomic Society, 7, 41, 2002. B. Giesbrecht, W. F. Bischof and A. Kingstone (2002). Visual masking during the attentional blink: Tests of the object substitution hypothesis. Journal of Experimental Psychology: Human Perception and Performance, (in press). W.F. Bischof and T. Caelli. Learning spatio-temporal relational structures. Journal of Applied Intelligence, 15, 707-722, 2001. D.M. Kelly, W.F. Bischof, D.R. Wong-Wylie and M. Spetch. Detection of Glass patterns by pigeons and humans, Psychological Science, 12, 338-342, 2001.

W.F. Bischof and T. Caelli. On the learning of complex movement sequences. In C. Arcelli, L.P. Cordella and G. Sanniti di Baja (Eds.) Visual Form 2001, New York Springer, pp 463-472, 2001. W.F. Bischof and T. Caelli. Learning complex action patterns with CRGst. In S. Singh, N. Murshed and W. Kropatsch (Eds.) Advances in Pattern Recognition - IACPR 2001, pp. 280-289, 2001. W.F. Bischof . Learning to Recognize Objects. Spatial Vision, 13, 297-304, 2000. I. Rentschler, T. Caelli, W.F. Bischof and M. Juttner. Object recognition and image understanding: Theories of everything? Spatial Vision, 13, 129-135, 2000. I. Rentschler, T. Caelli, W. Bischof and M. Juttner (Eds.) Special Edition of Spatial Vision on Object Recognition and Image Understanding by Brain and Machines. Spatial Vision, 13, No 2-3, 2000. W.F. Bischof and T. Caelli. Learning actions: Induction over spatio-temporal relational structures - CRGst. Proceeding of the Workshop on Machine Learning in Computer Vision. 14th European AI Conference, Berlin, Germany, August 20-25, 11-15, 2000. W.F. Bischof and T. Caelli. Parallel techniques for rule-based scene interpretation. In F.J. Ferri, J.M. Inesta, A. Amin and P. Pudil (Eds.) Advances in Pattern Recognition, Berlin: Springer, pp. 318-26, 2000. T.A.W. Visser, S.M. Zuvic, W.F. Bischof and V. Di Lollo. The attentional blink with targets in different spatial locations. Psychonomic Bulletin and Review, 6, 432-436, 1999. T.A.W. Visser, W.F. Bischof and V. Di Lollo. Attentional switching in spatial and non-spatial domains: evidence from the attentional blink. Psychological Bulletin, 125, 458-469, 1999. W.F. Bischof, S.L. Reid, D.R.W. Wylie and M.L. Spetch. Perception of coherent motion in random dot displays by pigeons and humans, Perception & Psychophysics, 61, 1089-1101, 1999. A. Kingstone and W.F. Bischof. Perceptual grouping and motion coherence in visual search. Psychological Science, 10, 151-156, 1999. D.R.W. Wylie, W.F. Bischof, and B.J. Frost. Common reference frame for neural coding of translational and rotational self-motion. Nature, 392, No. 6673, 19 March 1998, 278-282, 1998. K. Koga, M. Groner, W.F. Bischof and R. Groner. Motion trajectory illusion and eye movements. Swiss Journal of Psychology, 57, 5-17, 1998. W.F. Bischof and T. Caelli. Scene understanding by rule evaluation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 19, 1284-1288, 1997.

W.F.Bischof and T. Caelli. Visual learning of patterns and objects. IEEE Transactions on Systems, Man, and Cybernetics, 27, 907-917, 1997. D.H. Foster and W.F. Bischof. Bootstrap estimates of the statistical accuracy of thresholds from psychometric functions, Spatial Vision, 11, 135-139, 1997. T. Caelli and W.F. Bischof (Eds.) Image Interpretation Systems. New York: Plenum, 1997.

Pierre Boulanger

Associate Professor Email: pierreb@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~pierreb

Computer Vision, Virtualized Reality Systems, Sensor Based Geometric Modeling

Selected Publications: W. Bischof and P. Boulanger. Spatial Navigation in Virtual Reality Environments: An EEG Analyis. Journal of Cyberpsycology And Behavior, Vol 6, 487—495, 2003. F. Prieto, P. Boulanger, T. Redarce and R. Lepage. Optimal range sensor placement for an inspection application, Machine Vision & Applications Journal, in press, 2003. F. Prieto, T. Redarce, R. Lepage and P. Boulanger. An Automated Inspection System. International Journal of Advanced Manufacturing Technology. Springer-Verlag, London, U.K., Vol. 19, No. 12 , 917-925, June 2002. X. Zhong, P. Liu, N. Georganas and P. Boulanger. Designing a vision based collaborative augmented reality application for industrial training. Informationtechnik und Technische Informatik, Oldnburg, Verlag (In Press): 15 pages. Inaugural Issue. Invited Paper. G. Godin, J.A. Beraldin, J. Taylor, P. Boulanger, L. Cournoyer, M Rioux, S. ElHakim, R. Baribeau, F. Blais, J. Domey and M. Picard. Active Optical 3-D Imaging for Heritage Applications, IEEE Journal of Computer Graphics and Applications, Special Issues on Computer Graphics in Art History and Archeology, Accepted June 2002, In Press. 23 Pages. F. Prieto, P. Boulanger, T. Redarce and R. Lepage. Control de tolerencia geométricas usando imagen 3D. Journal Energia y Computacion, Vol X, No. 1, 29-39, 2001. F. Pietro, T. Redarce, P. Boulanger and R. Lepage. Accuracy improvement of contactless sensor for dimensional inspection of industrial parts, International Journal of CAD/CAM and Computer Graphics, Vol. 15, Dec. 2000, pp. 345-366. J.A. Beraldin, P. Boulanger, F. Blais, L. Cournoyer, J. Domey, S.F. El-Hakim, G. Godin, M. Rioux and J. Taylor. Real world modelling through high resolution digital 3d imaging of objects and structures. ISPRS Highlights, 2000.

C. Shu and P. Boulanger, Triangulating NURBS Surfaces, Curve and Surface Design, Vanderbilt University Press, Nashville, Tennesee, Saint Malo 99, 2000, pp. 381-388. P. Boulanger and M. Baril. An achromatic multipassage magnetic mass spectrometer. Journal of Nuclear Instrument and Methods, in press, 1999. NRC 41621. V. Moron, P. Boulanger and H.T. Redarce. Mise en correspondance automatique et robuste de donnes 3D d'un objet avec un modle CAO, application la RdF, European Journal of Automation, Vol. 32, No. 7-8, October 1998, pp. 893-914. F. Prieto, P. Boulanger, H.T. Redarce and R. Lepage. Visual System for Fast and Automated Inspection of 3D Parts, International Journal of CAD/CAM and Computer Graphic, Vol. 13, No. 4, pp. 211-227, 1998. S.F. El-Hakim, G. Godin, J.A. Beraldin and P. Boulanger. Two 3-D sensors for environment modeling and virtual reality: calibration and multi-view registration. ISPRS Highlights, 2(1): 13-21; 1997. NRC 40189. Publications in Refereed Conference Proceedings: D. Torres and P. Boulanger. A Perception and Selective Attention System for Synthetic Creatures. Third International Symposium On Smart Graphics, SG 2003, Heidelberg, Germany, pp 22-30, July 2003. Acceptance Rate is approximately 30%. P. Boulanger, N. Geoganas, X. Zhong and P. Liu. Collaborative Vision Based Augmented Reality for Industrial Training, in Proceedings of Videometrics VII, Santa Clara, 2003. D. Torres and P. Boulanger, The ANIMUS Project: A Framework for the Creation of Interactive Creatures in Immersed Environments, ACM Virtual Reality Software and Technology (VRST), Osaka Japan, October 4-7 2003, accepted June 29, 2003, 8 pages. Acceptance Rate is approximately 50%. P. Boulanger, N. Geoganas, X. Zhong, and P. Liu. A Real-Time Augmented Reality System for Industrial Tele-Training. Published in the Proceedings of Videometrics 2003, Santa Clara, pp. 21-31,Jan. 2003. Acceptance Rate is approximately 50%. F. Prieto, R. Lepage, P. Boulanger and T. Redarce. A CAD-based 3D data acquisition strategy for inspection. Machine Vision & Applications Journal, Jan 2003, 12 Pages. D. Laberge, J.F. Lapointe, E. Petriu and P.Boulanger. A 6-D Mouse for Virtual Environments, Proceeding of 2002 IEEE International Workshop on Haptic & Visual Virtual Environments, Ottawa, Ontario, Canada, 2002. P. Boulanger. Tele-Immersive Collaborative Tools for Artistic and Scientific Work, BridgeII workshop, Banff, 2002.

F. Prieto, P. Boulanger, T. Redarce and R. Lepage. Inspection automatise de pices manufactures, 13me Congrs Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, 2002, Anger, France. J. Taylor, J-A Beraldin, G. Godin, P. Boulanger, R. Baribeau, L. Cournoyer, M. Rioux and J. Domey. "Culture as a Driving Force for Research & Technology Development: A Decade's Experience of Canada's NRC 3D Technology" (selected for publication in an "EVA 2002 Best Papers" edition by Ashgate/Gower). X. Zhong, P. Boulanger and N. Georganas. "Collaborative Augmented Reality: A Prototype for Industrial Training", Proceedings of 21st Biennial Symposium on Communications, Canada, 2002. P. Boulanger, O. Jokinen and A. Beraldin. Intrinsic Filtering of Range Images Using a Physically Based Noise Model, Vision Interface 2002, Calgary, Canada, 2002. F. Prieto, P. Boulanger, R. Lepage and T. Redarce. "Automated inspection system using range data". International Conference on Robotics and Automation, ICRA 2002, 2557-2562, Washington, USA, 2002. P. Liu, N.D. Georganas and P. Boulanger. "Designing real-time vision based augmented reality environment for 3D collaborative applications." Proceedings of the Canadian Conference on Electrical and Computer Engineering, 25-31. Winnipeg, Manitoba, 2002. J.F. Lapointe and P. Boulanger. Live Virtual Reality System for the Control and Monitoring of Space Operations, 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey, Montreal, Canada, 2001. F. Prieto, T. Redarce, P. Boulanger and R. Lepage. Tolerance Control with high quality 3D data, Third Conference on 3D Digital Imaging and Modeling, Qubec, Canada, 2001. J.F. Lapointe, J.M. Robert and P. Boulanger. Optimizing Performance in Heavy Equipment Teleoperation, Mine Space Conference 2001, Qubec, Canada, 2001.

P. Boulanger, J.F. Lapointe and W. Wong. Virtualized Reality: An Application to Open Pit Mine Minitoring, Proceeding of the 19th ISPRS Congress, Amsterdam, Netherlands, 2000. P. Boulanger and S.F. ElHakim. Mobile System For Indoor 3-D Mapping And Creating Virtual Environments, ICRA 2000, San Francisco, USA, 2000. P. Boulanger, J. Taylor, M. Rioux, G. MacDonald and F. Corcoran. CMC's 3D Virtual Reality Theatre, VR Tours of Two Tombs during the Mysteries of Egypt Exhibition, International Cultural Heritage Informatics Meeting, ICHIM99, Washington, D.C., USA, 1999. J.P. Taylor, P. Boulanger, J-A, Beraldin, F. Cournoyer, F. Blais, M. Rioux and J. Domey. Heritage Application of NRC 3D Imaging Technology, Canada-Italy Workshop on Cultural Heritage, Ottawa, Canada, 1999. F. Prieto, P. Boulanger, H.T. Redarce and R. Lepage. CAD-based range sensor placement for optimum 3D acquisition, Second International Conference on 3D Imaging and Modeling, Ottawa, Canada, 1999. M. Greenspan and P. Boulanger. Efficient and Reliable Template Set Matching for 3D Object Recognition, Second International Conference on 3D Imaging and Modeling, Ottawa, Canada, 1999. F. Prieto, P. Boulanger, H.T. Redarce and R. Lepage. CAD-based range sensor placement for optimum 3D acquisition, Second International Conference on 3D Imaging and Modeling, Ottawa, Canada, 1999. M. Greenspan and P. Boulanger. Efficient and Reliable Template Set Matching for 3D Object Recognition, Second International Conference on 3D Imaging and Modeling, Ottawa, Canada, 1999. F. Prieto, H.T. Redarce, R. Lepage and P. Boulanger. Range image accuracy improvement by acquisition planning. Proceedings of Vision Interface '99, Trois Rivires, Qubec. 1999. pp. 156-163. NRC 41628. F. Prieto, H.T. Redarce, R. Lepage and P. Boulanger. Visual system for the fast and automated inspection of 3D parts. Proceedings of the 6ime Assises Europennes de Prototypage Rapide. Paris, France, 1998. pp. 124-133. NRC 41614. M. Rioux and P. Boulanger. Quality control: X,Y,Z,R,G,B, and beyond. Proceedings of the International Conference on Quality Control by Artificial Vision. Takamatsu, Kagawa, 1998. pp.359-364. NRC 41598. (invited) G. Roth and P. Boulanger. CAD model building from multiple range images. Proceedings of Vision Interface 98. Vancouver, B.C., 1998. pp. 274-281. NRC 41596. S.F. El-Hakim, P. Boulanger, F. Blais, J-A Beraldin and G. Roth. A mobile system for indoors 3-D mapping and positioning. Proceedings of the International Symposium on Real-Time Imaging and Dynamic Analysis. Hakodate, Japan, 1998. pp. 331-338. NRC 41597.

S.F. El-Hakim, P. Boulanger, F. Blais, J.A. Beraldin and G. Roth. A mobile system for indoors 3-D mapping and positioning. Proceedings of the Optical 3-D Measurement Techniques IV, Zurich. 1997. pp. 275-282. NRC 41548. S.F. El-Hakim, P. Boulanger, F. Blais and J.A. Beraldin. Sensor-based creation of indoor virtual environment models. Proceedings of the Virtual Systems and Multimedia - VSMM'97, IEEE Computer Society Press Geneva, Switzerland, 1997. pp. 50-58. NRC 41567. S.F. El-Hakim, P. Boulanger, F. Blais and J.A. Beraldin. A system for indoor 3-D mapping and virtual environments. SPIE Proceedings, Vol. 3174: Videometrics V. San Diego, CA. 1997. pp. 21-35. NRC 41568.

Michael Bowling

Assistant Professor Email: bowling@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~bowling

Multiagent learning and planning, game theory, reinforcement learning, commercial computer games, robotics

Selected Publications: In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003. Multiagent learning using a variable learning rate, M. Bowling and M. Veloso. Artificial Intelligence, 136:215--250, 2002. OBDD-based optimistic and strong cyclic adversarial planning, R. M. Jensen, M. M. Veloso, and M. H. Bowling. In Proceedings of the Sixth European Conference on Planning, Toledo, Spain, September 2001. The CMUnited-98 champion small robot team, M. Veloso, M. Bowling, S. Achim, K. Han, and P. Stone. Advanced Robotics, 2000. An earlier version appeared in RoboCup-98: Robot Soccer World Cup II, Asada and Kitano (Eds.), Springer, 1999, pages 77--92. A shorter version appeared in the AI Magazine, 21:29--36.

Vadim Bulitko

Assistant Professor Email: bulitko@ualberta.ca WWW: http://www.cs.ualberta.ca/~bulitko

Machine Learning, Artificial Intelligence

Selected Publications: V. Bulitko, D.C. Wilkins. Qualitative Simulation of Concurrent Temporal Processes with Time Interval Petri Nets. Artificial Intelligence Journal. Volume 144. Number 1-2. pp 95 124, 2003. V.K. Bulitko, V. Bulitko. On Existence of Complete Sets for Bounded Reducibilities. Mathematical Logic Quarterly. Number 6. Volume 49. pp. 19. 2003. V. Bulitko. Lookahead Pathologies and Meta-level Control in Real-time Heuristic Search. In Proceedings of the 15th Euromicro Conference on Real-Time Systems. pp. 1316. 2003. V. Bulitko, D.C. Wilkins. Real-time Decision Making For Shipboard Damage Control. AAAI/KDD/UAI-2002 Joint Workshop on Real-Time Decision Support and Diagnosis Systems, pp. 37-46, 2002. G.E. Schrah, O.S. Chernyshenko, M.R. Baumann, J.A. Sniezek, V.V. Bulitko, S.A. Borton and D.C. Wilkins. A New Approach to Scoring Dynamic Decision Making Performance on High Fidelity Simulators: Reliability and Validity Issues. Proceedings of the 15th Annual Conference for the Society for Industrial and Organizational Psychology, New Orleans, Louisiana, 2000. V.K. Bulitko and V.V. Bulitko. On a Criterion for NP-completeness. Ukrain. Mat. Zh. 50 (1998), no. 12, 1686-1691; translation in Ukrainian Mathematical Journal. 50 (1998), no. 12, 1924-1928 (1999). V.V. Bulitko and D.C. Wilkins. Learning to Envision: An Intelligent Agent for Ship Damage Control. Proceedings of the ACAI'00 conference. Crete, Greece. July 1999. V.V. Bulitko and D.C. Wilkins. Using Petri Nets to Represent Context in Blackboard Scheduling. Proceedings of the AAAI Workshop on Reasoning in Context for AI Applications. Orlando, Florida, July 1999. V.V. Bulitko and D.C. Wilkins. Damage Control Domain: Using Petri Nets for Intelligent Scheduling. Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, Virginia. June 1999.

Publications co-authored with University of Alberta Computing Science students 1997 - present I. Levner, V. Bulitko, L. Li, G. Lee, R. Greiner. Towards Automated Creation of Image Interpretation Systems. In proceedings of Australian Joint Conference on Artificial Intelligence. 2003. V. Bulitko, G. Lee, I. Levner. Evolutionary Algorithms for Operator Selection in Vision. In Proceedings of The Fifth International Workshop on Frontiers in Evolutionary Algorithms. 2003. V. Bulitko, L. Li, R. Greiner, I. Levner. Lookahead Pathologies for Single Agent Search. In Proceedings of the International Joint Conference on Artificial Intelligence. pp. 15311533. 2003. V. Bulitko, L. Li, G. Lee, R. Greiner, I. Levner. Adaptive Image Interpretation : A Spectrum Of Machine Learning Problems. In Proceedings of the International Conference on Machine Learning. Workshop on The Continuum from Labeled to Unlabeled Data in Machine Learning and Data Mining. pp. 18. 2003. V. Bulitko, I. Levner, and R. Greiner. Real-time Lookahead Control Policies. AAI/KDD/UAI-2002 Joint Workshop on Real-Time Decision Support and Diagnosis Systems, pp. 28-36, 2002. I.Levner, V. Bulitko, O. Madani and R. Greiner. Performance of Lookahead Control Policies in the face of Abstractions and Approximations. In Lecture Notes in Artificial Intelligence (LNAI 2371), S. Koenig, R. Holte (Eds.), 299-308. Springer-Verlag, Berlin, Heidelberg, 2002.

Michael Buro

Associate Professor Email: mburo@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~mburo

Artificial Intelligence, Heuristic Search in AI, Machine Learning, Function Approximation, Real-Time Command and Control

Selected Publications: D. Gomboc, T. Marsland and M. Buro. Evaluation Function Tuning via Ordinal Correlation. 10th Advances in Computer Games Conference. Graz, Nov 2003. M. Buro. Real-Time Strategy Games: A New AI Research Challenge. Proceedings of the International Joint Conference on AI 2003, Acapulco, Mexico. 2003. M. Buro. Improving Heuristic Mini-Max Search by Supervised Learning, Artificial Intelligence, Vol. 134 (1-2) pp. 85-99, 2002. M. Buro. Improving Heuristic Mini-Max Search by Supervised Learning, Artificial Intelligence, Vol.134 (1-2) 85-99, 2002. M. Buro. The Evolution of Strong Othello Programs, Proceedings of the International Workshop on Entertainment Computing, Makuhari (Japan) 12-17, 2002. M. Buro. ORTS: A Hack-Free RTS Game Environment, Proceedings of the Third International Conference on Computers and Games, Edmonton (Canada) 156-161, 2002. M. Buro. The IWEC-2002 Man-Machine Othello Match, to appear in the ICGA Journal 2002. M. Buro. Efficient Approximation of Backgammon Race Equities, ICCA Journal 22(3) 1999, 133-142, reprinted in: Advances in Computer Games 9, H.J. van den Herik, B. Monien (ed.), ISBN 90-6216-566-4, 2001. M. Buro. Toward Opening Book Learning, ICCA Journal 22(2) 1999, 98-102, reprinted in: Games in AI Research, H.J. van den Herik, H. Iida (ed.), ISBN: 90-621-6416-1, 2000, and in: Machines That Learn to Play Games, J. Frnkranz and M. Kubat (ed.), ISBN: 1-59033-021-8, 2001.

M. Buro and I. Durdanovic. An Overview of NECI's Generic Game Server, Proceedings of the 6th Computer Games Olympiad Workshop, Maastricht (The Netherlands), 32-37, 2001. M. Buro. Experiments with Multi-ProbCut and a New High-Quality Evaluation Function for Othello, Games in AI Research, H.J. van den Herik, H. Iida (ed.), ISBN: 90-621-6416-1, 2000. M. Buro. How Machines have Learned to Play Othello, IEEE Intelligent Systems J. 14(6) 12-14, 1999. M. Buro. Toward Opening Book Learning, ICCA Journal 22(2), 98-102, 1999. M. Buro. Efficient Approximation of Backgammon Race Equities, ICCA Journal 22(3) 133-142, 1999. M. Buro. How Machines have learned to play Othello, IEEE Intelligent Systems J. 14(6), 12-14, 1999. M. Buro. The Othello Match of the Year: Takeshi Murakami vs. Logistello, ICCA Journal 20(3) 189-193, 1997. M. Buro. Experiments with Multi-ProbCut and a New High-Quality Evaluation Function for Othello, Workshop on Game-Tree Search, NEC Research Institute, Princeton (USA), 1997. M. Buro. The Othello Match of the Year: Takeshi Murakami vs. Logistello, ICCA Journal 20(3) 189-193, 1997.

Terry Caelli

Professor/Associate Chair (Research) Email: tcaelli@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~tcaelli

Computer Assisted Perception and Action Systems: Computer Vision, Pattern Recognition, Environmental Sensing & GIS

Books and Special Editions: T. Caelli A. Amin, R. Duin, M. Kamel, D. de Ritter (Eds.), Structural, Syntactic and Statistical Pattern Recognition, Lecture Notes in Computer Science, LNCS 2396, Springer. Bunke, H. and Caelli, T. (Eds) (2001) Special Edition of the International Journal of Pattern Recognition and Artificial Intelligence on Hidden Markov Models in Vision, Vol 15, no. 1. Rentschler, I., Caelli, T. and Bischof, W. (Eds.)(2000) Special Edition of Spatial Vision on Biological and Machine Object Recognition, Vol, 13,2-3. Caelli, T. and Bischof, W. Machine Learning and Image Interpretation . Plenum , New York, 1997. Caelli, T, Bunke, H. and Lam, P. (Guest Editors. Spatial Computing: Vision, Multimedia and Visualization Technologies, Singapore: World Scientific, 1997. Also in: International Journal of Pattern Recognition and Artificial Intelligence, 11, Numbers 1-2, 1997. International referred Journal Articles: Caelli, T., Downey, J and Caelli, T. Towards a Decision Support System for Health Promotion in Nursing. Journal of Advanced Nursing (In Press) M. Takatsuka, G. A. West, S. Venkatesh and T. M. Caelli. Low-cost Interactive Active Range Finder, Machine Vision and Application (In Press). G. Boccignone, M. Ferraro, T. Caelli, T. (2002) Generalized Spatio-chromatic Diffusion. IEEE: Transactions on Pattern Analysis and Machine Intelligence, 24,10,1298-1309.

M. Ferraro, G. Boccignone and T. Caelli (2002) Entropy-based representation of image information. Pattern Recognition Letters , 23, 1391-1398. Takatsuka, M., Caelli, T. M., West, G. A. and Venkatesh, S. (2002) An application of "agent-oriented" techniques to symbolic matching and object recognition, Pattern Recognition Letters, 23, 419 - 429. Boccignone, G., Ferraro, M. and Caelli, T. (2001) Encoding Visual Information from Anisotropic Transformations. IEEE: Transactions on Pattern Analysis and Machine Intelligence, 23, 2, 207-211. Bischof, W. and Caelli, T. (2001) Learning Actions: Induction Over Spatio- Temporal Relational Structures: CRGst. Applied Artificial Intelligence, 15, 707- 722. Caelli, T., McCabe, A. and Briscoe, G. (2001) Shape Tracking and Production using Hidden Markov Models. International Journal of Pattern Recognition and Artificial Intelligence, 15,1, 197-221. Rentscher, I., Caelli, T., Bischof, W., and Juttner, M.(2000) Object recognition and image understanding: Theories of Everything? Spatial Vision, 13, 2-3, 129-136. Drummond, T. and Caelli, T. (2000) Task-Specific Object Recognition and Scene Understanding. Computer Vision and Image Understanding, 80, 315-348. McCabe, A., Caelli, T. West, G. and Reeves, A. (2000) A Theory of Spatio- Chromatic Image Encoding and Feature Extraction. Journal of the Optical Society of America: A. 17, 10, 1744-1754. Strassopolou, A., Caelli, T. and Ramirez, R.(2000) Building detection using Bayesian Networks. International Journal of Pattern Recognition and Artificial Intelligence , 14, 6, 715-734. Caelli, T. (2000) Learning Paradigms for Image Interpretation. Spatial Vision, 13,2-3, 305-315. Assopolou, A., Caelli, T. and Ramirez, R. (2000) Automatic Extraction of Building Statistics from Digital Orthophotos. International Journal of Geographical Information Science, 14, 8, 795-814. Squire, D. and Caelli, T. (2000) Invariant Signatures: Characterizing contours by their departures from invariance. Computer Vision and Image Understanding, 77, 3, 284-316. Wong, H., Caelli, T., and Guan, L.(2000) A Model-Based Neural Network for Edge Characterization. Pattern Recognition, 33, 3, 427-444. Ferraro, M., Boccignone, G. and Caelli, T.(1999) On the representation of image structures via scale space entropy conditions. IEEE:Transactions on Pattern Analysis and Machine Intelligence, 21, 11, 1199-1204. Caelli, T., Guan, L. and Wen, W. (1999) Modularity in Neural Computing. Proceedings of the IEEE, 87, 9, 1497-1518.

Pearce, A. and Caelli, T. (1999) Interpreting Schematics: Learning how to recognize spatio-temporal relational structures. Computer Vision and Image Understanding, 73, 3, 391-403. Caelli, T., West, G., Robey, M. and Osman, E.(1999). A relational learning method for pattern and object recognition. Image and Vision Computing, 17, 391-401. Dillon, C. and Caelli, T. (1998) Learning Image Annotation: the CITE system. Videre, 1, 2, 90-123. McCane, B., Caelli, T., and de Vel, O. (1998) Inducing complex spatial descriptions in two dimensional scenes. In G. Antoniou, A. Ghose and M. Truszczynski (Eds.). Learning and Reasoning with Complex Representations, Springer, Lecture Notes in Artificial Intelligence 1359, 123-132. Lazarescq, M. ,Caelli, T. and Venkatesh, S.(1998). Extracting Common Subtrees from Decision Trees. International Journal of Pattern Recognition and Artificial Intelligence, 12, 6, 867-880. McCane, B. and Caelli, T. and de Vel, O. (1998) Applications of Machine Learning to Intensity-Based 3D Object Recognition. International Journal of Pattern Recognition and Artificial Intelligence, 11, 6, 909-931. Lam, P., West, G. and Caelli, T. (1998) Issues in Validation of Machine Learning Techniques: Decision Trees and Finite Training Set. Journal of Electronic Imaging: Special Edition on Computational Intelligence in Image Processing, 7, 1, 94-103. Caelli, T., Osman, E. and West, G.(1998) 3D matching and inspection using geometric features and relational learning. Computer Vision and Image Understanding, 72, 3, 340-350. Ferraro, M. and Caelli, T. (1998). Neural computations of algebraic and geometric structures. Neural Networks, 11, 4, 699-708. Juettner, M., Caelli, T. and Rentschler, I.(1998) Human Learning and Pattern Recognition. Journal of Mathematical Psychology, 41, 3, 244-258. Buse, R., Liu, Z.Q., and Caelli, T. (1998) A Structural and Relational Approach to Handwritten Word Recognition. IEEE: Systems, Man and Cybernetics , 27, 5, 847-861. Bischof, W. and Caelli, T(1997) Visual Learning of Patterns and Objects. IEEE: Systems, Man and Cybernetics, 27, 6, 907-917. Bischof, W. and Caelli, T.(1997) Scene Understanding by Rule Evaluation. IEEE:Transactions on Pattern Analysis and Machine Intelligence, 19, 11, 1284-1289. Cerevic, D. and Caelli, T.(1997) Region-Based Coding of Colour Images Using Karhunen-Loeve Transform. Computer Vision, Graphics and Image Processing, 59,1, 27-38

D. Carevic and T. Caelli, (1997) Application of partial modeling techniques for texture segmentation, Journal of the Optical Society of America: A, 14, 11, 2924 - 2937. Caelli, T. and Bischof, W.(1997) Machine Learning and Computer Vision. International Journal of Pattern Recognition and Artificial Intelligence, 11, 1, 143-168. Caelli, T., Dillon, C., Osman, E. and Kreiger, G.(1997) The IPRS image processing and pattern recognition system. Spatial Vision , 11, 1, 107-116. International Refereed Conference Papers Caelli, T. and McCane, B. (2003) Components analysis of hidden Markov models in Computer Vision, 12th International Conference on Image Analysis and Processing, September 17-19, 2003 Mantova, Italy (In Press). Caelli, T., Cheng, L., and Feng, Q. (2003). A Bayesian Approach to Image Understanding: From Images to Virtual Forests. Vision Interface, Halifax, June 2003 (In Press). Cheng, L. and Caelli, T.(2003) Doubly-MRF Stereo Matching. IEEE International Conference on Acoustics, Speech, and Signal Processing: ICAASP 2003, Hong Kong. Rentschler I, Jttner M, Osman E, Mller A & Caelli T (2002) Multimodal representations for human 3D object recognition. In: RP Wrtz & Lappe M, (Eds), Dynamic Perception. Workshop Image Understanding and the European Networks MUHCI and ECOVISION, Bochum. Akademische Verlagsgesellschaft, AKA, Berlin, and IOS Press BV, Amsterdam, pp 327-332. Davis, R., Lovell, B. and Caelli, T. (2002) Improved Estimation of Hidden Markov Model Parameters from Multiple Observation Sequences. 16th International Conference on Pattern Recognition: ICPR'2000 , IEEE Press, 2, 168-171. Cheng, L. and Caelli, T. and Occhio, V. (2002) A trainable HMRT systems for image annotation. 16th International Conference on Pattern Recognition: ICPR'2000 , IEEE Press, 1, 192-195. Kosinov, S. and Caelli, T. (2002) Inexact Multisubgraph matching using Graph Eigenspace and Clustering Models. 9th International Workshop on Structural and Syntactic Pattern: SSPR2002, in T. Caelli A. Amin, R. Duin, M. Kamel, D. de Ritter (Eds.), Structural, Syntactic and Statistical Pattern Recognition, Lecture Notes in Computer Science, LNCS 2396, Springer, 133-142. Boccignone, G.,Ferraro, M., Caelli, T.(2001) An Information-theoretic Approach to Active Vision, Proceedings ICIAP 2001, Palermo, Italy, Sept. 2001 , IEEE Press, 340-345.

Boccignone, G., Ferraro, M. and Caelli, T.(2001) On the representation of visual information. International Workshop on Visual Form: IWVF'2001, in C. Arcelli, L. Cordella, G. Sanniti di Baja (Eds.), Visual Form, Lecture Notes in Computer Science, LNCS 2059, Springer, 176-185. Bischof, W. and Caelli, T. (2001) Learning Complex Actions. International Workshop on Visual Form: IWVF'2001, in C. Arcelli, L. Cordella, G. Sanniti di Baja (Eds.), Visual Form, Lecture Notes in Computer Science, LNCS 2059, Springer, 463-472. Boccignone, G., Ferraro, M. and Caelli, T.(2001) An Information-theoretic Approach to Active Vision. 11th International Conference on Image Analysis and Processing. Caelli, T., McCabe, A. and Binsted, G. (2001) On Learning the Shape of Complex Actions, International Workshop on Visual Form: IWVF'2001 in C. Arcelli, L. Cordella, G. Sanniti di Baja (Eds.), Visual Form, Lecture Notes in Computer Science, LNCS 2059, Springer, 24-39. Caelli, T. and McCabe, A.(2001) Complex Images and Complex Filters: A unified model for encoding and matching shape and colour. International Conference on Advances in Pattern Recognition: ICAPR'2001, Rio, March, 2001. In S. Singh, N. Murshed and W. Kropatsch (Eds.) Springer Lecture Notes in Computer Science, Volume 2013, 321-330. Bischof, W. and Caelli, T. (2001) Learning Complex Action Patterns and CRG(st. International Conference on Advances in Pattern Recognition: ICAPR'2001, Rio, March, 2001. In S. Singh, N. Murshed and W. Kropatsch (Eds.) Springer Lecture Notes in Computer Science, Volume 2013, 280-289. Ferraro, M, Boccignone, G., Caelli, T. (2000) Isotropic versus Anisotropic Encoding of Visual Information. Proceedings of the ICIP2000, Vancouver, IEEE Press, 905-908. Bischof, W. and Caelli, T.(2000) Learning actions: Induction over spatio- temporal relational structures - CRGst. Proceeding of the Workshop on Machine Learning in Computer Vision. 14th European AI Conference, Berlin, Germany, August 20-25, 11-15. Caelli, T. (2000) Shape Boundary Tracking with Hidden Markov Models. 8th International workshop on Structural and Syntactic Pattern: SSPR2000, In F. Ferri, J. Inesta, A. Amin, P. Pudil(Eds.) Advances in Pattern Recognition, Lecture Notes in Computer Science, Vol 1876, Springer, Berlin, 308-317. Caelli, T.(2000) On prototyping Human Image Annotation. In Proceedings of Vision Interface'2000, CIPS: ISBN 0-7717-05573, 242-246. Caelli, T.(2000) Learning Image Feature Extraction: Modeling Tracking and Predicting Human Performance. 15th International Conference on Pattern Recognition: ICPR'2000 , IEEE Press, New York, Vol 2, 215-218.

Bischof, W. and Caelli, T. (2000) Parallel Techniques for Rule-based Scene Interpretation. 8th International workshop on Structural and Syntactic Pattern: SSPR2000 In F. Ferri, J. Inesta, A. Amin, P. Pudil(Eds.) Advances in Pattern Recognition, Lecture Notes in Computer Science, Vol 1876, Springer, Berlin, 319-326. Boccignone, G., Ferraro, M. and Caelli, T.(2000) Entropy Production in Colour Images. 15th International Conference on Pattern Recognition: ICPR'2000, IEEE Press, New York, Vol 1, 202-205. Boccignone, G., Ferraro, M. and Caelli, T. (1999) Local Structure in Images from Entropy Production. IEEE International Conference on Image Processing ICIP'99, Kobe(August), Japan, IEEE Press, 1, 343-347. M. Takatsuka, T. M. Caelli, G.A. West and S. Venkatesh Symbolic Representation and Distributed Matching Strategies for Schematics ICDAR'99 - Fifth International Conference on Document Analysis and Recognition , Bangalore, India, Sep. 20-22 1999 , 693-696. Boccignone, G., Ferraro, M. and Caelli, T(1999) Visual information from anisotropic transformations. ICIAP'99: International Conference on Image Analysis and Processing , Venice (September), Italy, IEEE Press, 1, 334-339. M. Takatsuka, T. M. Caelli, G.A. West and S. Venkatesh Schematics and 3-D Object Interpretation using Symbolic Representation and Distributed Matching Strategies The Third IAPR International Workshop on Graphics Recognition - Jaipur, India, Sep. 26-27 1999, 293-299. Wong, H., Caelli, T. and Guan, L. (1999) Edge Characterization Using a Model- Based Neural Network. Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing, Vol. 2, pp. 1101-1104, Phoenix, USA, March. Takatsuka, M., West, G., Venkatesh, S., and Caelli, T .(1999). Low-cost Interactive Active Monocular Range Finder. Computer Vision and Pattern Recognition: CVPR'99, June 23-25, I:444-449. D. Carevic, I. Chant and T. Caelli (1999) Feature extraction and classification of minelike targets from GPR data using Gaussian mixture models" Information, Decision and Control, IDC99, Adelaide, Australia, 8-10 February 1999, pp. 329- 335. Lazarescq, M., Venkatesh, S., Caelli, T. (1998) Using Natural Language and Video Data to Query and Learn American Football Plays. International Conference on Advances in Pattern Recognition: ICAPR'98, Springer-Verlag, ISBN 1-85233-078-363-73, 63-73. McCabe, A., Caelli, T., and West, G.(1998) Filter techniques for Complex Spatio-Chromatic Image Processing. IEEE International Conference on Image Processing, Chicago, Oct 4-7, IEEE Computer Society Press, 742-746.

Magee, R., Lam, P. and Caelli, T.(1998) Using Neural Networks to correct first order numerical estimates of time series. ICIPS'98: 2nd IEEE International Conference on Intelligent Processing Systems: ICIPS98, 464-467. Stassopolou, A., Caelli, T., and Ramirez, R.(1998) On the Automatic Extraction of Housing Statistics from Images using Computer Vision and Probabilistic Reasoning Methods. LIS/GIS'98, Fort Worth, Texas, Association of American Geographers, ISBN-1-57083-057-6, 43-52. Caelli, T.(1998) Integrating Numerical and Syntactic Learning Models for Pattern Recognition. Joint IAPR International Workshops: SSPR'98 and SPR'98. Amin, A., Dori, D., Pudil, P., Freeman, H.(Eds.) Advances in Pattern Recognition, Springer, Lecture Notes in Computer Science 1451, 95-111. Lazarescu, M., Venkatesh, S., and Caelli, T. (1998) Combining NL processing and video data to query American Football. 14th international Conference on Pattern Recognition: ICPR'98, August, Brisbane, IEEE Press, 1238-1240. Caelli, T., Stassopoulou, A. and Ramirez, R.(1998) Adaptive, multi-scaled variance models for image segmentation and feature extraction" International Society of Photogrammetry and Remote Sensing: Commission III Theory and Algorithms, Columbus, July 6-10, Vol 32, 3/1, 202-206. Caelli, T. (1998) Machine Learning for Image Annotation. Artificial Intelligence and Pattern Recognition for Artificial Vision: IAPRVA98, Ferrara, Italy, April 6-7, 1998, 99- 115. Caelli, T., Osman, E. and West, G.(1998) On learning to recognise 3D shape defects 3rd International Workshop on Visual Form (IWVF3), In C. Arcelli, L. Cordella, and G. Sanniti di Baja (Eds.) Advances in Visual Form Analysis, World Scientific, 71-78. Pearce, A., Caelli, T. and Goss, S.(1998) On Learning Spatio-Temporal Relational Structures in Two Different Domains. In Proceedings of the third Asian conference on computer vision 1998 (ACCV'98); In R. Chin and T. Pong(Eds.), Lecture Notes in Artificial Intelligence, Springer_Verlag, 1352, 551-228. Briscoe, G. and Caelli, T.(1997) Learning Temporal Sequences in Recurrent Self-Organising Neural Nets. Proceedings of AI'97. In Abdul Sattar (Ed.). Lecture Notes in Artificial Intelligence, Springer-Verlag, 417-426. McCabe, A., Caelli, T., and West, G.(1997) Complex Spatio-Chromatic Image Processing. In Proceedings of Digital Image and Vision Computing-Techniques and Applications, IAPR: Australian and New Zealand Annual Pattern Recognition Conference, 47-52.

Drummond, T. and Caelli, T.(1997) Segmentation is a High Level Process. In Proceedings of Digital Image and Vision Computing-Techniques and Applications, IAPR: Australian and New Zealand Annual Pattern Recognition Conference, 147-152. Pearce, A., Caelli, T., and Goss, S. (1997) Adaptive Curvature-Based Topography for Learning Symbolic Descriptions of Terrain Maps. Proceedings of AI'97. In Abdul Sattar (Ed.). Lecture Notes in Artificial Intelligence, Springer- Verlag, 282-289. Squire, D. and Caelli, T.(1997) Shift, Rotation and Scale Invariant Signatures for Two Dimensional Contours in an Neural Network Architecture. International Conference on Mathematics of Neural Networks and Applications, In Ellacott, S., Mason, J. And Anderson, I.(Eds.) Mathematics of Neural Networks: Models, Algorithms and Applications, Boston: Kluwer Academic Press, 344-348. Pearce, A. and Caelli, T.(1997) Schematic Interpretation and the CLARET consolidated learning algorithm. Proceedings of the First International Conference on Conventional and Knowledge-based Intelligent Electronic Systems (KES'97), May, Adelaide, 64-71. McCane, B. and Caelli, T.(1997) Multi-scale Adaptive Segmentation using Edge and Region- based Attributes. L.C. Jain (Ed.) Proceedings of the First International Conference Knowledge- based Intelligent Electronic Systems (KES'97), May, Adelaide, IEEE, 72-81. Lam, P., West, G. and Caelli, T.(1997). Data Representations and Machine Learning Techniques. Second International Symposium, IDA-97, London, August. In X. Liu, P. Cohen and M. Berthold (Eds.) Advances in Intelligent Data Analysis. Lecture Notes in Computer Science 1280, Springer, 161-172. Gill, T., Robey, M., and Caelli, T.(1997). Road Planning for Open-Cut Pits Regional Applications of Computers to Mining (APCOM) Conference, Moscow, August, 1997, ISBN 5-7418-0120-X, 374-380. McCabe, A., Caelli, T. and West, G. (1997). Filter techniques for complex spatio- chromatic image processing. Australian Pattern Recognition Conference: DICTA'97 , 47-52. Caelli, T. and Pearce, A.(1997) Cooperative and distributed architectures for image interpretation. In First International Workshop on Co-operative Distributed Vision, Kyoto, Oct, pgs. 55-74. Book Chapters: McCane, B., Caelli, T. and de Vel, O (1998) Inducing Complex Spatial Descriptions in Two Dimensional Scenes in Learning and Reasoning with Complex Representations, Lecture Notes in Artificial Intelligence, Vol 1359, G. Antoniu, A. K. Ghose, and M. Truszczynski (Eds.) Springer, 123-132.

Caelli, T., and Bischof, W.(1997). The Role of Machine Learning in Building Image Interpretation Systems. In T. Caelli, H. Bunke and P. Lam (Eds.) Spatial Computing: Issues in Vision, Multimedia and Visualization Technologies. World Scientific, Singapore, 143-169.

Joe Culberson

Professor Email: joe@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~joe

Algorithms and Hard Problems

Publications co-authored with University of Alberta Computing Science students 1997 – present: Y. Gao and J. Culberson. On the Treewidth of NK Landscapes. Genetic and Evolutionary Computation Conference (GECCO 2003), LNCS 2723, pp. 948-954, 2003. Y. Gao and J. Culberson. An Analysis of Phase Transition in NK Landscapes. Journal of Artificial Intelligence Research. Vol. 17, pp. 309-332, 2002. Resolution Complexity of Random Constraint Satisfaction Problems: Another Half of the Story Yong Gao(presenter) and Joseph Culberson LICS'03 Workshop on Typical Case Complexity and Phase Transisitions. Y. Gao and J. Culberson. The Phase Transition in NK Landscapes is Easy. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001) pp.1227-1234, 2001. Generating Instances of Intermediate Hardness for Satisfiability. Calin Anton and Joseph Culberson SAT 2003 Poster Presentation (Calin presented). B. Vandegriend and J. Culberson. The Phase Transition is Not Hard for the Hamiltonian Cycle Problem. Journal of Artificial Intelligence Research. Vol. 9, pp.219-245, 1998.

Renée Elio

Professor/Associate Chair (Undergraduate) Email: ree@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~ree

Cognitive Science, Computational Models of Human Cognition

Selected Publications: Bac, M. & Elio, R. Schema-based alethic realism: Agency, the environment, and truthmaking. Minds and Machines. (In Press), 32pgs. FJ Pelletier and R Elio. The case for psychologism in default Reasoning. Synthese (In Press), 30pgs. Pelletier, F. J., & Elio, R. Enumerating the preconditions of agent message types. In Y. Xiang and B. Chaib-draa (Eds.) Advances in Artificial Intelligence: Proceedings of the 16th Conference of the Canadian Society for Computational Studies of Intelligence, LNAI 2671, 50-65. Springer-Verlag, Berlin. 2003 Petrinjak, A., & Elio, R. Understanding "not-understood": Towards an ontology of error conditions in agent communication. In Y. Xiang and B. Chaib-draa (Eds.) Advances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence, LNAI 2671, 383 - 399. Springer-Verlag, Berlin. 2003 F.J. Pelletier & Elio, R. Logic and cognition. In P. Gardenfors, K. Kijania-Placet, J. Wolenski (eds) The Scope of Logic, Methodology and Philosophy of Science, Synthese Library #315, 137-156.Dordrecht: Kluwer Academic Press. 2002 R. Elio. Belief-desire-intention agency in a general cognitive architecture, Cognitive Science Quarterly, 2, 321-340. 2002. R. Elio (ed.) Common sense, reasoning and rationality, New York: Oxford University Press. 2002. R. Elio. Issues in common sense reasoning and rationality. In R. Elio (ed.) Common sense, reasoning and rationality, pp.3-36, New York: Oxford University Press. 2002. R. Elio and A. Haddadi. Abstract tasks and conversation policies. In F. Dignum and M. Greaves (Eds.) Issues in Agent Communication, 301-314. Springer Verlag, Berlin, 1999.

P. Langley, C. Thompson, R. Elio and A. Haddadi. An adaptive conversational interface for destination advice. In M. Klusch, O. Shehory and G. Weiss (Eds.) Cooperative Informational Agents III, Springer Verlag, Berlin, pp. 347-364, 1999. F.J. Pelletier and R. Elio. A study of belief revision theories. In J. Wiles and T. Dartnell (Eds). Perspectives on Cognitive Science II. Ablex Publishing, New Jersey, pp.131-148, 1999. R. Elio and A. Haddadi. On abstract tasks and conversation policies. In M. Greaves and J. Bradshaw (Eds.) Specifying and Implementing Conversation Policies for Agents, pp. 89-98. (1999). Third International Conference on Autonomous Agents. Seattle, Washington. Menlo Park, CA: AAAI Press, 1999. R. Elio. How to disbelieve "p implies q": Resolving contradictions. In Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, pp. 315-320. University of Wisconsin, Madison. Lawrence Erlbaum Associates: New Jersey, 1998. F.J. Pelletier and R. Elio. What should default reasoning be, by default? Computational Intelligence, 13, 165-187, 1997. R. Elio. Generating alternative process models through simulation. In B. Endres-Niggemeyer and C. Inchaurralde (Eds.) The cognitive level. Duisburg, Netherlands: Linguistic Agency University of Duisburg, 1997. R. Elio and F.J. Pelletier. Belief change as propositional update. Cognitive Science, 4, 419-460, 1997. <F.J. Pelletier & Elio, R. Logic and cognition. In P. Gardenfors, K. Kijania-Placet, J. Wolenski (eds) The Scope of Logic, Methodology and Philosophy of Science, Synthese Library #315, 137-156.Dordrecht: Kluwer Academic Press. 2002. Publications co-authored with University of Alberta Computing Science students 1997 – present: R. Elio, A. Haddadi and A. Singh. Task models, intentions and agent communication. Lecture Notes in Artificial Intelligence 1886: Proceedings of the Pacific Rim Conference on AI (PRICAI-2000), 394-403. Springer Verlag: Berlin, 2000. R. Elio, A. Haddadi and A. Singh. Task models for agent conversation policies. Proceedings of Autonomous Agents, 229-230, 2000. M.A. Upal and R. Elio. Learning rewrite rules versus search control rules to improve plan quality. Proceedings of the Canadian Conference on Artificial Intelligence, pp. 240-253, 2000.

M.A. Upal and R. Elio. Learning rationales to improve plan quality for partial order planners. In A. Kumar and I. Russell (Eds.) Proceedings of the Twelfth International FLAIRS Conference, pp. 371-377, Orland, Florida. AAAI Press: Menlo Park, CA., 1999. M.A. Upal and R. Elio. Learning to improve the quality of plans produced by partial-order planners. In A. Valente (Ed.) Knowledge Engineering and Acquisition for Planning Workshop Papers, pp. 94-113. Fourth International Conference on Artificial Intelligence Planning Systems. AAAI Technical Report, Menlo Park, CA:AAAI Press, 1998.

Ehab S. Elmallah

Associate Professor Email: ehab@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~ehab

Next Generation Networks: Architecture, Performance Modelling, and Algorithms

Refereed Journal Papers and Papers in Special Volumes: E.S.Elmallah and C. H.Lam. Fast Permutation Routing in a Class of Interconnection Networks, Networks, 40(2), pp. 85-90, 2002. E. Elmallah and H.Aboelfotoh. Enhancing the Consecutive Cuts Bound for Network Reliability, to be submitted to IEEE tr. on Reliability (a preliminary version appears in Congressus Numerantium 145, pp. 203-214, 2000). E. Elmallah and L. Stewart. Polygon graph recognition, Journal of Algorithms, 26 (1998), pp. 101-139. E. Elmallah and C.H. Lam An O(N1.695) permutation routing algorithm on augmented data manipulators, DIMACS Series in Discrete mathematics and Theoretical Computing Science, 42 (1997), pp. 235-244. Papers Published in Refereed Conference Proceedings: L Wu and E Elmallah. Supporting relative delay differentiation in CDMA cellular environments. In Proceedings of the International Symposium on Wireless Systems and Networks (ISWSN 2003). King Fahd University of Petroleum & Minerals, Dhahran, Saudi Arabia. (2003). E. Elmallah and H. Hassanein. A Power-aware Admission Control Scheme for Supporting the Assured Forwarding Model in CDMA Cellular Networks Proceedings of the IEEE LCN 2002, Tampa, Florida. E. Elmallah and H. Hassanein. A Mobility Prediction Approach for Supporting Assured Forwarding on Downlink W-CDMA, Proceedings of the IEEE Workshop on Applications and Services in Wireless Networks (ASWN), Paris, France, pp. 58-66, 2002. E. Elmallah, H. Hassanein and H. Aboelfothoh. Supporting QoS Routing in Mobile Ad Hoc Networks using Probabilistic Locality and Load Balancing, IEEE GLOBECOM Symposium on Ad Hoc Wireless Networks, San Antonio, 2001. E. Elmallah and H. Hassanein. Supporting Differentiated Services Traffic for Downlink Packet Transmission in W-CDMA, a poster presentation in the CITR 10th Annual Conference Meeting, Aylmer, Quebec, 2001.

E. Elmallah, H. Hassanein and H. Aboelfotoh. On the Use of a Simple Mobility Model in Ad Hoc Routing, IEEE ICPP'01 Workshop on Wireless Networks and Mobile Computing, pp. 479-484, 2001. E. S. Elmallah. An Approach for Bounding Blocking with Application to All-Optical Unconstrained Routing, OptiComm 2000, Richardson, Texas, 2000. E. Elmallah and H. Aboelfotoh. Enhancing the Consecutive Cuts Bound for Network Reliability, Congressus Numerantium 145, pp. 203-214, 2000. E. S. Elmallah and C.H. Lam. On worst case analysis of permutation routing on data manipulators, Proceedings of the 6th International Conference on Parallel Interconnections (PI'99), 1999, pp. 125-130. E. Elmallah. On the complexity of routing concurrent traffic in capacitated multistage networks, Proceedings of the IEEE IPCCC'97 Conference, Arizona, pp. 221-227, 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: E. Elmallah and W. Wu. Supporting Relative Delay Differentiation in CDMA Cellular Wireless Environments, to appear in the proceedings of ISWSN 2003. K. Wu, J. Harms and E. Elmallah. Profile-Based Protocols in Wireless Mobile Ad Hoc Networks, proceedings of the Workshop on Wireless Local Networks, IEEE Local Computer Networks conference, Tampa, Florida, 2001.

Pawel Gburzynski

Professor Email: pawel@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~pawel

Communication Networks, Protocol Design

Refereed journals and book chapters P Gburzynski and J Maitan. Fighting the Spam Wars: A Remailer Approach with Restrictive Aliasing. ACM Transactions on Internet Technology (In Press). W Shi, MH MacGregor and P Gburzynski. Traffic Locality Characteristics in a Parallel Forwarding System. International Journal of Communication Systems (In Press). W. Dobosiewicz and P. Gburzynski. "Protocol Design in SMURPH." In State-of-the-art in Performance Modeling and Simulation Vol. 1: Computer and Communication Networks, J. Walrand and K. Bagchi editors, Gordon and Breach, 1997, pp. 255-274. W. Dobosiewicz and P. Gburzynski. "The Spiral Ring." Computer Communications, (20)6, 1997, pp. 449-461. Conference proceedings E Akhmetshina, P Gburzynski and F Vizeacoumar. PicOS: A Tiny Operating System for Extremely Small Embedded Platforms. In Proceedings of the 2003 International Conference on Embedded Systems and Applications, 116-122. Las Vegas. 2003. Y Jia, Y Nikolaidis and P Gburzynski. Buffer Space Tradeoffs in Multi-hop Networks. In Proceedings of Communication Networks and Services Research CNSR'03, 74-79. Moncton, N.B. 2003. P Gburzynski and J Maitan. A Comprehensive Approach to Eliminating Spam. In Proceedings of EUROMEDIA'03, Plymouth, UK, April 14-16, 2003. P. Gburzynski and J. Maitan. Specifying Control Programs for Reactive Systems. Proceedings of the 1998 International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA'98, Las Vegas, 1998, pp. 1702-1709.

P. Gburzynski, J. Maitan, L. Hillyer. Virtual Prototyping of Reactive Systems in SIDE. Proceedings of the 5th European Concurrent Engineering Conference ECEC'98, Erlangen-Nuremberg, Germany, 1998, pp. 75-79. Publications co-authored with University of Alberta Computing Science students 1997 – present: H. Zhang and P. Gburzynski. "A Variable Slot Length TDMA Protocol for Personal Communication Systems." Wireless Personal Communications, 22, 2002, pp. 409-432. H. Zhang and P. Gburzynski. "A Slotted Multicode CDMA Protocol for Efficient Integration of Voice and Data in Cellular Networks." International Journal of Communication Systems, 15, 2002, pp. 479-494. Ramaswamy and P. Gburzynski. "A Dynamic Call Admission Scheme for VBR Traffic in ATM Networks." Telecommunication Systems, 11, 1999, pp. 373-394. S. Ramaswamy and P. Gburzynski. "A Neural Network Approach to Effective Bandwidth Characterization in ATM Networks." Performance Analysis of ATM Networks, IFIP vol. 4, Demetres Kouvatsos, editor, Kluwer Academic Publishers, 1999. S. Ramaswamy, T. Ono-Tesfaye, W. W. Armstrong and P. Gburzynski. "Equivalent Bandwidth Characterization for Real-time CAC in ATM Networks." Journal of High Speed Networks, 7, 1998, pp. 1-25. Conference proceedings co-authored with University of Alberta Computing Science students 1997 – present: Weiguang Shi, Mike H. MacGregor, and P. Gburzynski. "Effects of a Hash-based Scheduler on Cache Performance in a Parallel Forwarding System." Proceedings of CNDS'03, Orlando, Florida, 2003, to appear. Yanxia Jia, Yannis Nikolaidis, P. Gburzynski. "Alternative Paths vs. Inaccurate link State Information in Realistic Network Topologies." Proceedings of SPECTS'02, San Diego, CA, 2002, pp. 162-169. Yanxia Jia, Yannis Nikolaidis, P. Gburzynski. "Qualitative Link State Dissemination Control in QoS Routing." Proceedings of IC 2002, Las Vegas, 2002, pp. 140-147. Hongjun Zhang and P. Gburzynski. "BRICKS: A Slotted CDMA Protocol for Efficient Integration of Voice and Data." Proceedings of CNDS'02, San Antonio, Texas, 2002, pp. 40-45. Weiguang Shi, Mike H. MacGregor, and P. Gburzynski. "Synthetic Trace Generation for the Internet." The 4th IEEE Workshop on Workload Characterization (WWC-4), Austin, Texas, 2001, pp. 169-174.

Hongjun Zhang and P. Gburzynski. "A TDMA Scheme with Dynamic Frame Structure." Proceedings of the Vehicular Technology Conference, Atlantic City, NJ, 2001. Wladyslaw Olesinski and P. Gburzynski. "Service Guarantees in Deflection Networks." Proceedings of MASCOTS'01, Cincinnati, Ohio, 2001, pp. 267-274. Hongjun Zhang and P. Gburzynski. "DS-TDMA/CP: a Flexible TDMA Protocol for Wireless Networks." Proceedings of the 3rd IEEE International Conference on Mobile and Wireless Communication Networks MWCN 2001, Recife, Brazil, 2001. Hongjun Zhang and P. Gburzynski. "Differentiated QoS over Wireless TDMA Channels." Proceedings of PDPTA'01, Las Vegas, Nevada, 2001, pp. 1023-1029. Yanxia Jia, Ioanis Nikolaidis and P. Gburzynski. "Multiple path QoS routing." Proceedings of ICC'01, Helsinki, Finland, 2001, pp. 2583-2587. S. Ramaswamy and P. Gburzynski. "A control theory approach to cell scheduling in ATM switches." Proceedings of CNDS'01, Phoenix, AZ, 2001. T. Ono-Tesfaye and P. Gburzynski. "Validation and Simulation of Communication Protocols: An Integrated Approach." Proceedings of SCSC'99, Chicago, IL, 1999, pp. 639-644. T. Ono-Tesfaye and P. Gburzynski. "A Discrete Event Simulation Approach to Protocol Validation." Proceedings of ESM'99, SCS, Warsaw, Poland, 1999, pp. 149-156. W. Olesinski and P. Gburzynski. "Asynchronous Deflection with Transient Buffers." Proceedings of IC3N'98, IEEE, Lafayette, Louisiana, 1998. W. Olesinski and P. Gburzynski. "A Comparison of a few Simple Multicast Schemes for Deflection Networks." Proceedings of MASCOTS'98, IEEE + IFIP, Montreal, 1998, pp. 50-55. S. Ramaswamy and P. Gburzynski. "A Dynamic Call Admission Scheme for VBR Traffic in ATM Networks." Proceedings of IEEE International Conference on ATM ICATM'98, Colmar, France, 1998, pp. 260-269. W. Olesinski and P. Gburzynski. "Real-Time Traffic in Deflection Networks." Proceedings of WMC'98, Communication Networks and Distributed Systems, Modeling and Simulation, SCS, San Diego, California, 1998, pp. 23-28. P. Gburzynski and J. Maitan. "Simulation and Control of Reactive Systems." Proceedings of Winter Simulation Conference WSC'97, ACM + IEEE + SCS, Atlanta, Georgia, 1997, pp. 413-420. S. Ramaswamy, T. Ono-Tesfaye, P. Gburzynski. "A Regression Approach to Equivalent Bandwidth Characterization in ATM Networks." Proceedings of MASCOTS'97, IEEE + IFIP, Haifa, Israel, 1997, pp. 104-109.

Sherif Ghali

Assistant Professor Email: ghali@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~ghali

3D Computer Graphics, Geometric Algorithms and Frameworks, Visibility and Shadow Computation

Book Chapters: S. Ghali, E. Fiume, and H.-P. Seidel, "Shadow Computation: A Unified Perspective," Eurographics 2000 State of The Art Report, pp. 87-103. Papers in Journals and Refereed Conference Proceedings: S. Ghali, E. Fiume, and H.P. Seidel. "Object-Space, Connectivity-Preserving, Shadow Computation," Vision, Modeling, and Visualization 2000, pp. 281-289. G. Tsang, S. Ghali, E. Fiume, and A. Venetsanopoulos "A Novel Parameterization of the Light Field," Tenth Image and Multi-dimensional Digital Signal Processing, IMDSP '98, Apr 1998. S. Ghali. "Computation and Maintenance of Visibility and Shadows in the Plane," Sixth Int. Conf. in Central Europe on Computer Graphics and Visualization, WSCG '98 Feb 1998, pp. 117-124.

R.G. (Randy) Goebel

Chair/Professor Email: goebel@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~goebel

Development and Application of Representation and Reasoning Techniques

Refereed publications in journals: A.Ghose, P. Hadjinian, A. Sattar, Jia-H. You and R. Goebel. Iterated belief change. Computational Intelligence, 2002 (In Press). J. You, L.Y. Yuan and R. Goebel. Abductive logic programming with disjunctive logic programs. Journal of Logic Programming, 44(1-3):101-127, 2000. Qi Zhao and Randy Goebel. Algorithms for handling soft constraints and their application to staff scheduling problems. International Journal of Intelligent Systems in Accounting, Finance, and Management, 8(1):119-129, 1999. Aditya K. Ghose, Grigoris Antoniou, Abdul Sattar and Randy Goebel. Connections between default reasoning and constraint satisfaction. Information Sciences, 117(3-4):177-190, 1999. W.H. Graf, A. Krner, S. Neurohr and R. Goebel. Experience in integrating AI and constraint programming methods for automated yellow pages layout. Kunstlichen Intelligenz, (2):79-85, July 1998. B. McCabe, S.M. AbouRizk and R. Goebel. Using belief networks for construction performance diagnostics. American Society of Civil Engineers Journal for Computing in Civil Engineering, 12(2):93-100, 1998. A.Sattar and R. Goebel. Consistency-motivated reason maintenance in hypothetical reasoning. New Generation Computing, 15(2):163-186, 1997. Books: D. Poole, A. Mackworth and R. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York, 1997.

Refereed conference publications: Y. Wang and R. Goebel. Exploiting object-oriented constraint programming for constructing in-column ads. In The First International Conference on the Practical Application of Constraint Technologies and Logic Programming, pages 509-516, April 19-21, 1999. S. Neurohr, A. Kroner, W.H. Graf and R. Goebel. Integrating AI and constraint programming techniques for multimedia directory publishing. In Proceedings of IT&KNOWS: Information Technology and KNOWledge Systems, 15th IFIP World Computer Congress, pages 131-144, Vienna, Austria and Budapest, Hungary, 31 Aug - 4 Sep 1998. A. K. Ghose and R. Goebel. Belief states as default theories: Studies in non-prioritized belief change. In Proceedings of the 1998 European Conference on Artificial Intelligence, pages 8-12. John Wiley, 1998. L.Y. Yuan, J.H. You and R. Goebel. Disjunctive logic programming and possible model semantics. In W. Wobcke, M. Pagnucco and C. Zhang, editors, Lecture Notes in Computer Science No. 1441, Springer-Verlag, pages 60-79, 1998. J.H. You, L.Y. Yuan and R. Goebel. Regular extension semantics and disjunctive Eshghi-Kowalski procedure. In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, pages 175-189, University of Manchester, United Kingdom, June 15-19, 1998. J.H. You, L.Y. Yuan and R. Goebel. An abductive semantics for disjunctive logic programs and its proof procedure. In Proceedings of the Seventeenth Conference on the Foundations of Software Technology and Theoretical Computer Science, pages 138-152, Indian Institute of Technology, Karagpur, India, December 18-20, 1997. Lecture Notes in Computer Science No. 1346, Springer-Verlag. R. Goebel. Abduction and its relation to constrained induction. In Proceedings of the IJCAI-97 Workshop on Abduction and Induction, pages 17-18, Nagoya Congress Centre, Nagoya, Japan, August 23-29, 1997. Q. Zhao and R. Goebel. A method for dealing with potentially relaxable constraints and its application to dispatcher scheduling system. In Proceedings of the IJCAI-97 Workshop on Business Applications of AI, pages 83-88, Nagoya Congress Center, Nagoya, Japan, August 23-29, 1997.

Refereed abstracts at conferences: L.M. Kozeratska, J.F. Forbes and R. Goebel. Stability of Mixed-Integer Optimization Problems with Multiple Criteria: Analysis over Perturbed Cones. 9th International Conference on Stochastic Programming, August 27-31, 2001. D. Alkaya, J.F. Forbes, R.G. Goebel and J. Kresta. Intelligent Optimization of Industrial Processes. Annual Meeting of the American Institute of Chemical Engineers, November 4-9, 2001. D. Alkaya, J.F. Forbes, R.G. Goebel and J. Kresta. Scheduling for uncertain, multi-layered, mix-variable problems and coordinating optimizers. Precarn/IRIS Conference, June 4-5, 2001. Publications co-authored with University of Alberta Computing Science students 1997 – present: T. Zheng, Y. Niu and R. Goebel. Webframe: in pursuit of computationally and cognitively efficient web mining. In Lecture Notes in Computer Science, Springer-Verlag, 2002. to appear in Proceedings of the Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD), May 6-8, 2002. A.Ammoura, O. Zaiane and R. Goebel. Towards a novel olap interface for distributed data warehouses. In Lecture Notes in Computer Science 2114, Springer-Verlag, pages 174-185, 2001. Aditya K. Ghose, Srinivas Padmanabhuni and Randy Goebel. The role of default representations in incremental learning. In Grigoris Antoniou, Aditya K. Ghose and Mirek Truszczynski, editors, Learning and reasoning with complex representations, pages 92-105. Springer Verlag Lecture Notes in Artificial Intelligence, Volume 1359, 1997. Srinivas Padmanabhuni, Randy Goebel and Koichi Furukawa. Curried least general generalization: A framework for higher order concept learning. In Grigoris Antoniou, Aditya K. Ghose and Mirek Truszczynski, editors, Learning and reasoning with complex representations, pagew 45-60. Springer-Verlag Lecture Notes in Artificial Intelligence, Volume 1359, 1997. P. Jachowicz and R. Goebel. Describing plan recognition as non-monotonic reasoning and belief revision. In Proceedings of the Australian Joint Conference on AI, pages 236-245, Curtin University, Perth, Australia, December 2-4, 1997. P. Jachowicz and R. Goebel. A first attack on plan recognition as belief revision. In IJCAI-97 Poster Session Abstract, page 53, Nagoya Congress Center, Nagoya, Japan, August 23-29, 1997. A. Ghose, S. Padmanabhuni and R. Goebel. Default theories in incremental learning. In The Twentieth Australasian Computer Science Conference, pages 185-193, Sydney, Australia, February 5-7, 1997.

Russ Greiner

Professor Email: greiner@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~greiner

Artificial Intelligence, Machine Learning

Selected Publications: R Isukapalli and R Greiner. “Use of off-line dynamic programming in efficient image interpretation”, International Joint Conference on Artificial Intelligence, pp 1319—1326, Acapulco 2003. T Zhu, R Greiner and G Haeubl. "An effective complete-web recommender system." Proceedings of the WorldWideWeb Conference, pp. 226--234, 2003 (http://www2003.org/) T Zhu, R Greiner and G Haeubl. "Learning a model of a web user's interests." Proceedings of the User Modeling Conference, Pittsburgh, pp 65—75, 2003 (http://www2.sis.pitt.edu/~um2003/) R. Greiner, A. Grove and D. Roth. "Learning Cost-Sensitive Active Classifiers," Artificial Intelligence, 139:2, pp.137-174, Sept. 2002. R. Greiner, R. Hayward and M. Malloy. "Optimal Depth-First Strategies for And-Or Trees," Proceedings of the Eighteenth Annual National Conference on Artificial Intelligence (AAAI02), Edmonton, 2002. R. Greiner, C. Darken and N.I. Santoso. "Efficient Reasoning," Computing Surveys, 33:1 (March 2001), pp. 1-30. R. Isukapalli and R. Greiner. "Efficient Car Recognition Policies," IEEE International Conference on Robotics and Automation, pp. 2134-2139, Seoul, May 2001. J. Cheng and R. Greiner. "Learning Bayesian Belief Network Classifiers: Algorithms and System," Proceedings of the 14th Canadian Conference on Artificial Intelligence (CSCI'01), pp. 141-151, Ottawa, 2001. R. Isukapalli and R. Greiner. "Efficient Interpretation Policies," Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, pp. 1381-1387, 2001. R. Greiner. "The Complexity of Theory Revision," Artificial Intelligence, 107:2 (February 1999), pp. 175-217. R. Greiner. "The Complexity of Revising Logic Programs," Journal of Logic Programming, 40:2-3 (Aug-Sept 1999), pp. 273-298.

R. Greiner. "Explanation-Based Learning," MIT Encyclopedia of the Cognitive Sciences (MITECS), MIT Press, 1999, pp. 301-303. R. Greiner and C. Darken. "Determining Whether a Belief Net is Consistent with Auxiliary Information," Conditional Independence Structures and Graphical Models, Toronto, pp. 37-38, 1999. J. Cheng and R. Greiner. "Comparing Bayesian Network Classifiers," Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI '99), Sweden, pp. 101-107, 1999. E. Boros, J. Franco, E. Freuder, M.C. Golumbic, R. Greiner and E. Mayoraz. Selected Papers from the Fifth International Symposium on Artificial Special Issue on "Symposium on Artificial Intelligence and Mathematics VIII," Annals of Artificial Intelligence and Mathematics, 24 (1998) 1-4. R. Greiner, A. Grove and A. Kogan. "Knowing What Doesn't Matter: Exploiting the Omission of Irrelevant Data," Artificial Intelligence, 97:1-2 (December 1997), pp. 345-380. D. Subramanian, R. Greiner and J. Pearl. "The Relevance of Relevance," Artificial Intelligence, 97:1-2 (December 1997), pp. 1-8. R. Greiner, D. Subramanian and J. Pearl. Special Issue on "Relevance," Artificial Intelligence, 97:1-2 (December 1997). R. Greiner, T. Petsche and S.J. Hanson. Computational Learning Theory and Natural Learning Systems, Vol. IV: Making Learning Systems Practical, MIT Press (SIBN 0-262-57118-8), February 1997, 432 pp. R. Greiner, A. Grove and D. Schuurmans. "Learning Bayesian Nets that Perform Well," Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intellligence (UAI '97), Providence, pp. 198-207, 1997. T. Scheffer, R. Greiner and C. Darken. "Why Experimentation can be better than 'Perfect Guidance'," Proceedings of the Fourteenth International Conference on Machine Learning (ICML '97), pp. 331-339, Nashville, 1997. D. Schuurmans and R. Greiner. "Learning to Classify Incomplete Examples," Computational Learning Theory and Natural Learning Systems, Vol. IV: Making Learning Systems Practica, Chapter 6, pp. 87-105, MIT Press, 1997. D. Schuurmans and R. Greiner. "Fast Distribution-Specific Learning," Computational Learning Theory and Natural Learning Systems, Vol. IV: Making Learning Systems Practical, Chapter 10, pp. 155-167, MIT Press, 1997.

Publications co-authored with University of Alberta Computing Science students 1997 (present): D Lizotte O Madani and R Greiner. “Budgeted learning of Naive-Bayes models.” Uncertainty in Artificial Intelligence, pp 378—385. Acapulco, 2003. L Li, V Bultiko, R Greiner and I Levner. “Lookahead pathologies with admissible and consistent heuristics”. International Joint Conference on Artificial Intelligence, pp. 1531—1534, Acapulco, 2003. J. Cheng, R. Greiner and J. Kelly. "Learning Bayesian Networks from Data: and Information-Theory Based Approach," Artificial Intelligence, 137:1-2, pp. 43-90, 2002. V. Bulitko, I. Levner and R. Greiner. "Real-time Lookahead Control Policies," AAAI/KDD/UAI 2002 Joint Workshop on Real-Time Decision Support and Diagnosis Systems, 2002, pp. 28-36. Levner, V. Bulitko, O. Madani and R. Greiner. "Performance of Lookahead Control Policies in the Face of Abstractions and Approximations," Abstraction, Reformulation and Approximation: 5th International SARA Symposium, August 2002. LNAI 2371, pp. 299-308. R. Greiner and W. Zhou. "Structural extension to logistic regression," Proceedings of the Eighteenth Annual National Conference on Artificial Intelligence (AAI02), Edmonton, 2002. T. Van Allen, R. Greiner and P. Hooper. "Bayesian Error-Bars for Belief Net Inference," Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (UAI-01), Seattle, pp. 522-529, 2001. D. Wishard, L. Querengesser, B. Lefebvre, N. Epstein, R. Greiner and J. Newton. "Medical Resonance Diagnostics (A New Technology for High Throughput Clinical Diagnostics," Journal of Clinical Chemistry, 47:1918-1921, October 2001. J. van Rijswijck, J. Schaeffer and R. Greiner, "Always Shoot: Using FIFA in the Classroom," Electronic Arts Journal, pp. 31-38, Vol. 2(1), 2001. B. Korvemaker and R. Greiner. "Predicting UNIX Command Lines," Adaptive User Interfaces, (AAAI 2000 Spring Symposium), pp 59-64, Stanford, 2000. T. Van Allen and R. Greiner. "Model Selection Criteria for Learning Belief Nets: An Empirical Comparison," Selecting and Combining Models for Machine Learning, Montreal 2000. B. Korvemaker and R. Greiner. "Predicting Unix Command Lines: Adjusting to User Patterns," Proceedings of the Seventeenth Annual National Conference on Artificial Intelligence (AAAI'00), pp. 230-235, Austin, 2000.

T. Van Allen and R. Greiner. "Model Selection Criteria for Learning Belief Nets: An Empirical Comparison," Proceedings of the Seventeenth International Conference on Machine Learning (ICML'00), pp. 1047-1054, 2000. R. Greiner and W. Zhou. "Learning Accurate Belief Nets using Explicitly-Labeled Queries," Conditional Independence Structures and Graphical Models, Toronto, pp. 39-41, 1999. W. Zhou and R. Greiner. "Learning Accurate Belief Nets Using Implicitly-Labeled Queries," Conditional Independence Structures and Graphical Models, Toronto, pp. 84-85, 1999.

Janelle Harms

Associate Professor Email: harms@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~harms

High-Speed Networks, Performance

Refereed Conference Publications: B Bai, J Harms and Y Li. "Active multicast congestion control." In Proceedings of International Conference on Internet Computing (IC'03), 478-485. Las Vegas. 2003. I. Nikolaidis and J. Harms. "A Logical Ring Reliable Multicast Protocol for Mobile Nodes", IEEE Proceedings of 7th International Conference on Network Protocols, Toronto, Nov 1999, pp. 106-113. J. Harms. "Physical and Logical Design of ATM Networks for Multimedia Traffic" IEEE Conference on Local Computer Networks (LCN '98), Lowell, Massachusetts. October 1998, pp. 190-197. J. Harms. "Multipoint Routing for Interactive Applications in High Speed Networks", Proceedings of the Asia-Pacific Conference on Communications, Sydney, Australia, December 1997, pp. 1265-1269. J.J. Harms. "Video Distribution to the Home Using Advance Reservation", Proceedings of the IEEE Conference on Computer Networks (LCN), Minneapolis, November 1997, pp.170-178. Journal publications co-authored with University of Alberta Computing Science students 1997 – present: K Wu and J Harms "Performance study of proactive flow handoff for mobile ad hoc networks.” Wireless Networks Journal (WINET) (In Press). Janelle Harms and Chenjiang Hu. "Physical Network Design to Facilitate Capacity Reallocation", Discrete Applied Mathematics, (In Press). A. Tyagi, A. Kamal, J. Harms. "Analysis of M/M/S Queues with 1-Limited Services", Journal of the Operational Research Society (JORS), Vol. 57, 2002, pp.752-767.

K. Wu and J. Harms. "Multipath Routing for Mobile Ad Hoc Networks", Journal of Communications and Networks Special Issue on Innovations in Ad Hoc Mobile Pervasive Network, Vol.4, Number 1, March 2002, pp.48-58. Conference publications co-authored with University of Alberta Computing Science students 1997 – present: Xiaoqin Yuan, Mike Macgregor and Janelle Harms. "An Efficient Scheme to Remove Crawler Traffic from the Internet" International Conference on Computer Communications (IC3N), Miami, Oct 2002, pp. 90-95. B. Bai, J. Harms and Y. Li. "Active Hierarchical Congestion Control for Large Scale Multicast", 2002 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), July 2002, San Diego, pp. 146-154. Y. Li, J. Harms and B. Bai. "A Flexible Model for QoS Multicast Routing", Proc. of 3rd International Conference on Internet Computing (IC'02), Las Vegas, June 24-27, 2002, pp. 148-155. K. Wu, J. Harms and E. Elmallah. "Profile-Based Services in Wireless Mobile Ad-Hoc Networks", Workshop on Wireless Local Networks in conjunction with IEEE Conf. On Local Computer Networks, Tampa, Florida, November 2001, 568-575 published. B Bai, J Harms and Y Li. "Active Error Recovery for Reliable Multicast", IEEE International Conference on Computer Communications and Networks (ICCCN), Phoenix, Oct 2001, pp. 254-260. K Wu and J Harms. "Load-Sensitive Routing for Mobile Ad Hoc Networks", IEEE International Conference on Computer Communications and Networks (ICCCN), Phoenix, Oct 2001, pp. 540-546. Kui Wu and Janelle Harms. "Performance Study of a Multipath Routing Method for Wireless Mobile Ad Hoc Networks", Proceedings of Symposium on Modeling, Analysis and Simulation on Computer and Telecommunication Systems (MASCOTS), Ohio, August 2001, pp. 99-107. Kui Wu and Janelle Harms. "On-Demand Multipath Routing for Mobile Ad Hoc Networks", Proceedings of European Personal and Mobile Communications Conference (EPMCC), Vienna, Austria, February 2001, Paper 21.1. Kui Wu and Janelle Harms. "Location Trace Aided Routing in Mobile Ad Hoc Networks", Proceedings of the 9th IEEE International Conference on Computer Communications and Networks, Las Vegas, Oct 2000, pp. 354-359. R. Shaffer, A. Basu, and J. Harms. "Improving Perceptual Quality and Network Performance for Transmission of H.263 Video over ATM", Proc. of IEEE International Conference on Electronics, Circuits and Systems (ICECS), Cyprus, September 1999, pp. 1749-1753.

R. Qureshi and J. Harms. "A Flexible Virtual Path Topology Design Algorithm", IEEE Globecom 1997, Proceedings of IEEE Globecom, Phoenix, November 1997, pp. 792-1797.

Ryan Hayward

Associate Professor Email: hayward@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~hayward

Algorithmics

Selected Publications: R Hayward and W Lenhart. Bichromatic P4-composition schemes for perfectly orderable graphs. Discrete Applied Math (In Press). R. Greiner, R. Hayward, and M. Molloy. Optimal depth-first strategies for And-Or trees, Proceedings of 18th Annual National Conference on AI (AAAI02), Edmonton, July 2002, (6 pgs). R.B. Hayward, P. Kearney and A. Malton. NeST Graphs, Disc. Appl. Math., 121 (June 2002) pp. 139-153. R. Hayward, S. Hougardy and B. Reed. Polynomial time recognition of P4-structure, Proceedings of 13th Annual ACM-SIAM Symp. On Discrete Algorithms, (2002), pp. 382-389. R.B. Hayward. Bull-free weakly chordal perfectly orderable graphs, Graphs and Combinatorics, 17, (Sept. 2001) pp. 479-500. R. Hayward and W. Lenhart. Perfectly Orderable P4 Composition, Electronic Notes in Discrete Mathematics, 7, (2001). R. Hayward, J. Spinrad and R. Sritharan. Weakly chordal graph algorithms via handles, Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA (2000), pp. 42-49. E. Eschen, R.B. Hayward, J. Spinrad and R. Sritharan. Weakly Triangulated Comparability Graphs, SIAM Journal of Computing, 29, No. 2 (1999), pp. 378-386.

P. Kearney, R.B. Hayward and H. Meijer. Phylogeny from relative dissimilarity, Algorithmica: Special Issue on Computational Biology, 25, (1999), pp. 196-221. R.B. Hayward. Meyniel Weakly Triangulated Graphs II: A Theorem of Dirac, Disc. Applied Math., 78, (1997), pp. 283-289. R.B. Hayward. Meyniel Weakly Triangulated Graphs I: Co-perfect Orderability, Disc. Applied Math, 73, (1997), pp. 199-210. P. Kearney, R.B. Hayward and H. Meijer. Inferring Evolutionary Trees from Ordinal Data, Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, Louisiana (1997), pp. 418-426. Publications co-authored with University of Alberta Computing Science students 1997 – present: R. Hayward and R. Krueger. Polynomial Time Line Segment Diagram Isomorphism, abstract in Proceedings of 2002 SIAM Conference on Discrete Mathematics, San Diego, August 2002.

Robert Holte

Professor Email: holte@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~holte

Machine Learning, Heuristic Search

Selected Publications: Robert C. Holte and Berthe Y. Choueiry (2003), "Abstraction and Reformulation in Artificial Intelligence", Philosophical Transactions of the Royal Society: Biological Sciences, volume 358, number 1435, pp. 1197-1204. D. Billings, N. Burch, A. Davidson, R. C. Holte, Jonathan Schaeffer, Terence Schauenberg, and Duane Szafron (2003), "Approximating Game-Theoretic Optimal Strategies for Full-scale Poker", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'03), pp. 661-668. Y. Bjornsson, M. Enzenberger, R. C. Holte, Jonathan Schaeffer, and Peter Yap (2003), "Comparison of Different Abstractions for Pathfinding on Maps", Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'03), pp. 1511-1512. C. Drummond and R. C. Holte (2003), "C4.5, Class Imbalance, and Cost Sensitivity: Why under-sampling beats over-sampling ", Workshop on Learning from Imbalanced Datasets II held in conjunction with ICML'2003 (International Conference on Machine Learning) S. Koenig and R. C. Holte, editors (2002), "Abstraction, Reformulation, and Approximation", proceedings of the 5th International Symposium, SARA 2002. Lecture Notes in Artificial Intelligence #2371. Springer. D. Schuurmans, F. Southey and R. C. Holte. "The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming", Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), pp. 334-341, 2001. R. C. Holte. "Combinatorial Auctions, Knapsack Problems, and Hill-climbing Search", Advances in Artificial Intelligence (proc. AI'2001, the 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence), E. Stroulia and S. Matwin (eds.), Lecture Notes in Artificial Intelligence 2056, Springer, pp. 57-66, 2001.

C. Drummond and R.C. Holte. "Explicitly Representing Cost: An Alternative to ROC Representation", Proceedings of the Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'2000), pp. 198-207, 2000. C. Drummond and R.C. Holte. "Exploiting the Cost (In)sensitivity of Decision Tree Splitting Criteria", Proceedings of the Seventeenth International Conference on Machine Learning (ICML'2000), pp. 239-246, 2000. C. Drummond, D. Ionescu and R. C. Holte. "A Learning Agent that Assists the Browsing of Software Libraries", IEEE Transactions on Software Engineering, vol. 26, no. 12, pp. 1179-1196, 2000. R.C. Holte and I. Hernadvolgyi. "A Space-Time Tradeoff for Memory-based Heuristics", proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99), pp. 704-709, 1999. B. deBruijn, R.C. Holte and J. Martin. "An Automated Method for Studying Interactive Systems", ASIS '99: Knowledge: Creation, Organization and Use. Proceedings of the 62nd Annual Meeting of the American Society for Information Science, pp. 751-762, 1999. R. Zimmer and R.C. Holte. "Introducing a Continuum of Abstraction-Led Heuristic Search Techniques", SAICSIT'99, Proceedings of the 1999 South African Institute of Computer Scientists and Information Technologists Annual Research Conference, 1999. M. Kubat, R. C. Holte and S. Matwin. "Machine Learning for the Detection of Oil Spills in Satellite Radar Images", Machine Learning, vol. 30, no. 2-3, pp. 195-216, 1998. J. Martin and R.C. Holte. "Searching for content-based addresses on the World-Wide Web", Proceedings of the Third ACM Conference on Digital Libraries (DL'98), pp. 299-300, 1998. M. Kubat, R.C. Holte and S. Matwin. "Learning When Negative Examples Abound", Machine Learning: ECML-97, Lecture Notes in Artificial Intelligence 1224, M. van Someren and G. Widmer (eds.), Springer, pp. 146-153, 1997.

Jim Hoover

Associate Professor Email: hoover@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~hoover

Software Engineering and Theory of Computation

Books, Book Chapters and Refereed Publications: R. Greenlaw and H. J. Hoover. Parallel Computation: Models and Complexity Issues, Chapter 48 of Algorithms and Theory of Computation Handbook, Mikhail Atallah, ed., CRC Press, 1999. R. Greenlaw and H. J. Hoover. Fundamentals of the Theory of Computation: Principles and Practice, Morgan Kaufmann, 1998. Papers presented at conferences: M. Shehata, A. Eberlein and J. Hoover. Requirements Reuse and Feature Interaction Management, accepted for publication in the Proceedings of the 15th International Conference on Software and Systems Engineering and their Applications (ICSSEA'02), Paris, France, 2002. D. Hou, C. Yin and H. J. Hoover Exploring the Correlation between the Design and Use of Object-Oriented Frameworks, 2nd Workshop on Quality Software , QSSE Bundt Canada, Feb. 2002. H. J. Hoover, P. G. Sorenson, G. Froehlich and A. G. Olekshy. Developing engineered product support applications. In Proceedings of the 1st Software Product Line Conference, sponsored by the Software Engineering Institute, Denver, CO, 2000, pp. 451-476, 2000. Published as Software Product Lines - Experience and Research Directions, P. Donahoe, ed., Kluwer Academic Publishers, 2000. Publications co-authored with University of Alberta Computing Science students 1997 – present: G. Froehlich, H. J. Hoover, L. Liu and P.G. Sorenson. Choosing an object-oriented domain framework, in ACM Computing Surveys special issue on Object-Oriented Frameworks, M. Fayad and S. Lewandowski, eds., Vol. 32, No. 1, 2000.

A. Pasetti and W. Pree. Two Novel Concepts for Systematic Product Line Development In Proceedings of the 1st Software Product Line Conference, sponsored by the Software Engineering Institute, Denver, CO, Aug. 2000, pp. 249-270. Published as Software Product Lines - Experience and Research Directions, P. Donahoe, ed., Kluwer Academic Publishers, 2000. H. J. Hoover, A. G. Olekshy, G. Froehlich and P. G. Sorenson. An OO Application Frameworks Perspective on Commonality and Variability in Product Line Architectures. Software Product Line Architecture Workshop, 1st Software Product Line Conference, sponsored by the Software Engineering Institute, Denver, CO, Aug. 2000. 10 pp. IESE-Report No. 053.00/E, Version 1.0, Fraunhofer Institute for Experimental Software Engineering, Kaiserlautern, Germany. G. Froehlich, H. J. Hoover and P. G. Sorenson. Realizing Requirements in Product-Line Development using O-O Frameworks. Australian Journal of Information Systems, Vol. 7, No. 1, 6-12, 1999. G. Froehlich, H. J. Hoover, W. Liew and P.G. Sorenson. Application Framework Issues when Evolving Business Applications for Electronic Commerce Information Systems, Vol. 24, No. 6, pp. 456-473, 1999. G. Froehlich, H. J. Hoover, L. Liu and P.G. Sorenson. Reusing hooks., Chapter 9 of Building Application Frameworks, M. Fayad, D. C. Schmidt and R. Johnson, eds., John Wiley, 17 pp., 1999. G. Froehlich, H. J. Hoover, L. Liu and P.G. Sorenson. Designing object-oriented frameworks, Chapter 25 of Handbook of Object Technology, Saba Zamir, ed. in chief, CRC Press, 22 pp., 1999. G. Froehlich, H. J. Hoover, L. Liu and P.G. Sorenson. Using object-oriented frameworks, Chapter 26 of Handbook of Object Technology, Saba Zamir, ed. in chief, CRC Press, 22 pp., 1999. G. Froehlich, H. J. Hoover, W. Liew and P.G. Sorenson. Application Framework Issues when Evolving Business Applications for Electronic Commerce Information Systems, Vol. 24, No. 6, pp. 456-473, 1999. G. Froehlich, H. J. Hoover, L. Liu and P. G. Sorenson. Hooking into Object-Oriented Application Frameworks. In Proceedings of the 1997 International Conference on Software Engineering, Boston, Mass., pp. 491-501, 1997. S. Rochefort and H. J. Hoover. An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony. In Proceedings of the 4th IEEE Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems, Montreal, Quebec, IOS Press, 1997. Papers presented at conferences co-authored with University of Alberta Computing Science students 1997 – present: D. Hou, H. J. Hoover and E. Stroulia. Supporting the Deployment of Object-Oriented Frameworks, Proceedings of CAiSE, Toronto, 2002.

P. Figueroa, M. Green and H. J. Hoover InTml: a description language for VR applications, Proceeding of the 7th International Conference on 3D Web Technology, Tempe, Arizona, USA pp 53-58, 2002. D. Hou and H. J. Hoover, Towards Specifying Constraints for Object-Oriented Frameworks, CASCON 2001, Toronto, 2001. H. J. Hoover and D. Hou. Can Formal Methods be Applied to Software Architecture? First ASERC Workshop on Software Architecture, Edmonton, 2001. P. Figueroa, H. J. Hoover and M. Green. 3dml: A Language for 3D Interaction Techniques Specification, Eurographics 2001 - Short Presentations. Manchester, UK, 2001. G. Froehlich, H. J. Hoover, W. Liew, P.G. Sorenson, Application Framework Issues when Evolving Business Applications for Electronic Commerce., 32nd Hawai'i International Conference on Systems Sciences, Software Technology Track, Hawai'i, 1999. S. Voruganti, A. Kamel, H. J. Hoover and P. G. Sorenson. Outsourcing Quality: A Software Process Improvement Model for a Small Software Organization, California Software Symposium (CSS '98), University of California, Irvine, 1998. A. Kamel, S. Voruganti, H. J. Hoover, P. G. Sorenson. Software Process Improvement Model for a Small Organization. Annual Oregon Workshop on Software Metrics, Coeur d'Alene, Idaho, 1997.

Martin Jägersand

Assistant Professor Email: WWW: http://www.cs.yale.edu/~jag

Vision, Graphics, Robotics

Selected Publications: M Jagersand. (Ed.). “Recent Methods for Image-based Modeling and Rendering.” In Proceedings of IEEE Virtual Reality 2003: T1. M. Jagersand. "Uncalibrated Affine Predictive Display for Tele-Manipulation" In RSJ Journal of Advanced Robotics, vol. 14/8, 2001, pp. 683-703. Refereed Proceedings: M. Jagersand. "Visual-Motor Jacobian based Image Modelling" In Proceedings of Vision Interface, Ottawa, June 2001. M. Jagersand. "Image Based Animation from Learned Visual-Motor Models", In Proc. of CGS/IEEE Computer Animation 2000. A.Pichler and M. Jagersand. "Uncalibrated Hybrid Force-Vision Manipulation" Proc. of IEEE/RSJ conference on Intelligent Robots and Systems, (IROS) 2000. M. Jagersand. "Hierarchical Uncalibrated Predictive Display for a 16 DOF Utah/MIT hand." In Proc. of IEEE/RSJ Conference on Intelligent Robots and Systems, (IROS) 99. M. Jagersand. "Image Based Predictive Display for Tele-Manipulation." In Proc. of Int. Conf. On Robotics and Automation 99 Z. Dodds, M. Jagersand, G. Hager and K. Toyoma. "A Hierarchical Vision Architecture for Robotic Manipulation Tasks," In Proc. of Int. Conf. On Computer Vision Systems 99. M. Jagersand, O. Fuentes and R. Nelson. "Experimental Evaluation of Uncalibrated Visual Servoing for Precision Manipulation". In Proc. of Int. Conf. On Robotics and Automation 97. M. Jagersand. "Visual Servoing and Visual Space Programming". Video, In Int. Conf. On Robotics and Automation video proceedings 97. M. Jagersand. "Image Based View Synthesis of Articulated Agents". In Proc. of Computer Vision and Pattern Recognition 97, also TR 595 U. of Rochester.

Publications co-authored with University of Alberta Computing Science students 1997 – present: K. Yerex, D. Cobzas and M. Jagersand. "Predictive Display Models for Tele-Manipulation from Uncalibrated Camera-capture of Scene Geometry and Appearance" Proc. of IEEE International Conference on Robotics and Automation (ICRA 2003), (In Press). D. Cobzas, K. Yerex and M. Jagersand. "Editing Real World Scenes: Augmented Reality with Image-based Rendering" Proc. of IEEE Virtual Reality Conference (VR 2003), (In Press). D. Cobzas, H. Zhang and M. Jagersand. "Image-based Localization with Depth-Enhanced Image Maps" Proc. of IEEE International Conference on Robotics and Automation (ICRA 2003), (In Press). D Cobzas, M Jagersand and H Zhang. “A Panoramic Model for Robot Predictive Display.” In Proceedings of Vision Interface, 111-118. Halifax, NS. 2003. Received the Best Paper Award at the conference and was invited for a journal special issue. S Leonard and M Jagersand. “Tracking the Pose of Objects through Subspace.” In Proceedings of Scandinavian Conference on Image Analysis (SCIA 2003), 371-378. Springer LNCS2749. D Cobzas and M Jagersand. “A comparison of Viewing Geometries for Augmented Reality.” In Proceedings of Scandinavian Conference on Image Analysis (SCIA 2003), 501-508. Springer LNCS2749. D Cobzas and M Jagersand. “A survey of Image-based Modeling and Rendering.” In Proceedings of IEEE Virtual Reality T1, 1-8. 2003. M Jagersand. “Texturing of Image-based Models.” In Proceedings of IEEE Virtual Reality T1, 36-48. 2003. K Yerex and M Jagersand. “Implementation of Real-Time Texture Blending and IBMR systems.” In Proceedings of IEEE Virtual Reality T1, 67-77. 2003. A.Zadorozny, H. Zhang and M. Jagersand. "Granulometry Using Transformation Based Techniques" In Proceedings of Vision Interface, Calgary, May 2002. D. Cobzas, H. Zhang and M. Jagersand. "A Comparative Analysis of Geometric and Image-Based Volumetric and Intensity Data Registration Algorithms", Proc. of IEEE International Conference on Robotics and Automation (ICRA 2002), May 2002, Washington D.C., pp. 2506-2511. D. Cobzas and M. Jagersand. "A comparison of Non-Euclidean Image-Based Rendering", In Proceedings of Graphics Interface, Ottawa, June 2001. M. Jagersand and G. Binstead. "Learning Piecewise Linear Coordinate Transforms for Hand-Eye Coordination"", Poster proceedings, Progress in Motor Control, Montreal, August 2001.

Greg Kondrak

Assistant Professor Email: kondrak@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~kondrak

Computational Linguistics, Natural Language Processing

Selected Publications: G. Kondrak, D. Marcu and K. Knight. "Cognates Can Improve Statistical Translation Models." Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics (HLT-NAACL 2003),Companion Volume, pp. 46-48, 2003. G. Kondrak. "Determining Recurrent Sound Correspondences by Inducing Translation Models." Proceedings of the Nineteenth International Conference on Computational Linguistics, Taipei, Taiwan, pp. 488-494, 2002. G. Kondrak. "Identifying Cognates by Phonetic and Semantic Similarity." Proceedings of the Second Meeting of the North American Chapter of the Association for Computational Linguistics, Pittsburgh, PA, pp. 103-110, 2001. G. Kondrak. "A New Algorithm for the Alignment of Phonetic Sequences." Proceedings of the First Meeting of the North American Chapter of the Association for Computational Linguistics, Seattle, WA, pp. 288-295, 2000. G. Kondrak and P. van Beek. "A Theoretical Evaluation of Selected Backtracking Algorithms." Artificial Intelligence, 89(1-2), pp. 365-387, 1997.

Xiaobo Li

Professor Email: li@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~li

Pattern Recognition, Image Processing

Selected Publications: X. Li, Z. Liu and K. Leung. "Detection of Vehicles from Traffic Scenes Using Fuzzy Integrals", Pattern Recognition, Vol.35, No.4, pp. 967-980, 2002. D. Zhang, X. Li and Z. Liu. "Data Management and Internet Computing for Image/Pattern Analysis", Kluwer Scientific Publishers, 361 pages, 2001. Z. Liu, X. Li and K. Leung. "Fuzzy measures for vehicle detection," Proceedings of 10th IEEE International Conference on Fuzzy Systems, pp. 442-445, Melbourne, Australia, 2001. X. Qiao, Q. Gan, Z. Liu, X. Guo and X. Li. "Cache optimization in scientific computations," Proceedings of the 1999 ACM Symposium of Applied Computing, pp. 548-552, San Antonio, Texas, 1999. A. Tong, R. Qureshi, X. Li and A. P. Sather. "A system for ultrasound image segmentation for loin eye measurements in swine", Canadian Agriculture Engineering, Aug. 5, 1997. Vol. 40, No.1, pp.47-53, 1998. Publications co-authored with University of Alberta Computing Science students 1997 – present: MA Nascimento, V Sridhar and X Li. “Effective and efficient region-based image retrieval.” Journal of Visual Languages and Computing 14 (2) (2003): 151-179. J Mohr and X Li. “Computational Challenges in Multiple Wavetable Interpolation Synthesis.” In Proceedings of ICCS2003 Conference, St. Petersburg, Russia, June 2-4, 2003: 447-456. Acceptance Rate = 450/650 (69%). J. Wang and X. Li. "Controlled Accurate Searches with Balloons", Pattern Recognition, Mar. 8, 2002, Vol.36, No.3, pp.827-843, 2003. J. Wang and X. Li. "A Content-Guided Searching Algorithm for Balloons", Pattern Recognition, Dec. 4, 2001, Vol.36, No.1, pp. 205-215, 2003.

J. Wang and X. Li. "Controlled Accurate Searches with Balloons", Pattern Recognition, Mar. 8, 2002, Vol.36, No.3, 2003. J. Wang and X. Li. "Guiding ziplock snakes with a priori information, IEEE Trans. on Image Processing, accepted Oct. 24, 2002, (22 pgs). J. Wang and X. Li. "Multi-Scale Internal Energy Model for Active Contour Models," Proceedings of Second International Conference on Image and Graphics, pp. 16-18, Hefei, China, August 16-18, 2002. V. Sridhar, M.A. Nascimento and X. Li. "Region-based image retrieval using multiple features," Proceedings of 5th International Conference VISUAL 2002, pp.61-75, Taiwan, 2002. V. Sridhar, X. Li and M.A. Nascimento. "Towards Robust Hidden Watermarking Using Multiple Quasi-Circles" Proceedings of ACM Multimedia Workshop on Multimedia and Security 2001, 5 pages, accepted June 20, 2001, pp. 31-35, Ottawa, 2001. J. Wang and X. Li. "Guiding ziplock snakes with a priori information," Proceedings of International Conference in Pattern Recognition, accepted April 4, 2000, pp. 614-617, Barcelona, Spain, 2000. H. Cheng and X. Li. "Partial Encryption of Compressed Images and Videos", IEEE Transactions on Signal Processing, Nov. 8, 1999, Vol.48, No.8, pp.2439-2451, 2000. J. Wang and X. Li. "A Self-Adjusting Mechanism for Active Contour Models," Proceedings of Vision Interface '00, accepted March 7, 2000, pp.31-37, Montreal, 2000. X. Li and J. Wang. "Adaptive Balloon Models," Proceedings of IEEE Conference on Computer Vision and Pattern Recognition, pp. 434-439, Fort Collins, Colorado, 1999. J. Knipe and X. Li. "On the Reconstruction of Quadtree Data" IEEE Transactions on Image Processing, Vol.7, No.12, pp.1653-1660, 1998. J. Modayil, H. Cheng and X. Li. "An Improved Piecewise Approximation Algorithm for Image Compression", Pattern Recognition, Oct. 9, 1997, Vol.31, No. 8, pp.1179-1190, 1998. X. Li and X. Qu. "Image retrieval using dynamic bintree," Proceedings of IEEE International Conference on Intelligent Processing Systems, pp. 526-530, Gold Coast, Australia, 1998. J. Wang and X. Li. "A System for Segmenting Ultrasound Images," Proceedings of International Conference in Pattern Recognition, pp. 456-461, Brisbane, Australia, 1998. X. Li and X. Qu, "Matching Spatial Relations Using db-Tree for Image Retrieval," Proceedings of International Conference in Pattern Recognition, pp. 1230-1234, Brisbane, Australia, 1998.

J. Knipe, X. Li and B. Han. "An Improved Lattice Vector Quantization Based Scheme for Wavelet Compression" IEEE Transactions on Signal Processing, Aug. 4, 1997. Vol. 46, No.1, pp.239-243, 1998. J. Wang, X. Li. and A. Bradley, "Boundary searching snames for segmenting noisy images," Proceedings of Vision Interface '98, pp. 107-114, Vancouver, June 1998. C. Cruden and X. Li. "Adaptive motion compensation in MPEG," Proceedings of Vision Interface '98, pp 101-106, Vancouver, 1998. V. Oria, M.T. Oszu, L. Liu, X. Li, J.Z. Li, Y. Niu and P. Iglinski. "Modeling Image for Content-Based Queries: The DISIMA Approach," Proceedings of Second International Conference on Visual Information Systems, pp. 339-346, San Diego, CA, 1997, accepted July 1, 1997, 8 pages. X. Li, J. Knipe and H. Cheng. "Image Compression and Encryption Using Tree Structures," Pattern Recognition Letters, July 9, 1997. Vol 18, No. 11-13, pp.1253-1259, 1997. J. Modayil, H. Cheng and X. Li. "Experiments In Simple One-Dimensional Lossy Image Compression Schemes", Proceedings of IEEE Conference on Multimedia Computing Systems, pp. 614-615, Ottawa, 1997. D. Gorodnichy, W. Armstrong and X. Li. "Adaptive Logic Networks for Facial Feature Detection", International Conference on Image Analysis and Processing, pp.332-339, Florence, Italy, 1997. Y. Niu, T. Ozsu and X. Li. "2D-h Trees: An Index Scheme for Content-Based Retrieval of Images in Multimedia Systems", Proceedings of IEEE International Conference on Intelligent Processing Systems, pp. 1710-1715, Beijing, China, 1997.

Dekang Lin

Associate Professor Email: lindek@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~lindek

Natural Language Processing, Machine Learning, Internet Agents

Selected Publications: Bonnie Dorr, Gina Levow and Dekang Lin. Construction of a Chinese-English Verb Lexicon for Embedded Machine Translation in Cross-Language Information Retrieval, Machine Translation, Special Issue on Embedded MT., 2003. D. Lin. Automatic Identification of Non-compositional Phrases, In Proceedings of ACL-99, pp.317-324. University of Maryland, College Park, Maryland, 1999. D. Lin. Automatic Retrieval and Clustering of Similar Words. COLING-ACL98, Montreal, Canada, 1998. D. Lin. An Information-Theoretic Definition of Similarity. Proceedings of International Conference on Machine Learning, Madison, Wisconsin, 1998. D. Lin. Extracting Collocations from Text Corpora. First Workshop on Computational Terminology, Montreal, Canada, 1998. D. Lin. Dependency-based Evaluation of MINIPAR. In Workshop on the Evaluation of Parsing Systems, Granada, Spain, 1998. D. Lin. A Dependency-based Method for Evaluating Broad-Coverage Parsers. Natural Language Engineering, 1998. D. Lin. Using Syntactic Dependency as Local Context to Resolve Word Sense Ambiguity In Proceedings of ACL-97, Madrid, Spain, 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: D Lin and C Cherry. “ProAlign: Shared Task System Description.” In Proceedings of the Workshop on Building and Using Parallel Texts, 11-14. May 2003. C Cherry and D Lin. “A Probability Model to Improve Word Alignment.” In Proceedings of the 41st Annual Meeting of Association for Computational Linguistics, 88-95. Sapporo, Japan. 2003.

D Lin and C Cherry. “Word Alignment with Cohesion Constraint. In Proceedings of Human Language Technologies and North American Chapter of Association for Computational Linguistics 2003. Late-Breaking Paper Volume, 49-51. Edmonton, Canada. 2003. D Lin and C Cherry. “Linguistic Heuristics in Word Alignment.” In Proceedings of Pacific Association for Computational Linguistics 2003, 171-179. Halifax, Canada. 2003. D Lin, S Zhao, L Qin and M Zhou. “Identifying Synonyms among Distributionally Similar Words.” In Proceedings of IJCAI-03, 192-193. Acapulco, Mexico. 2003. (21% acceptance). Patrick Pantel and Dekang Lin. Discovering Word Senses from Text. In Proceedings of ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2002. pp. 613-619. Edmonton, Canada, 2002. Dekang Lin and Patrick Pantel. Concept Discovery from Text. In Proceedings of Conference on Computational Linguistics 2002. pp. 577-583. Taipei, Taiwan, 2002. Patrick Pantel and Dekang Lin. Document Clustering with Committees. In Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 2002. pp. 199-206. Tampere, Finland, 2002. Dekang Lin and Patrick Pantel. Discovery of Inference Rules for Question Answering. Natural Language Engineering 7(4): 343-360, 2001. D. Lin and P. Pantel. Induction of Semantic Classes from Natural Language Text. In Proceedings of ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2001. pp. 317-322, 2001. D. Lin and P. Pantel. DIRT - Discovery of Inference Rules from Text. In Proceedings of ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2001. pp. 323-328, 2001. P. Pantel and D. Lin. A Statistical Corpus-Based Term Extractor. In: Stroulia, E. and Matwin, S. (Eds.) AI 2001, Lecture Notes in Artificial Intelligence. pp. 36-46. Springer-Verlag, 2001. P. Pantel and D. Lin. An Unsupervised Approach to Prepositional Phrase Attachment using Contextually Similar Words. In Proceedings of Association for Computational Linguistics 2000. pp. 101-108, Hong Kong, 2000. P. Pantel and D. Lin. Word-for-Word Glossing with Contextually Similar Words, In Proceedings of ANLP-NAACL 2000, pp.78-85, Seattle, Washington, 2000.

Guohui Lin

Assistant Professor Email: ghlin@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~ghlin

Bioinformatics and Computational Molecular Biology.

Selected Publications: X Wan, D Xu, CM Slupsky and GH Lin. Automated protein NMR resonance assignments. In Proceedings of the 2nd IEEE Bioinformatics Conference (CSB2003), 197-208. Stanford, CA. 2003. Y Gao, J Wu, R Niewiadomski, Y Wang, Z-Z Chen and GH Lin. A space efficient algorithm for sequence alignment with inversions. The Ninth International Computing and Combinatorics Conference (COCOON 2003). LNCS 2697, 57-67. Big Sky, MT. 2003. Z-Z Chen, T Jiang and GH Lin. Computing phylogenetic roots with bounded degrees and errors. SIAM Journal on Computing 32 (2003): 864-879. J. Xu, M. Li, G.H. Lin, D. Kim and Y. Xu. Protein structure prediction by linear programming. The Seventh Pacific Symposium on Biocomputing (PSB 2003). Z-Z Chen, T Jiang, GH Lin, R Rizzi, JJ Wen, D Xu and Y Xu. More reliable protein NMR peak assignment via improved 2-interval scheduling. The 11th Annual European Symposium on Algorithms (ESA 2003). May 2003. 12 pgs. Budapest, Hungary. ZZ Chen, T Jiang, JJ Wen, D Xu and Y Xu. Better approximation algorithms for NMR spectral peak assignment. The 2nd Workshop on Algorithms in Bioinformatics (WABI 2003). LNCS 2452, 82-96. Rome, Italy. 2002. G.H. Lin, D. Xu, S.Z. Chen, T. Jiang, J.J. Wen and Y. Xu. Computational assignment of protein backbone NMR peaks by efficient bounding and filtering. Journal of Bioinformatics and Computational Biology. Invited submission by the IEEE Computer Society Bioinformatics Conference 2002 (CSB 2002). (In Press). G.H. Lin and T. Jiang. A further improved approximation algorithm for breakpoint graph decomposition. Journal of Combinatorial Optimization. (In Press). Z.Z. Chen, T. Jiang, G.H. Lin, J.J. Wen, D. Xu, J. Xu and Y. Xu. Approximation algorithms for NMR spectral peak assignment. Theoretical Computer Science. (In Press).

D. Jaitly, P.E. Kearney, G.H. Lin and B. Ma. Methods for reconstructing the history of tandem repeats and their application to the human genome. Journal of Computer and System Sciences. (In Press). G.-H. Lin, Z.-Z. Chen, T. Jian, and J.-J. Wen. The longest common subsequence problem for sequences with nested arc annotations. Journal of Computer and System Sciences. (In Press).

Paul Lu

Assistant Professor Email: paullu@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~paullu

Parallel/Distributed Computing

Refereed journals: P. Lu. Integrating Bulk-Data Transfer into the Aurora Distributed Shared Data System. Journal of Parallel and Distributed Computing, 61:1609-1632, November 2001. P. Lu. Implementing Scoped Behaviour for Flexible Distributed Data Sharing. IEEE Concurrency, 8(3):63-73, July-September 2000. Refereed conferences and workshops: J Schaeffer, Y Bjornsson, N Burch, R Lake, P Lu, and S Sutphen. Building the checkers 10-piece endgame databases. In Proceedings of the 10th Advances in Computer Games, 23 ms. Graz, Austria. 2003. (In Press). A Driga, P Lu, J Schaeffer, D Szafron, K Charter and I Parsons. FastLSA: a fast, linear-space, parallel and sequential algorithm for sequence alignment. In Proceedings of the 32nd International Conference on Parallel Processing (ICPP), 10 ms. Kaohsiung, Taiwan. 2003. (In Press). J. Siegel and P. Lu. User-Level Remote Data Access in Overlay Metacomputers. In Proc. 4th IEEE International Conference on Cluster Computing (Cluster 2002), pages 480-483, Chicago, Illinois, USA, September 23-36, 2002. Refereed poster paper with 4 pages in the proceedings. (In Press). G. Ma, V. Salamon and P. Lu. Security and History Management Improvements to PBSWeb. In Proc. 15th International Symposium on High Performance Computing Systems and Applications (HPCS), Windsor, Ontario, Canada, June 18-20, 2001. G. Ma and P. Lu. PBSWeb: A Web-based Interface to the Portable Batch System. In Proc. 12th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 24-30, Las Vegas, Nevada, U.S.A., November 6-9, 2000.

P. Lu. Implementing Optimized Distributed Data Sharing Using Scoped Behaviour and a Class Library. In Proc. 3rd USENIX Conference on Object-Oriented Technologies and Systems (COOTS), pages 145-158, Portland, Oregon, U.S.A., June 1997. P. Lu. Aurora: Scoped Behaviour for Per-Context Optimized Distributed Data Sharing. In Proc. 11th IEEE/ACM International Parallel Processing Symposium (IPPS), pages 467-473, Geneva, Switzerland, April 1997. Books and book chapters: P. Lu. Using Scoped Behaviour to Optimize Data Sharing Idioms. In Rajkumar Buyya, editor, High Performance Cluster Computing: Programming and Applications, Volume 2, pages 113-130. Prentice Hall PTR, Upper Saddle River, New Jersey, 1999. Publications co-authored with University of Alberta Computing Science students 1997 – present: D Szafron, P Lu, R Greiner, D Wishart, Z Lu, B Poulin, R Eisner, J Anvik and C Macdonell. Proteome Analyst - Transparent high-throughput protein annotation: function, localization and custom predictors. In Proceedings of the International Conference on Machine Learning, Workshop on Machine Learning in Bioinformatics (ICML Workshop - Bioinformatics), 2-10. Washington, U.S.A. 2003. M Goldenberg, P Lu, and J Schaeffer. TrellisDAG: a system for structured DAG scheduling. In Proceedings of the 9th Workshop on Job Scheduling Strategies for Parallel Processing, 21-35. Seattle, WA, U.S.A. 2003 C Pinchak, P Lu, J Schaeffer, and M Goldenberg. The canadian internetworked scientific supercomputer. In Proceedings of the 17th International Symposium on High Performance Computing Systems and Applications (HPCS), 193-199. Sherbrooke, QC, Canada. 2003. E Novillo and P Lu. A case study of selected SPLASH-2 applications and the SBT debugging tool. In Proceedings of the First International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), Nice, France. 2003. C. Pinchak, P. Lu and M. Goldenberg. Practical Heterogeneous Placeholder Scheduling in Overlay Metacomputers: Early Experiences. In Proc. 8th Workshop on Job Scheduling Strategies for Parallel Processing, pages 85-105, 2002. M. McNaughton, P. Lu, J. Schaeffer and D. Szafron. Memory-Efficient A* Heuristics for Multiple Sequence Alignment. In Proc. 18th National Conference on Artificial Intelligence (AAAI), pages 737-743, 2002. V. Salamon, P. Lu, B. Watson, D. Brodsky and D. Gomboc. A Case Study of Improving Memory Locality In Polygonal Model Simplification: Metrics and Performance. In Proc. 8th International Conference on High Performance Computing (HiPC), pages 137-148, 2001.

O.R. Zaane, M. El-Hajj, and P. Lu. Fast Parallel Association Rule Mining Without Candidacy Generation. In Proc. IEEE 2001 International Conference on Data Mining (ICDM), pages 665-668, San Jose, CA, USA, November 29-December 2, 2001. (In Press). E. Novillo and P. Lu. On-Line Debugging and Performance Monitoring with Barriers. In Proc. 15th International Parallel and Distributed Processing Symposium (IPDPS), San Francisco, California, U.S.A., April 23-27, 2001. C. Dutchyn, P. Lu, D. Szafron, S. Bromling and W. Holst. Multi-Dispatch in the Java Virtual Machine: Design and Implementation. In Proc. 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), pages 77-92, San Antonio, Texas, U.S.A., January 29-February 2, 2001.

M.H. MacGregor

Associate Professor Email: macg at cs dot ualberta dot ca WWW: http://www.cs.ualberta.ca/~macg

Router and Switch Architectures

Refereed Journal Publications: R.R. Iraschko, M.H. MacGregor and W.D. Grover. "Optimal Capacity Placement for Path Restoration in STM or ATM Mesh-Survivable networks", IEEE / ACM Transactions on Networking, Vol. 6, No. 3, June, 1998, pp. 325-336. M.H. MacGregor and W.D. Grover. "Distributed Partial-Express Routing of Broad-Band Transport Network Demands". IEEE / ACM Transactions on Networking, Vol. 5, No. 6, December, 1997, pp. 981-988. M.H. MacGregor, W.D. Grover and K. Ryhorchuk. "Optimal spare capacity preconfiguration for faster restoration of mesh networks", accepted for publication in Journal of Networks and Systems Management, Special Issue on Fault Management in Communication Networks, Vol. 5, No. 2, June, 1997. W.D. Grover, V. Rawat and M.H. MacGregor. "A fast heuristic principle for spare capacity placement in mesh-restorable SONET/SDH transport networks", Electronics Letters, Vol. 33, No. 3, January 30, 1997, pp. 195-196. Refereed Conference Publications: MH MacGregor. Design algorithms for multi-zone IP address caches. In Proceedings of High Performance Switching and Routing (HPSR 2003), 281-285. Torino, Italy. 2003. M.H. MacGregor and L. Stewart. "Enabling Subscriber-to-subscriber Communication in an NBMA DSL Network", accepted for publication, SCI 2002, Orlando, July, 2002. M.H. MacGregor and D. Stamatelakis. "Endpoint Tunability in DWDM Rings", accepted for publication, NFOEC 2002, Dallas, September, 2002.

M.H. MacGregor, D. Stamatelakis and R. Iraschko. "The Relative Utility of Three Optical Network Properties in Future Dynamic Optical Networks", IASTED WOC 2002, Banff, July, 2002 (In Press). M. MacGregor. "Optimal Multicast in DWDM Networks: Minimizing Wavelength Conversion", Proc. Opticomm 2001, pp. 184-194. M. Lewchuk and M. MacGregor. "BGP Routing Scalability: Reflectors vs. Route Servers", Proc. SCI'2000/ISAS'2000, Orlando, FL, July 23-26, 2000. M.H. MacGregor and W.D. Grover. "Partial express routing of broadband transport network demands", Canadian Conference on Broadband Research, Ottawa, April 16-18, 1997. Y. Zheng, W.D. Grover and M.H. MacGregor. "Dependence of network capacity requirements on the allowable flow convergence overloads in ATM backup VP restoration", accepted for publication in the Canadian Conference on Broadband Research, Ottawa, April 16-18, 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: W Shi, M MacGregor and P Gburzynski. "Effects of a hash-based scheduler on cache performance in a parallel forwarding system." In Proceedings of Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS 2003), 130-138. Orlando. 2003. X Yuan, MH MacGregor and J Harms. "An efficient scheme to remove crawler traffic from the internet." In Proceedings of the International Conference on Computer Communications and Networks (ICCCN 2002),90-95. Miami. 2002. MH MacGregor, D Stamatelakis and R Iraschko. "The relative utility of three optical network properties in future dynamic optical networks." In Proceedings of IASTED Wireless and Optical Communications Conference 2002, 191-195. Banff. 2002. I. Chvets and M MacGregor. "Multi-zone Caches for Accelerating IP Routing Table Lookups", Proc. High Performance Switching and Routing, Kobe, Japan, June, 2002, pp. 121-126. C. Zhang and M MacGregor. "Scheduling Latency-Critical Traffic: A Measurement Study of DRR+ and DRR++", Proc. High Performance Switching and Routing, Kobe, Japan, June, 2002, pp. 262-267. W. Shi, M.H. MacGregor and P. Gburzynski. "Synthetic Trace Generation for the Internet", Proc. Workshop on Workload Characterization WWC-4, Dallas, November, 2001, pp. 169-174. W. Shi and M. MacGregor. "Cache Reference Behavior of Three IP Routing Table Lookup Algorithms", Proc. SCI '2001, pp. 318-320. M. MacGregor and W. Shi. "Deficits for burst latency-critical flows: DRR++", Proc. IEEE ICON 2000, Singapore, Sept. 5-8, 2000, pp. 287-293.

Martin Müller

Associate Professor Email: mmueller@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~mmueller

Algorithms, artificial intelligence, heuristic search, knowledge engineering, machine learning, combinatorial game theory, computer Go

Selected Publications: A Kishimoto and M Mueller. The GHI problem in df-pn search. Proceedings of the 7th Joint Conference on Information Sciences JCIS 2003. A Kishimoto and M Mueller. Df-pn in Go: an application to the one-eye problem. Advances in Computer Games 10 (In Press). M. Muller. Conditional combinatorial games, and their application to analyzing capturing races in Go, 2002.12 pp. Information Sciences, (In Press). M. Muller. Computer Go.Artificial Intelligence, 134(1-2): 145-179, 2002. M. Muller. Counting the score: Position evaluation in computer Go. ICGA Journal, 25(4), 2002. M. Muller. A generalized framework for analyzing capturing races in Go. In Proceedings of Sixth Joint Conference on Information Sciences (JCIS 2002), pp. 469-472, 2002. M. Muller. Multicriteria evaluation in computer game-playing, and its relation to AI planning. In Proceedings of AIPS-2002 Workshop on Planning and Scheduling with Multiple Criteria, pp. 1-6, 2002. M. Muller. Proof-set search. In J. Schaeffer, M. Muller, and Y. Bjrnsson, editors, Computers and Games 2002, Lecture Notes in Computer Science. Springer Verlag, 2002. M. Muller. Global and local game tree search. Information Sciences, 135(3-4): 187-206, 2001. M. Muller. Partial order bounding: A new approach to evaluation in game tree search. Artificial Intelligence, 129(1-2): 279-311, 2001. M. Muller. Review: Computer Go 1984 - 2000. In T. Marsland and I. Frank, editors, Computers and Games 2000, number 2063 in Lecture Notes in Computer Science, pp. 426-435. Springer Verlag, 2001.

M. Muller. Solving 5x5 Amazons. In The 6th Game Programming Workshop (GPW 2001), number 14 in IPSJ Symposium Series Vol.2001, pp. 64-71, Hakone (Japan), 2001. H. Iida and M. Muller. Report on the second open computer-Amazons championship. ICGA Journal, 23(1): 51-54, 2000. M. Muller. Generalized thermography: A new approach to evaluation in computer Go. In J. van den Herik and H. Iida, editors, Games in AI Research, pp. 203-219, Maastricht, 2000. Universiteit Maastricht. M. Muller. Not like other games - why tree search in Go is different. In Proceedings of Fifth Joint Conference on Information Sciences (JCIS 2000), pp. 974-977, 2000. M. Muller. Decomposition search: A combinatorial games approach to game tree search, with applications to solving Go endgames.In IJCAI-99, pp. 578-583, 1999. M. Muller. Partial order evaluation in game tree search, and its application to analyzing semeai in the game of Go. In AAAI 1999 Spring Symposium Series, pp. 101-106. AAAI, 1999. M. Muller. Race to capture: Analyzing semeai in Go. In Game Programming Workshop in Japan '99, volume 99(14) of IPSJ Symposium Series, pp. 61-68, 1999. N. Sanechika, M. Tajima and M. Muller.Observable definitions of fuseki concepts (extended abstract, in Japanese). In Game Programming Workshop in Japan '99, volume 99(14) of IPSJ Symposium Series, pp. 117-120, 1999. M. Muller. Computer Go: A research agenda. ICCA Journal, 22(2):104-112, 1999. M. Muller. Computer Go: A research agenda. In J. van den Herik and H. Iida, editors, Computers and Games, no. 1558 in Lecture Notes in Computer Science, pp. 252-264. Springer Verlag, 1998. M. Muller. Playing it safe: Recognizing secure territories in computer Go by using static rules and search.In H. Matsubara, editor, Game Programming Workshop in Japan '97, pp. 80-86, Computer Shogi Association, Tokyo, Japan, 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: A Botea, M Mueller and J Schaeffer. Extending PDDL for hierarchical planning and topological abstraction. In Proceedings of the International Conference on Automated Planning and Scheduling Workshop on PDDL, 25-32. Trento, Italy, 2003. A. Botea, M. Muller and J. Schaeffer. Using abstraction for planning in Sokoban. In J. Schaeffer, M. Muller and Y. Bjrnsson, editors, Computers and Games 2002, Lecture Notes in Computer Science. Springer Verlag, 2002.

M. Muller and T. Tegos. Experiments in Computer Amazons. In R. Nowakowski, editor, More Games of No Chance. Cambridge University Press, 2002, pp.243-260. J. Zhou and M. Muller. DFDA: A new algorithm for incremental topological sorting of DAGs, 2002.10 pp. Submitted to Information Processing Letters. J. Rijswijck and M. Muller.The second international conference on computers and games. ICGA Journal, 24(1):49-54, 2001.

Mario Nascimento

Assistant Professor Email: mn@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~mn

Databases and Information Retrieval

Selected Publications: R.O. Stehling, M.A. Nascimento and A.X. Falcao. Cell Histograms Versus Color Histograms for Image Representation and Retrieval. Knowledge and Information Systems J., 5(2), p. 315-336, 2003. M.A. Nascimento, V. Sridhar and X. Li. Effective and efficient region-based image retrieval. Journal of Visual Languages and Computing, 14 (2003): 151-179. S.R.M. Oliveira and M.A. Nascimento. A tool for searching multiple compressed collections. Revista Tecnologia da Informacao (Information Technology Journal), 3 (2003): 75-82. A. Coman, J. Sander and M.A. Nascimento. Efficient indexing of high dimensional normalized histograms. Proceedings of the 14th International Conference on Database and Expert Systems Applications (2003): 601-610, Prague, Czech Republic. Y. Zhang, M.A. Nascimento and O. Zaiane. Building image mosaics: an application of content-based image retrieval. Proceedings of the 2003 IEEE International Conference on Multimedia and Expo (2003): 317-320, Baltimore, USA. J. Antoniuk and M.A. Nascimento. A Light Weight PDA-Friendly Collection Fusion Technique. Proc. of the 27th Intl. ACM Conf. on Research and Development on Information Retrieval, p. 439-440, 2003. M.A. Nascimento, V. Sridhar and X. Li. Region-based Image Retrieval Using Multiple-Features. J. Visual Languages and Computing, 14(2), p. 151-179, 2003. M.A. Nascimento and S. Wang. Robust color-based image retrieval using bipartite graphs. CDROM Proceedings of the 2002 IEEE International Conference on Multimedia and Expo (2002): 405-408, Lausanne, Switzerland. R.O. Stehling, M.A. Nascimento and A.X. Falcao. A Compact and Efficient Image Retrieval Approach Based on Border/Interior Pixel Classification. Proc. of the 11th ACM Intl. Conf. on Information and Knowledge Management, pp. 102-109, 2002.

R.O. Stehling, M.A. Nascimento and A.X. Falcao. Techniques for Color-Based Image Retrieval. In: Multimedia Mining: A Highway to Intelligent Multimedia Documents, Chabane,D. (Ed.), Kluwer Academic, 2002. M.A. Nascimento, E. Tousidou, V. Chitkara and Y. Manolopoulos. Image Indexing and Retrieval Using Signature Trees. Data and Knowledge Engineering J., 43(1), p. 57-77, 2002.

Ioanis Nikolaidis

Assistant Professor Email: yannis@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~yannis

Computer Networks, Performance Evaluation, Parallel and Distributed Simulation

Selected Publications: Y. Jia, I. Nikolaidis and P. Gburzynski. Buffer space tradeoffs in multi-hop networks. In Proceedings of the 1st Annual Conference on Communication Networks & Services Research (CNSR 2003), 74-79. Moncton, NB. 15th-16th May 2003. X. Wu and I. Nikolaidis. Tradeoffs of implementing TCP fairness schemes. In Proceedings of the 4th International Conference on Internet Computing (IC 2003), 527-533. Las Vegas, NV. 23rd-26th June 2003. I. Nikolaidis and H. Hassanein. Guest Editorial (Mobile and Ad Hoc Local Networks. Computer Networks, Feb. 2003, 41:285-287. I. Nikolaidis. On the Feasibility of Time-Parallel Discrete Event Simulations over Local and Wide Area Networks. In N. J. Dimopoulos and K. F. Li (eds.) High Performance Computing Systems and Applications, pp. 39-59, Kluwer Academic Publishers, 2002. I. Nikolaidis. Towards Scalable VoD Distribution on the Internet. In the Proceedings of the 20th IEEE International Performance Computing and Communications Conference (IPCCC 2001), Phoenix, Arizona, USA, 4-6 April 2001, pp. 71-76. I. Nikolaidis and C. Williamson. Guest Editorial (Web Performance). IEEE Network, May/June 2000, 14:4-5. I. Nikolaidis and J. Harms. A Logical Ring Reliable Multicast Protocol for Mobile Nodes. In the Proceedings of the 7th International Conference on Network Protocols (ICNP '99), Toronto, Canada, 31 October, pp. 106-13. F. Li and I. Nikolaidis. Trace (Adaptive Fragmentation for Periodic Broadcast of VBR Video. In the Proceedings of the 9th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV '99), Basking Ridge, New Jersey, USA, 23-25 June 1999, pp. 253-264.

E. Stroulia and I. Nikolaidis. Schemes for Adaptive QoS Routing. In the Proceedings of the Internet Global Summit 1999 (INET '99), San Jose, CA, 19(26 June 1999, (on-line proceedings: http://www.isoc.org/inet99/proceedings). F. Hao, I. Nikolaidis and E. W. Zegura. Efficient Simulation of ATM Networks with Accurate End-to-End Delay Statistics. In the Proceedings of the 1998 International Conference on Communications (ICC '98), Atlanta, Georgia, USA, 7-11 June 1998, pp. 1799-1804. I. Nikolaidis and I. F. Akyildiz. An Overview of Source Characterization in ATM Networks. In J. Walrand, K. Bagchi and G. Zobrist (eds.) Network Performance Modeling and Simulation, 123-150, Gordon & Breach Publishing Group, 1998. I. F. Akyildiz, J. Liebeherr and I. Nikolaidis. Multi-Level Rate-Based Flow Control for ABR Traffic. Performance Evaluation Journal, 1997, 31:107-131. I. Nikolaidis, I. Joe, R. Fujimoto, I. Nikolaidis. Parallel Simulation of End(to(End ATM Connections. Computer Networks and ISDN Systems, 1997, 26:617-631. I. Nikolaidis, C. A. Cooper, K. S. Perumalla and R. Fujimoto. Time-Parallel Generation of Self-Similar ATM Traffic. In the Proceedings of the 1997 Winter Simulation Conference (WSC '97), Atlanta, Georgia, USA, 7-10 December 1997, pp. 1071-1078. Publications co-authored with University of Alberta Computing Science students 1997 – present: X. Wu and I. Nikolaidis. Dynamic bandwidth allocation for lifetime-based TCP classification. In Proceedings of the 2003 International Symposium on Performance Evaluation of Computer and Communication Systems (SPECTS 2003), Montreal, QC. (In Press). X. Wu and I. Nikolaidis. Active Queue Management and Global Fairness Objectives. In the Proceedings of the 2003 Workshop on End-to-End Service Differentiation (EESD 2003) in conjunction with the 22nd IEEE International Performance Computing Conference (IPCCC 2003), Phoenix, USA, April 2003, (In Press). X. Wu and I. Nikolaidis. On the Advantages of Lifetime and RTT Classification Schemes for TCP Flows. In the Proceedings of the 22nd IEEE International Performance Computing and Communications Conference (IPCCC 2003), Phoenix, Arizona, USA, April 2003, (In Press). T. Chu and I. Nikolaidis. Energy Efficient Broadcast in Mobile Ad Hoc Networks. ADHOC-NOW 1st International Conference on Ad-Hoc Networks and Wireless, Toronto, Canada, 20-21 September 2002, pp. 177-190.

X. Wu and I. Nikolaidis. Sociable Elephants: Fairness Among Long Lived TCP Flows. 2002 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2002), San Diego, USA, 14-18 July 2002, pp. 502-506. Y. Jia, I. Nikolaidis and P. Gburzynski. Alternative Paths vs. Inaccurate Link State Information in Realistic Network Topologies. 2002 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2002), San Diego, USA, 14-18 July 2002, pp. 162-169. I. Batsiolas and I. Nikolaidis. Energy Conservation and the Impact of Extended Carrier Sense. International Conference on Wireless and Optical Communications (WOC 2002), Banff, Canada, 17-19 July 2002, pp. 480-485. T. Chu, I. Nikolaidis. On the Artifacts of Random Waypoint Simulations. First International Workshop on Wired/Wireless Internet Communications (WWIC 2002) in conjunction with the 3rd International Conference on Internet Computing 2002 (IC 2002), Las Vegas, USA, 24 June 2002, pp. 69-76. Y. Jia, I. Nikolaidis and P. Gburzynski. Qualitative Link State Dissemination Control in QoS Routing, Accepted for publication, 3rd International Conference on Internet Computing 2002 (IC 2002), Las Vegas, USA, 24-27 June 2002, pp. 140-147. I. Batsiolas and I. Nikolaidis. Selective Idling: Experiments in Transport Layer Energy Conservation. Journal of Supercomputing, Special Issue on Design and Evaluation of Transport Services, Kluwer Academic Publishers, 2001, 20:101-114. F. Li and I. Nikolaidis. On Minimum Energy Broadcasting in All-Wireless Networks. In the Proceedings of the 26th Annual IEEE Conference on Local Computer Networks (LCN 2001), Tampa, Florida, USA, 14-16 November 2001, pp. 193-202. X. Wu and I. Nikolaidis. Self-Similarity of TCP/IP Traffic Microflows and their Aggregations. In the Proceedings of the International Conference on Internet Computing 2001 (IC 2001), Las Vegas, Nevada, USA, 25-28 June 2001, pp. 1093-1104. Y. Jia, I. Nikolaidis and P. Gburzynski. Multiple Path Routing in Networks with Inaccurate Link State Information. In the Proceedings of the IEEE International Conference on Communications (ICC 2001), Helsinki, Finland, 11-14 June 2001, pp. 2583-2587. I. Batsiolas and I. Nikolaidis. Selective Idling: An Experiment in Transport-Layer Power-Efficient Protocol Implementation. In the Proceedings of the International Conference on Internet Computing 2000 (IC 2000), Las Vegas, Nevada, USA, 26-29 June 2000, pp. 419-425. I. Nikolaidis, F. Li and A. Hu. An Inherently Loss (Less and Bandwidth Efficient Periodic Broadcast Scheme for VBR Video, In the Proceedings of ACM SIGMETRICS 2000, Santa Clara, California, USA, 17-21 June 2000, pp. 116-117.

F. Li and I. Nikolaidis. SCB: StairCase Broadcast for Media-on-Demand Systems. In the Proceedings of the 7th International Workshop on Mobile Multimedia Communications (MoMuC 2000), Waseda, Tokyo, Japan, 23-26 October 2000, pp. 3B-1-1(B-1-6. A. Muni and I. Nikolaidis. Power (Efficient Fair Queueing in Systems with Location(Dependent Errors. In the Proceedings of the 3rd Canadian Conference on Broadband Research (CCBR '99), Ottawa, Canada, 7-9 November 1999, pp. 273-278. A. Hu, I. Nikolaidis and P. van Beek. On the Design of Efficient Video-on-Demand Broadcast Schedules. In the Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation (MASCOTS '99), University of Maryland, College Park, Maryland, USA, 24-28 October 1999, pp. 262-269. F. Li and I. Nikolaidis. A Traffic Envelope and Transmission Schedule Computation Scheme for VoD Systems. In the Proceedings of the 4th IEEE Symposium on Computers and Communications (ISCC '99), Red Sea, Egypt, 6-8 July 1999, pp. 180-186.

Francis Jeffry Pelletier

Professor of Philosophy and Computing Science Email: jeffp@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~jeffp

Artificial Intelligence, Linguistics, Philosophy, Cognitive Science

Books, Anthologies, Edited Special Issues of journals: G.N. Carlson, F.J. Pelletier, R. Thomason (eds.) (2002) Special 25th Anniversary Issue of Linguistics and Philosophy v. 25 nos. 5-6. X. Arrazola, K. Korta, F.J. Pelletier, eds.. (1997) Discourse, Interaction, and Communication (Kluwer Academic Press). Refereed Journal Articles: F.J. Pelletier (2003 forthcoming) "Context Dependence and Compositionality" Mind and Language F.J. Pelletier and G.N. Carlson (2002) "The Average American has 2.3 Children" Journal of Semantics 19: 73-104. F.J. Pelletier and R. Thomason (2002) "Twenty-Five Years of Linguistics and Philosophy" Linguistics and Philosophy 25: 1-21. G. Sutcliffe, C. Suttner, F.J. Pelletier (2002) "The IJCAR ATP System Competition" Journal of Automated Reasoning 28: 307-320. F.J. Pelletier, G. Sutcliffe, C. Suttner (2002) "The Development of CASC" AI Communications 15: 79-90. F.J. Pelletier (2000) "Did Frege Believe Frege's Principle?” Journal of Logic, Language, and Information 10: 87-114. F.J. Pelletier (2000) "Goldman on Rationality" Social Epistemology 14: 239-245. F.J. Pelletier and E. Zalta (2000) "How to Say Goodbye to the Third Man" Nos 34: 165-202. F.J. Pelletier (1999) "A Brief History of Natural Deduction" History and Philosophy of Logic v.20, pp. 1-31. J. Delgrande and F.J. Pelletier (1998) "Formal Senses of Relevance in Default Reasoning" Erkenntnis 49: 137-173.

F.J.Pelletier (1998) "Natural Deduction Theorem Proving in THINKER" Studia Logica 60: 3-43. A. Kazmi and F.J. Pelletier (1998) "Is Compositionality Formally Vacuous? " Linguistics and Philosophy v. 21, pp. 629-633. F.J. Pelletier and R. Elio (1997) "What Should Default Reasoning Be, By Default? " Computational Intelligence 17: 165-187. R.Elio and F.J. Pelletier (1997) "Belief Revision as Propositional Update" Cognitive Science 21: 419-460. F.J. Pelletier and G. Sutcliffe (1997) "Erratum to some Errata to Automated Theorem Proving Problems" Journal of Automated Reasoning 18, p. 135. F.J. Pelletier, G.Sutcliffe and C.Suttner (1997) "Conclusions about the CADe-13 Automated Theorem Proving Contests" Jour. Automated Reasoning 18: 287-296. Refereed Articles in Anthologies and Conference Proceedings: F.J. Pelletier and R.E. Elio (2002) "Logic and Cognition" in P. Grdenfors, J. Wolenski , K. Kijania-Placet (Eds.) In the Scope of Logic, Methodology, and Philosophy of Science (Dordrecht: Kluwer). Synthese Library, volume 315. F.J. Pelletier (2000) "Semantic Compositionality: The Argument from Ambiguity and Free Algebras'" in M. Faller, S. Kaufmann, M. Pauly (eds.) Formalizing the Dynamics of Information (Stanford: CSLI), pp. 207-218. F.J. Pelletier and G.N. Carlson (2000) "Average Noun Phrases" in Proceedings of SALT-10. pp. 17-26. F.J. Pelletier (2000) "A History of Natural Deduction and Elementary Logic Textbooks" in J. Woods, B. Brown (eds.) Logical Consequence: Rival Approaches and New Studies, Vol. 1. (Oxford: Hermes Science Pubs). pp. 105-138. R. Elio and F.J. Pelletier (1999) "An Analysis of Belief Update Theories" in J.Wiles and T.Dartnell (Eds.) Perspectives on Cognitive Science (Stamford, CT: Ablex) pp. 131-148. F.J. Pelletier (1997) "Thinking of `Not'" in Arrazola, Korta, Pelletier (eds.) Discourse, Interaction, and Communication. pp. 37-53.

Articles in Handbooks, Encyclopedias, Dictionaries: F.J. Pelletier (2000) "Relation of Computer Science to Other Disciplines" 1500 words. Portion of "Computer Science" entry in the new, revised version of Canadian Encyclopedia. Main entry by Jonathan Schaeffer http://www.thecanadianencyclopedia.com F.J. Pelletier (1998) "Mass Terms" in The Routledge Encyclopedia of Philosophy. (1700 words) F.J. Pelletier and N. Asher (1997). "Generics and Defaults" in J. van Benthem and A. ter Meulen (eds) Handbook of Logic and Language (Amsterdam: North Holland) pp. 1125-1177. Short Reviews: F.J. Pelletier (2000) Review of Petr Hjek The Metamathematics of Fuzzy Logic in Bulletin of Symbolic Logic 6: 342-346. G.N. Carlson and F.J. Pelletier (2000) "Review of Murasugi and Stainton Philosophy and Lingusitics" for Dialogue 39: 605-608. F.J. Pelletier (1999) "Review of van Deemter and Peters Ambiguity and Underspecification" in Reviews in Philosophy v. 28, pp. 305-309. F.J. Pelletier (1998) Review of T. Moody Philosophy of Artificial Intelligence for Minds and Machines 6: 266-273. Reprintings: L.K. Schubert and F.J. Pelletier "Problems in Representing the Logical Form of Generics, Plurals, and Mass Terms" originally in E. Lepore (ed). New Directions in Semantics. Academic Press, 1987, pp. 387-453. To be reprinted in J. Gutierrez-Rexach (ed) (2003 In Press). Semantics: Critical Concepts (Routledge) F.J. Pelletier "The Principle of Semantic Compositionality" originally in Topoi v. 13: 11-24. (1994) Updated, with new Appendix; to be reprinted in S. Davis and B. Gillon (eds.) Semantics: A Reader (Oxford Univ. Press; 2003 In Press). Workshops and Newsletters: F.J. Pelletier and G. Sutcliffe (2001) "CASC: Effective Evaluation having an Effect" in Holger Hoos and Thomas Sttzle (eds.) Proceedings of the IJCAI Workshop in Empirical Methods in Artificial Intelligence (Seattle, Aug. 2001) pp. 33-40.

G. Sutcliffe, C. Suttner, F.J. Pelletier (2001) "The IJCAR ATP System Competition: All the details" Univ. Miami technical report UM-CSC-2001-001 (expanded version of the Jour. Automated Reasoning 2002 paper) X. Huang, J. Pelletier, F. Pfenning and J. Siekmann (eds.) First International Workshop in Proof Transformation and Presentation April 1997, Dagstuhl, Germany.

Davood Rafiei

Assistant Professor Email: drafiei@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~drafiei

Database Systems, Web-based Information Systems, Similarity-based Querying and Indexing

Refereed Journal Papers: D. Rafiei and A. Mendelzon. "Efficient Retrieval of Similar Shapes," The VLDB Journal, 11(1): 17-27, August 2002. D. Rafiei and A. Mendelzon. "Querying Time Series Data Based on Similarity," IEEE Trans. on Knowledge and Data Engineering, 12(5): 675-693, September/October 2000. A. Mendelzon and D. Rafiei. "What do the Neighbours Think? Computing Web Page Reputations," Data Engineering Bulletin, 23(3): 9-16, September 2000. D. Rafiei and A. Mendelzon. "What is this Page Known for? Computing Web Page Reputations," Computer Networks, 33(1-6): 823-835, June 2000. Refereed Conference Papers: G Moise, J Sander and D Rafiei. “Focused Co-citation: improving the retrieval of related pages on the Web.” In The Poster Proceedings of the International World Wide Web Conference, WWW2003.org/cdrom/papers/poster/p218/p218-moise.html, 4 pages. Budapest, Hungary, 2003. A. Mendelzon and D. Rafiei. "An autonomous page ranking method for Meta search engines," In Poster Proc of Intl. World Wide Web Conference, Hawaii, May 2002. Rafiei and A. Mendelzon. "What is this Page Known for? Computing Web Page Reputations," In Proc. Intl. World Wide Web Conference, Amsterdam, May 2000. D. Rafiei. "On Similarity-Based Queries for Time Series Data," In Proc. of the 15th Intl. Conf. on Data Engineering (ICDE), March 1999, Sydney, Australia.

D. Rafiei and A. Mendelzon. "Efficient Retrieval of Similar Time Sequences using DFT," In Proc. of the 5th Intl. Conf. on Foundations of Data Organizations and Algorithms (FODO), November 1998, Kobe, Japan. D. Rafiei and A. Mendelzon. "Similarity-based queries for time series data," In Proc. of the 1997 ACM SIGMOD Intl. Conf. on Management of Data, May 1997, Tucson, Arizona.

Piotr Rudnicki

Professor Email: piotr@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~piotr

Formal Software Specification and Development

Selected Publications: G Bancerek and P Rudnicki. Information retrieval in MML. In Proceedings of Mathematical Knowledge Management - 2003, A Asperti, B Buchberger and JH Davenport, Editors. Springer, LNCS 2594 (2003):119-132 P Rudnicki and A Trybulec. On the integrity of a repository of formal mathematics. In Proceedings of Mathematical Knowledge Management -2003, A Asperti, B Buchberger and JH Davenport, Editors. Springer, LNCS 2594 (2003):162-174. P. Rudnicki and G.J. Woeginger. The Post correspondence problem over a unary alphabet. Applied Mathematics Letters, 2002. Accepted May 28, 2002. P. Rudnicki, C. Schwarzweller and A. Trybulec. Commutative Algebra in the Mizar System. Journal of Symbolic Computation, 2001, 32:143-169, 2001. P. Rudnicki and A. Trybulec. Mathematical Knowledge Management in Mizar. In B. Buchberger and O. Caprotti, editors, Electronic Proceedings of MKM-01, 2001. http://www.risc.uni-linz.ac.at/institute/conferences. P. Rudnicki, C. Schwarzweller and A. Trybulec. Defining power series and polynomials in Mizar. In M. Kerber and M. Kohlhase, editors, Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium, pages 191-204, 2001. AK Peters. P. Rudnicki and A. Trybulec. On Equivalents of Well-foundedness. An experiment in MIZAR. Journal of Automated Reasoning, 23:197-234, 1999.

Contributions to Mizar Mathematical Library: The contributions to the Mizar Mathematical Library are in the form of Mizar articles and are electronically available at http://mizar.org/JFM. All Mizar articles are checked mechanically for correctness by the Mizar system. The abstracts of Mizar articles (definitions and theorems without proofs) are automatically converted into TEX and published in a 0paper periodical Formalized Mathematics. G Bancerek and P Rudnicki. A compendium of continuous lattices in MIZAR: Formalizing recent mathematics. Journal of Automated Reasoning (2002) 29(3-4):189-224. G. Bancerek and P. Rudnicki. The set of primitive recursive functions. Formalized Mathematics, 9(4): 705-720, 2001. P. Kornilowicz, A. Rudnicki and A. Trybulec. Standard ordering of instruction locations. Formalized Mathematics, 2000. (In Press), 9(2): 291-301, 2001. J.C. Chen and P. Rudnicki. The construction and computation of for-loop programs for SCMPDS. Formalized Mathematics, 9(1): 209-219, 2001. P. Rudnicki and A. Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics, 9(1): 95-110, 2001. Y. Nakamura and P. Rudnicki. Oriented chains. Formalized Mathematics, 7(2): 189-192, 1998. P. Rudnicki. Representation theorem for free continuous lattices. Formalized Mathematics, 7(2): 185-188, 1998. P. Rudnicki. Kernel projections and quotient lattices. Formalized Mathematics, 7(2): 169-175, 1998. P. Rudnicki. The for (going up) macro instruction. Formalized Mathematics, 7(1): 107-114, 1998. P. Rudnicki. Another times macro instruction. Formalized Mathematics, 7(11): 101-105, 1998. P. Rudnicki. The while macro instructions of SCMFSA, Part II. Formalized Mathematics, 7(1): 93-100, 1998. P. Rudnicki. On the composition of non-parahalting macro instructions. Formalized Mathematics, 7(1): 87-92, 1998. Cz. Bylinski and P. Rudnicki. The Scott topology, Part II. Formalized Mathematics, 6(3): 441-446, 1997. Cz. Bylinski and P. Rudnicki. Bounding boxes for compact sets in ?3. Formalized Mathematics, 6(3): 427-440, 1997.

Y. Nakamura and P. Rudnicki. Euler circuits and paths. Formalized Mathematics, 6(3): 417-425, 1997. P. Rudnicki and A. Trybulec. On some equivalents of well-foundedness. Formalized Mathematics, 9(3):339-343, 1997. P. Rudnicki and A. Trybulec. Abian's fix-point theorem. Formalized Mathematics, 6(3): 335-338, 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: G. Lee and P. Rudnicki. On ordering of bags. Formalized Mathematics, 2002. Accepted March 12, 2002. G. Lee and P. Rudnicki. Dickson's lemma. Formalized Mathematics, 2002. Accepted March 12, 2002. J. Backer and P. Rudnicki. Hilbert basis theorem. Formalized Mathematics, 2000, 9(3): 583-589, 2001. J. Backer, P. Rudnicki and Ch. Schwarzweller. Ring ideals. Formalized Mathematics, 2000, 9(3): 565-582, 2001. R. Krueger, P. Rudnicki and P. Shelley. Asymptotic notation. Part II: Examples and problems. Formalized Mathematics, 1999. To appear. 9(1): 143-154, 2001. R. Krueger, P. Rudnicki and P. Shelley. Asymptotic notation. Part I: Theory. Formalized Mathematics, 9(1): 135-142, 2001.

Joerg Sander

Assistant Professor Email: joerg@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~joerg

Knowledge Discovery in Databases, Spatial Data Mining, Spatio-Temporal Indexing, Bioinformatics

Refereed Journals: B. Braunmueller, M. Ester, H.-P. Kriegel and J. Sander. Multiple Similarity Queries: A Basic DBMS Operation for Mining in Metric Databases, IEEE Transactions on Knowledge and Data Engineering, 13(1): 79-95, 2001. M. Ester, A. Frommelt, H-P. Kriegel and J. Sander. Spatial Data Mining: Database Primitives, Algorithms and Efficient DBMS Support. Data Mining and Knowledge Discovery, An International Journal 4(2/3): 193-216, Kluwer Academic Publishers, Norwell, MA, 2000. J. Sander, M. Ester, H-P. Kriegel and X. Xu. Density-Based Clustering in Spatial Databases: The Algorithm GDBSCAN and its Applications. Data Mining and Knowledge Discovery , An International Journal 2(2): 169-194. Kluwer Academic Publishers, Norwell, MA, 1998. M. Ester, H-P. Kriegel, J. Sander and X. Xu. Clustering for Mining in Large Spatial Databases. KI Knstliche Intelligenz (Themenheft Data Mining) 1: 18-24. ScienTec Publishing, Bad Ems, 1998. Refereed Conferences: M.A. Nascimento, J. Sander, and Jeff Pound. Analysis of SIGMODs CoAuthorship Graph. Sigmod Record, Vol. 32, No. 3, September 2003. J.Zhou and J. Sander. Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces. Proc. 29th Int. Conf. on Very Large Databases (VLDB'03), Berlin, 2003. A. Coman, J. Sander, and M.A. Nascimento. Efficient Indexing of High Dimensional Normalized Histograms. Proc. of the 14th Intl. Conf. on Database and Expert Systems Applications (DEXA03 ). Prague, 2003.

Gabriela Moise, J. Sander, and Davood Rafiei. Focused Co-citation: Improving the Retrieval of Related Pages on the Web. (Poster) Proc. of World Wide Web conference (WWW'03), Budapest, 2003. J. Sander, X. Qin, Z. Lu, N. Niu and A. Kovarsky. Automatic Extraction of Clusters from Hierarchical Clustering Representations. In Proc. 7th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2003), Seoul, Korea, 2003. M. Breunig, H.P. Kriegel, P. Krger and J. Sander. Data Bubbles: Quality Preserving Performance Boosting for Hierarchical Clustering. In Proc. ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'01), Santa Barbara, CA, May 2001. M. Breunig, H.P. Kriegel and J. Sander. Fast Hierarchical Clustering Based on Compressed Data and OPTICS. In Fourth European Symposium on Principles of Data Mining and Knowledge Discovery (PKDD'00), Lyon, France, Sept 2000, pp. 232-242. M. Breunig, H.P. Kriegel, R. Ng, and J. Sander. LOF: Identifying Density-Based Local Outliers. In Proc. ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'00 ), Dallas, TX, May 2000, pp. 93-104. S. Berchthold, C. Bhm, H.V. Jagadish, H.P. Kriegel and J. Sander. Independent Quantization: An Index Compression Technique for High-Dimensional Data Spaces. In Proc. 16th Int. Conf. on Data Engineering (ICDE'00), San Diego, CA, Feb 2000, pp. 577-588. B. Braunmueller, M. Ester, H.P. Kriegel and J. Sander. Efficiently Supporting Multiple Similarity Queries for Mining in Metric Databases. Proc. 16th Int. Conf. on Data Engineering (ICDE'00). San Diego, CA, Feb 2000, pp. 256-267. M. Breunig, H.P. Kriegel, R. Ng and J. Sander. OPTICS-OF: Identifying Local Outliers. In Proc. 3rd European Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD'99), Prague, Czech Republic, Sept 1999, pp. 262-270. M. Ankerst, M. Breunig, H.P. Kriegel and J. Sander. OPTICS: Ordering Points to Identify the Clustering Structure. In Proc. ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'99). Philadelphia, PA, May 1999, pp. 49-60. M. Ester, A. Frommelt, H.P. Kriegel and J. Sander. Database Primitives for Spatial Data Mining. In Proc. 8. Fachtagung Datenbanksysteme in Bro, Technik und Wissenschaft (BTW'99), Freiburg, Germany, March 1999, pp. 137-150. M. Ester, A. Frommelt, H.P. Kriegel and J. Sander. Algorithms for Characterization and Trend Detection in Spatial Databases. In Proc. 4th Int. Conf. on Knowledge Discovery and Data Mining (KDD'98), New York City, NY, August 1998, pp. 44-50. M. Ester, H.P. Kriegel, J. Sander and M. Wimmer. Incremental Clustering for Mining in a Data Warehousing Environment. In Proc. 24th Int. Conf. on Very Large Databases (VLDB'98), New York City, NY, August 1998, pp. 323-333.

M. Ester, H.P. Kriegel, J. Sander and X. Xu. A Distribution-Based Clustering Algorithm for Mining in Large Spatial Databases. In Proc. 14th Int. Conf. on Data Engineering (ICDE'98), Orlando, FL, Feb 1998, pp. 324-331. M. Ester, H.P. Kriegel, J. Sander and X. Xu. Density-Connected Sets and their Application for Trend Detection in Spatial Databases. In Proc. 3rd Int. Conf. on Knowledge Discovery and Data Mining (KDD'97), Newport Beach, CA, August 1997, pp. 10-15. M. Ester, H.P. Kriegel and J. Sander. Spatial Data Mining: A Database Approach. In Proc. 5th Int. Symp. on Large Spatial Databases (SSD'97), Lecture Notes in Computer Science Vol. 1262. Springer-Verlag, Berlin, pp. 47-66, July 1997. Refereed Workshops: R. Ng, J. Sander and M. Sleumer. Hierarchical cluster analysis of SAGE data for cancer profiling. Workshop on Data Mining in Bioinformatics, in conjunction with 7th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, August 2001. Books/Book chapters: M. Ester, H.P. Kriegel and J. Sander. Algorithms and Applications for Spatial Data Mining. In Geographic Data Mining and Knowledge Discovery, Research Monographs in GIS, Taylor and Francis, Nov 2001. (Chapter) M. Ester and J. Sander. Knowledge Discovery in Databases: Techniken und Anwendungen . Springer Verlag, Berlin, Sept 2000. (Texbook, in German)

Jonathan Schaeffer

Professor Email: jonathan@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~jonathan

Artificial Intelligence, Parallel/Distributed Computing

Journal Publications 1997-2002: C Pinchak, P Lu, J Schaeffer and M Goldenberg. “The Canadian Internetworked Scientific Supercomputer.” In D. Senechal, editor, High Performance Computing Systems and Applications, 193-199. National Research Council of Canada, 2003. J Schaeffer, Y Björnsson, N Burch, R Lake, P Lu, and S Sutphen. “Building the Checkers 10-piece Endgame Databases.” In Advances in Computer Games X, 2003. (Accepted for publication 25 June 2003). S. MacDonald, J. Anvik, S. Bromling, D. Szafron, J. Schaeffer and K. Tan. "From Patterns to Frameworks to Parallel Programs," Parallel Computing (2002). (In Press) 28 pages. D. Billings, A. Davidson, J. Schaeffer and D. Szafron. "The Challenge of Poker," Artificial Intelligence, 134, 1-2, pp. 201-240 (2002). J. Romein, H. Bal, J. Schaeffer and A. Plaat. "A Performance Analysis of Transposition-Table-Driven Scheduling," IEEE Transactions on Parallel and Distributed Systems, 13, 5, pp. 447-459 (2002). J. Schaeffer. "Technology Transfer from One High-Performance Search Engine to Another," Journal of the International Computer Games Association, 24, 3, pp. 131-146 (2001). A. Junghanns and J. Schaeffer. "Improving the Search with Relevance Cuts," Theoretical Computer Science, 252, 1-2, pp. 151-175 (2001). J. Schaeffer, A. Plaat and A. Junghanns. "Unifying Single-Agent and Two-Player Search," Information Sciences, 135, 3-4, pp. 151-175 (2001). M. Brockington and J. Schaeffer. "APHID: Asynchronous Parallel Game-Tree Search," Journal of Parallel and Distributed Computing, 60, pp. 247-273 (2000). J. Culberson and J. Schaeffer. "Pattern Databases," Computational Intelligence, 14, 3, pp. 318-334 (1998).

A. Singh, J. Schaeffer and D. Szafron. "Experience with Parallel Programming Using Code Templates," Concurrency: Practice and Experience, 10, 2, pp. 91-120 (1998). I. Parsons, R. Unrau, J. Schaeffer and D. Szafron. "PI/OT: Parallel I/O Templates," Parallel Computing, 23, 4-5, pp. 543-570 (1997). Y. Bjornsson, T. Anthony Marsland, J. Schaeffer and A. Junghanns. "Searching with Uncertainty Cut-Offs," Advances in Computer Chess VIII, pp. 167-179, University of Maastricht, Maastricht, Netherlands (1997). Reprinted in the Journal of the International Computer Chess Association, vol. 20, no. 1, pp. 29-37, 1997. D. Wishart, S. Fortin, D. Woloschuk, W. Wong, T. Rosborough, G. van Domselaar, J. Schaeffer and D. Szafron. "A Platform-Independent Graphical User Interface for SEQSEE and XALIGN," Computer Applications in the BioSciences (CABIOS), 13, 5, pp. 561-562 (1997). Refereed Conferences: M. McNaughton, J. Redford, J. Schaeffer and D. Szafron. “Pattern-based AI Scripting Using ScriptEase.” In Yang Xiang and Brahim Chaib-draa, editors, Advances in Artificial Intelligence, 35-49. Springer Verlag, 2003. 16th biennial Canadian Society for Computational Studies of Intelligence (CSCSI) Conference. K. Tan, D. Szafron, J. Schaeffer, J. Anvik and S. MacDonald. “Using Generative Design Patterns to Generate Parallel Code for a Distributed Memory Environment.” In PPoPP’2003: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 203-215. 2003. S. MacDonald, D. Szafron, J. Schaeffer, J. Anvik, S. Bromling and K. Tan. “Generative Design Patterns.” In 17th IEEE International Conference on Automated Software Engineering (ASE), 23-34. 2002. D. Billings, N. Burch, A. Davidson, R. Holte, J. Schaeffer, T. Schauenberg and D. Szafron. “Approximating Game-Theoretic Optimal Strategies for Full-scale Poker.” In International Joint Conference on Artificial Intelligence (IJCAI), 661-668. 2003. M. Goldenberg, A. Kovarsky, X. Wu, and J. Schaeffer. “Multiple Agents Moving Target Search.” In International Joint Conference on Artificial Intelligence (IJCAI), 1511-1512. 2003. Y. Björnsson, M. Enzenberger, R. Holte, J. Schaeffer and P. Yap. “Comparison of Different Abstractions for Pathfinding on Maps.” In International Joint Conference on Artificial Intellligence (IJCAI), 1536-1538. 2003. A. Botea, M. Müller and J. Schaeffer. “Extending PDDL for hierarchical planning and topological abstraction.” In iCAPS Workshop on PDDL, 25-32. 2003.

J. Anvik, J. Schaeffer, D. Szafron, and K. Tan. “Why Not Use a Pattern-based Parallel Programming System?” EuroPar International Conference on Parallel and Distributed Computing (EuroPar), 81-86. Klagenfurt, Austria. August 2003. M. Goldenberg, P. Lu, C. Pinchak, and J. Schaeffer. “TrellisDAG: A System for Structured DAG Scheduling.” In 9th Workshop on Job Scheduling Strategies for Parallel Processing, 21-35. 2003. A. Driga, P. Lu, J. Schaeffer, D. Szafron, K. Charter and I. Parsons. “FastLSA: A Fast, Linear-Space, Parallel and Sequential Algorithm for Sequence Alignment.” In International Conference on Parallel Processing (ICPP), 2003. (In Press June 2003). S. MacDonald, D. Szafron, J. Schaeffer, J. Anvik, S. Bromling and K. Tan. "Generative Design Patterns," 17th IEEE International Conference on Automated Software Engineering (ASE), pp. 23-34 (2002). A. Botea, M. Mueller and J. Schaeffer. "Using Abstraction for Planning in Sokoban," Computers and Games (2002). In Press. (accepted May 2002); 16 pages. S. Bromling, S. MacDonald, J. Anvik, J. Schaeffer, D. Szafron and K. Tan. "Pattern-based Parallel Programming," International Conference on Parallel Processing (ICPP), pp. 257-265 (2002). A. Kishimoto and J. Schaeffer. "Distributed Game-Tree Search Using Transposition Table Driven Work Scheduling," International Conference on Parallel Processing (ICPP), pp. 323-330 (2002). M. McNaughton, P. Lu, J. Schaeffer and D. Szafron. "Improving Single-Agent Search Using Memory-Efficient Heuristics," American Association for Artificial Intelligence (AAAI) National Conference, pp. 737-743 (2002). J. Anvik, S. MacDonald, D. Szafron, J. Schaeffer, S. Bromling and K. Tan. "Generating Parallel Programs from the Wavefront Design Pattern" 7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'2002), p. 104 (full paper on CD) (2002). A. Kishimoto and J. Schaeffer. "Transposition Table Driven Work Scheduling n Distributed Game-Tree Search" in AI'02: Advances in Artificial Intelligence, ed. Robin Cohen and Bruce Spencer, pp. 56-68, Springer Verlag LNAI #2338 (2002). 14th biennial Canadian Society for Computational Studies of Intelligence (CSCSI) Conference. J. Schaeffer, M. Hlynka and V. Jussila. "Temporal Difference Learning Applied to a High-Performance Game-Playing Program," International Joint Conference on Artificial Intelligence (IJCAI), pp. 529-534 (2001). W. Hui, S. MacDonald, J. Schaeffer and D. Szafron. "Visualizing Object and Method Granularity for Program Parallelization," Parallel and Distributed Computing and Systems, pp. 286-291 (2000).

A. Davidson, D. Billings, J. Schaeffer and D. Szafron. "Improved Opponent Modeling in Poker," International Conference on Artificial Intelligence (IC-AI'2000), pp. 1467-1473 (2000). S. MacDonald, D. Szafron, J. Schaeffer and S. Bromling. "Generating Parallel Program Frameworks from Parallel Design Patterns," EuroPar, pp. 389-394, Springer-Verlag (2000). Lecture Notes in Computer Science #1900. D. Novillo, R. Unrau and J. Schaeffer. "Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs," EuroPar, pp. 95-104, Springer-Verlag (2000). Lecture Notes in Computer Science #1900. D. Novillo, R. Unrau and J. Schaeffer. "Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs," Languages, Compilers, and Run-time Systems for Scalable Computers, pp. 128-142, Springer-Verlag (2000). Lecture Notes in Computer Science #1915. A. Junghanns and J. Schaeffer. "Sokoban: A Challenging Single-Agent Search Problem," International Joint Conference on Artificial Intelligence (IJCAI) Workshop Using Games as an Experimental Testbed for AI Research, pp. 27-36 (1997). Also appears in Games in AI Research, H.J. van den Herik and H. Iida (eds.), University Maastricht and University of Shizuoka, pp. 139-157, 2000. K. Charter, J. Schaeffer and D. Szafron. "Sequence Alignment using FastLSA," International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS'2000), pp. 239-245 (2000). J. Schaeffer and A. Plaat. "Unifying Single-Agent and Two-Player Search" in AI'00: Advances in Artificial Intelligence, ed. H. Hamilton, pp. 1-12, Springer-Verlag, Berlin (2000). 13th biennial Canadian Society for Computational Studies of Intelligence (CSCSI) Conference. A. Junghanns and J. Schaeffer. "Domain-Dependent Single-Agent Search Enhancements," International Joint Conference on Artificial Intelligence (IJCAI), pp. 570-575 (1999). D. Billings, L. Pena, J. Schaeffer and D. Szafron. "Using Probabilistic Knowledge and Simulation to Play Poker," American Association for Artificial Intelligence (AAAI) National Conference, pp. 697-703 (1999). D. Billings, D. Papp, L. Pena, J. Schaeffer and D. Szafron. "Using Selective-Sampling Simulations in Poker" in AAAI Spring Symposium on Search Techniques for Problem Solving under Uncertainty and Incomplete Information, pp. 13-18, AAAI Press (1999). S. MacDonald, D. Szafron and J. Schaeffer. "Object-Oriented Pattern-Based Parallel Programming with Automatically Generated Frameworks," USENIX Conference on Object-Oriented Tools and Systems (COOTS'99), pp. 29-43 (1999).

J. Romein, A. Plaat, H. Bal and J. Schaeffer. "Transposition Table Driven Work Scheduling in Distributed Search," American Association for Artificial Intelligence (AAAI) National Conference, pp. 725-731 (1999). A. Junghanns and J. Schaeffer. "Relevance Cuts: Localizing the Search" in Computers and Games, ed. H.J. van den Herik and H. Iida, pp. 1-14, Springer Verlag (1999). Lecture Notes in Computer Science #1558. D. Novillo, R. Unrau and J. Schaeffer. "Concurrent SSA Form in the Presence of Mutual Exclusion," International Conference on Parallel Processing (ICPP), pp. 356-364 (1998). D. Billings, D. Papp, J. Schaeffer and D. Szafron. "Opponent Modeling in Poker," American Association for Artificial Intelligence (AAAI) National Conference, pp. 493-499 (1998). A. Junghanns and J. Schaeffer. "Single-Agent Search in the Presence of Deadlock," American Association for Artificial Intelligence (AAAI) National Conference, pp. 419-424 (1998). A. Junghanns and J. Schaeffer. "Sokoban: Evaluating Standard Single-Agent Search Techniques in the Presence of Deadlock" in AI'98: Advances in Artificial Intelligence, ed. R. Mercer and E. Neufeld, pp. 1-15, Springer-Verlag, Berlin (1998). 12th biennial Canadian Society for Computational Studies of Intelligence (CSCSI) Conference. D. Billings, D. Papp, J. Schaeffer and D. Szafron. "Poker as a Testbed for AI Research" in AI'98: Advances in Artificial Intelligence, ed. R. Mercer and E. Neufeld, pp. 228-238, Springer-Verlag, Berlin (1998). 12th biennial Canadian Society for Computational Studies of Intelligence (CSCSI) Conference. I. Parsons, J. Schaeffer, D. Szafron and R. Unrau. "Parallel I/O for Irregular Data Structures," International Parallel Processing Symposium, pp. 285-291 (1998). S. MacDonald, J. Schaeffer and D. Szafron. "Pattern-Based Object-Oriented Parallel Programming" in Scientific Computing in Object-Oriented Parallel Environments, ed. Y. Ishikawa, R. Oldehoeft, J. Reynders, and M. Tholburn, pp. 267-274, Springer-Verlag (1997). Lecture Notes in Computer Science #1343. A. Junghanns and J. Schaeffer. "Search Versus Knowledge in Game-Playing Programs Revisited," International Joint Conference on Artificial Intelligence (IJCAI), pp. 692-697 (1997). R. van der Goot, J. Schaeffer and G. Wilson. "Safer Tuple Spaces," Coordination Languages and Models, pp. 289-301, Springer-Verlag, Berlin, Germany (1997). A. Junghanns, J. Schaeffer, M. Brockington, Y. Bjornsson and T. Anthony Marsland. "Diminishing Returns for Additional Search in Chess," Advances in Computer Chess VIII, pp. 53-67, University of Maastricht, Maastricht, Netherlands (1997). Mark Brockington and Jonathan Schaeffer. "APHID Game-Tree Search," Advances

in Computer Chess VIII, pp. 69-91, University of Maastricht, Maastricht, Netherlands (1997). Books: J. Schaeffer and J. van den Herik. Chips Challenging Champions, Elsevier Science Publishers B.V. (2002). 362 pages. J. Schaeffer. High Performance Computing Systems and Applications, Kluwer Academic Press (1998). 464 pages. J. Schaeffer. One Jump Ahead: Challenging Human Supremacy in Checkers, Springer-Verlag (1997).

Dale Schuurmans

Associate Professor (CRC) Email: dale@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~dale

Machine Learning, Probability Modeling, Optimization, Search

Selected Publications: Peng, F., Schuurmans, D. and Wang, S. (2003). Augmenting naive Bayes classifiers with statistical language models. Information Retrieval (In Press). Huang, X., Peng, F., Schuurmans, D., Cercone, N. and Robertson, S. (2003). Applying machine learning to text segmentation for information retrieval. Information Retrieval (In Press). Ghosdi, A. and Schuurmans, D. (2003). Automatic basis selection techniques for RBF networks. Neural Networks 16(5-6): 809-816. Wang, S., Schuurmans, D., Peng, F. and Zhao, Y. (2003). Learning mixture models with the latent maximum entropy principle. In Proceedings of the Twentieth International Conference on Machine Learning (ICML-03). Peng, F., Schuurmans, D. and Wang S. (2003). Language and task independent text categorization with simple language models. In Proceedings of the Human Language Technology Conference, North American Association for Computational Linguistics (HLT-NAACL-03). Wang, S., Schuurmans, D., Peng, F., and Zhao, Y. (2003). Semantic n-gram language modeling with the latent maximum entropy principle. In Proceedings of the 28th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP-03). Lu, F. and Schuurmans, D. (2003). Monte Carlo matrix inversion policy evaluation. In Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-03). Wang, S., Schuurmans, D., Peng, F. and Zhao, Y. (2003). Boltzmann machine learning with the latent maximum entropy principle. In Proceedings of Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-03). Boutilier, C., Patrascu, R., Poupart, P. and Schuurmans, D. (2003). Constraint-based optimization and elicitation with the minimax decision criterion. In Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-03).

Southey, F., Schuurmans, D. and Ghodsi, A. (2002). Regularized greedy importance sampling. In Advances in Neural Information Processing Systems (NIPS*2002). Lu, F., Patrascu, R. and Schuurmans, D. (2002). Investigating the maximum likelihood alternative to TD(lambda). In Proceedings of the Nineteenth International Conference on Machine Learning (ICML-02). Guestrin, C., Patrascu, R., and Schuurmans, D. (2002). Algorithm-directed exploration for model-based reinforcement learning in factored MDPs. In Proceedings of the Nineteenth International Conference on Machine Learning (ICML-02). Peng, F., Huang, X., Schuurmans, D., Cercone, N. and Robertson, S. (2002). Using self-supervised word segmentation in Chinese information retrieval. Short version in Proceedings of the Twenty-Fifth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR-02). Peng, F., Huang, X., Schuurmans, D., and Cercone, N. (2002). Investigating the relationship between word segmentation performance and retrieval performance in Chinese IR. In Proceedings of the Nineteenth International Conference on Computational Linguistics (COLING-02). Elidan, G., Ninio, M., Friedman, N. and Schuurmans, D. (2002). Data perturbation for escaping local maxima in learning. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02). Patrascu, R., Poupart, P., Schuurmans, D., Boutilier, C. and Guestrin, C. (2002). Greedy linear value-approximation for factored Markov decision processes. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02). Poupart, P., Boutilier, C., Patrascu, R., and Schuurmans, D. (2002). Piecewise linear value function approximation for factored MDPs. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02). Schuurmans, D. and Southey, F. (2002). Metric-based methods for adaptive model selection and regularization. Machine Learning 48(1-3): 51-84. Wang, S., Rosenfeld, R., Zhao, Y., and Schuurmans, D. (2002). The latent maximum entropy principle. In Proceedings of the IEEE International Symposium on Information Theory (ISIT-02). Schuurmans, D. and Patrascu, R. (2001). Direct value-approximation for factored MDPs. In Advances in Neural Information Processing 14 (NIPS*2001). Schuurmans, D., Southey, F. and Holte, R. (2001). The exponentiated subgradient algorithm for heuristic Boolean programming. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01).

Schuurmans, D. and Southey, F. (2001). Local search characteristics of incomplete SAT procedures. Artificial Intelligence 132(2), 121-150. Grove, A., Littlestone, N. and Schuurmans, D. (2001). General convergence results for linear discriminant updates. Machine Learning 43(1-3), 173-210.

Paul Sorenson

Professor and Associate Vice-President(Research) Email: Paul.Sorenson@ualberta.ca WWW: http://www.cs.ualberta.ca/~sorenson

Software Engineering Environments, Processes and Quality

Published Refereed Conference Proceedings: E. Stroulia, P.G. Sorenson and P. Findeisen. "Supporting Software Design: Functional Reasoning meets Meta-CASE tools." Proc. of the Intl Workshop on Software Evolution, held in conjunction with the International Conf. on Software Engineering 1998, (ICSE'98), Kyoto, Japan, Apr. 20-21, 1998. J.M. Punshon, J.P. Tremblay, P. Findeisen and P.G. Sorenson. "From Formal Specifications to Natural Language: A Case Study," (short paper accepted) Automated Software Engineering Conference, Lake Tahoe, Nov.3-5 1997. Refereed Journals Publications co-authored with University of Alberta Computing Science students 1997 – present: G. Froehlich, H.J. Hoover, L. Ling and P.G. Sorenson. "Choosing an Object-Oriented Domain Framework", appears in the special issue on Object-Oriented Frameworks, ACM Computing Surveys, vol. 32, no. 1es, March 2000, article 17. G. Froehlich, H.J. Hoover, L. Liew and P.G. Sorenson. "Application Framework Issues when Evolving Business Applications to Electronic Commerce," Information Systems, 6('99): pp.457-473. G. Froehlich, H.J. Hoover and P.G. Sorenson. "Realizing Requirements in Product Line. Development using O-O Frameworks," Australian Journal of Information Systems. Special Issue on Requirements Engineering 7 (1999), pp. 6-12. Contributed Papers in Published Refereed Conference Proceedings co-authored with University of Alberta Computing Science students (1997(present) J. Al Dallal and P.Sorenson. System testing for object-oriented frameworks using hook technology, Proc. of the 17th IEEE International Conference on Automated Software Applications (ASE'02), Edinburgh, UK, September 2002, pp. 231-236.

J. Al Dallal and P. Sorenson. Generating reusable test cases for object-oriented framework interface classes from UML specifications, IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, USA, November, 2002 (to appear). M. El-Ramly, E. Stroulia and P. Sorenson. Interaction-Pattern Mining: Extracting Usage Scenarios from Run-time Behavior Traces, 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Canada. M. El-Ramly, E. Stroulia and P. Sorenson. Recovering Software Requirements from System-user Interaction Traces, Intl Conf on Software Engineering and Knowledge Engineering, Ischia Italy,June 15-19 2002. M. El-Ramly, E. Stroulia and P. Sorenson. Mining System-User Interaction Traces for Use Case Models, 10th International Workshop on Program Comprehension, Paris France, July 24-26, 2002. A. Kamel, C. Kapser. and P. Sorenson. Technical Reviews as a Tool for Framework Understanding, QSSE (Quantitative Support for Software Engineering) 02, Banff, Feb. 18-19, 2002. M. El-Ramly, P. Iglinski, E. Stroulia, P.G. Sorenson and B. Matichuk. Modeling the System-User Dialog Using Interaction Traces. In Proceedings of the 8th Working Conference on Reverse Engineering, 2-5 October 2001, Stuttgart, Germany, IEEE Computer Society Press. A. Kamel, M. Chandra and P. Sorenson. "Building an Experience-Base for Product-line Software Development Process," In Weber, R.; Gresse von Wangenheim, C.; Naval Research Laboratory : Proceedings of the Workshop Program at the Fourth International Conference on Case-Based Reasoning, ICCBR '01 Vancouver, British Columbia, Canada 30 July-2 August 2001. pp. 13-20. H.J. Hoover, P.G. Sorenson, G. Froehlich and A.K. Olekshy. "Developing engineered product support applications." In Proceedings of the 1st Software Product Line Conference (SPLC1), Sponsored by the Software Engineering Institute, Denver, Published in Software Product Lines -Experience and Research Directions. Ed. P Donahoe. Kluwer Academic Publishers (2000): 451-476. H.J. Hoover, A.G. Olekshy, G. Froehlich and P.G. Sorenson. "An OO application framework perspective on commonality and variability in product line architectures." In Proceedings of the 1st Software Product Line Conference (SPLC1), Sponsored by the Software Engineering Institute (SEI), Denver, Co. Published in IESE-Report No. 053.00/E Version 1.0. Fraunhofer Institute for Experimental Software Engineering, Kaiserlautem, Germany. August 2000. 10 pgs. E. Stroulia, M. El-Ramly, L. Kong, P.G. Sorenson and B. Matichuk. "Reverse Engineering Legacy Interfaces: an Interaction-Driven Approach," Proceedings of the 6th Working Conference on Reverse Engineering (WCRE'99), Atlanta, Oct. 1999, pp. 292-302.

G. Froehlich, H.J. Hoover, W. Liew and P.G. Sorenson. "Application Framework Issues when Evolving Business Applications for Electronic Commerce, 32nd Hawaii International Conf. on Systems Sciences, Software Technology Track, Hawaii, Jan. 5-9, 1999 (on conference CD). G. Froehlich, H.J. Hoover, L. Ling and P.G. Sorenson. "Hooking into Object-Oriented Application Frameworks", Proceedings of the 19th International Conference on Software Engineering, Boston, May 1997: 491-501. A. Kamel, S Voruganti, H.J. Hoover and P.G. Sorenson. "Software Process Improvement Model for a Small Organization: An Experience Report," Proceedings of the Annual Oregon Workshop on Software Metrics, Coeur d'Alene, Idaho, May 11-13, 1997: 1-10. Papers appearing in refereed books and book chapters co-authored with University of Alberta Computing Science students (1997-present): G. Froehlich, H.J. Hoover, L. Ling and P.G. Sorenson. "Reusing Application Frameworks through Hooks", in Object-Oriented Application Frameworks, ed. M. Fayad, D.C. Schmidt, and R. Johnson, John Wiley, 1999. G. Froehlich, H.J. Hoover, L. Ling and P.G. Sorenson. "Designing Object-Oriented Frameworks", CRC Handbook of Object Technology, 1999, Chapter 25, pp. 25-1-25-22. G. Froehlich, H.J. Hoover, L. Ling and P.G. Sorenson. "Using Object-Oriented Frameworks", to appear in CRC Handbook of Object Technology, 1999, Chapter 26, pp. 26-1-26-22.

Lorna Stewart

Professor Email: stewart@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~stewart

Graph Theory, Algorithm Design

Selected Publications: Eowyn Cenek and Lorna Stewart. Maximum independent set and maximum clique algorithms for overlap graphs. Discrete Applied Mathematics, (In Press). Dieter Kratsch and Lorna Stewart. Approximating bandwidth by mixing layouts of interval graphs. SIAM Journal on Discrete Mathematics, 15:435-449, 2002. Ekkehard Koehler, Derek G. Corneil, Stephan Olariu, and Lorna Stewart. On subfamilies of AT-free graphs. In Lecture Notes in Computer Science, Vol. 2204, Proceedings of the Workshop on Graph Theoretic Concepts in Computer Science WG '01, pages 241-253. Springer-Verlag, 2001. Nesrine Abbas and Lorna Stewart. Biconvex graphs: Ordering and algorithms. Discrete Applied Mathematics, 103:1-19, 2000. Nesrine Abbas and Lorna Stewart. Clustering bipartite and chordal graphs: Complexity, sequential and parallel algorithms. Discrete Applied Mathematics, 91:1-23, 1999. Derek G. Corneil, Stephan Olariu and Lorna Stewart. Linear time algorithms for dominating pairs in asteroidal triple-graphs. SIAM Journal on Computing, 28:1284-1297, 1999. Ehab S. Elmallah and Lorna Stewart. Polygon graph recognition. Journal of Algorithms, 26:101-140, 1998. Derek G. Corneil, Stephan Olariu and Lorna Stewart. Asteroidal triple-free graphs. SIAM Journal on Discrete Mathematics, 10:399-430, 1997.

Eleni Stroulia

Assistant Professor Email: stroulia@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~stroulia

Functional Modeling and Reasoning, Legacy Systems Reengineering, Interface Migration, Design Reuse and Evolution, Software Architecture

Journal Publications: E Stroulia and M El-Ramly. Analysis of Web-usage Behavior for Focused Web Sites: A Case Study. Journal of Software Maintenance (In Press).

E Stroulia, M El-Ramly, P Iglinski and P Sorenson. User Interface Reverse Engineering in Support of Interface Migration to the Web. Automated Software Engineering Journal, 3 10 (2003): 271-301. Kluwer Academic Publishers. E. Stroulia and T. Systa. Dynamic analysis for reverse engineering and program understanding, Applied Computing Reviews, Spring 2002, ACM Press. E. Stroulia and A. Goel. Evaluating PSMs in Evolutionary Design. The Autognostic experiments. International Journal of Human Computer Studies, 51:825-847, 1999. Books and Book Chapters: E. Stroulia and S. Matwin (Eds.). Proceedings of the 14th Canadian Conference on Artificial Intelligence, May 2001, Ottawa, Canada, Lecture Notes in Computer Science, Springer Verlag. A. Goel, S. Bhatta and E. Stroulia. Kritik: An early case-based design system. In Mary Lou Maher, Pearl Pu (eds.) Issues and Applications of Case-Based Reasoning to Design, pp. 87-132. Lawrence Erlbaum associates. 1997. E. Stroulia and R. Kober. Integrating the Alisa Classifier with Knowledge-Based methods for Cadastral-map Interpretation. In Kanellopoulos, Wilkinson, Austin (Eds.) Neurocomputation in Remote Sensing Data Analysis, pp. 125-133, Springer Verlag, 1997.

Peer-Reviewed Conferences: Y. Liu and E. Stroulia. A Lightweight Project-Management Environment for Small Novice Teams. In Proceedings of the 3rd International Workshop on Adoption-Centric Software Engineering, 42-48. Portland. OR, USA. May 9, 2003. CMU/SEI-2003-SR-004. E. Stroulia and R. Leitch. Understanding the Economics of Refactoring. In Proceedings of the 5th International Workshop on Economics-Driven Software Engineering Research (EDSER-5): The Search for Value in Engineering Decisions, 44-49. Portland, OR, USA. May 3-4, 2003. E. Stroulia and K. Jari. EduNuggets: An Intelligent Environment for Managing and Delivering Multimedia Education Content (poster). In Proceedings of the 2003 International Conference on Intelligent User Interfaces, 303-306. Miami, FL, USA. January 12-15, 2003. ACM Press. E. Stroulia, M. El-Ramly and P. Sorenson. From Legacy to Web through Interaction Modeling. In Proceedings of the International Conference on Software Maintenance, 320-329. Montréal, Canada. October 3-6, 2002. IEEE Press. N. Niu, E. Stroulia and M. El-Ramly. Understanding Web Usage for Effective Dynamic Web-Site Adaptation, In Proceedings of the 4th International Workshop on Web Site Evolution, 53-62. Montréal, Canada. October 2, 2002. IEEE Press. M. El-Ramly, E. Stroulia and P. Sorenson. From Run-time Behavior to Usage scenarios: An Interaction-pattern Mining Approach. In Proceedings of the 8th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 315-324. Edmonton, AB, Canada. July 23-26, 2002. ACM Press. M. El-Ramly, E. Stroulia and P. Sorenson. Recovering Software Requirements from System-user Interaction Traces. In Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, 447-454. Ischia, Italy. July 15-19, 2002. ACM Press. R. Kollmann, P. Selonen, E. Stroulia, T. Syst and A. Zndorf. A Study on the Current State of the Art in Tool-Supported UML-based Static Reverse Engineering, The 9th Working Conference on Reverse Engineering, October 28-November 1, 2002, Richmond, VA, USA, pp. 22-32, IEEE Press. E. Stroulia and R. V. Kapoor. Metrics of Refactoring-based Development: An Experience Report, The 7th International Conference on Object-Oriented Information Systems, August 27-29, 2001, Calgary, AB, Canada, pp. 113-122, Springer Verlag. R. V. Kapoor and E. Stroulia. Mathaino: Simultaneous Legacy Interface Migration to Multiple Platforms, The 9th International Conference on Human-Computer Interaction, August 5-10, 2001, New Orleans, LA, USA, pp. (vol. 1)51-55, Lawrence Erlbaum Associates. H. Zhang and E. Stroulia. Babel: Representing Business Rules in XML for Application Integration (Research Demonstration). The 23rd International Conference on Software Engineering, May 12-19, 2001, Toronto, Canada. pp. 831-832. IEEE Computer Society Press.

E. Stroulia and A. Goel. Redesigning a Problem-Solver's Operators to Improve Solution Quality. The 15th International Joint Conference on Artificial Intelligence, August 23-29, 1997, Nagoya, Japan, pp. 562-567, Morgan Kaufmann, San Francisco, CA. A Goel, E. Stroulia, Z. Chen and P. Rowland. Model-Based Reconfiguration of Schema-Based Reactive Control Architectures (poster). The 15th International Joint Conference on Artificial Intelligence, August 23-29, 1997, Nagoya, Japan, pp. 40, IJCAI, Inc. distributed by Morgan Kaufmann, San Francisco, CA.

Rich Sutton

Professor (iCORE Chair) Email: sutton@cs.ualberta.ca WWW: http://cs.ualberta.ca/~sutton

Reinforcement Learning, Foundational Issues in Artificial Intelligence, Animal Learning Theory

Selected Publications: Sutton, R.S., Barto, A.G. (1998). Reinforcement Learning: An Introduction. MIT Press. Sutton, R.S. (1988). Learning to predict by the methods of temporal differences. Machine Learning 3:9-44. Sutton, R.S., Precup, D., Singh, S. (1999). Between MDPs and semi-MDPs: a framework for temporal abstraction in reinforcement learning. Artificial Intelligence 112:181-211. Sutton, R.S., & Barto, A.G. (1981). Toward a modern theory of adaptive networks: Expectation and prediction, Psychological Review 88:135-140. Barto, A.G., Sutton, R.S., & Anderson, C. (1983). Neuron-like adaptive elements that can solve difficult learning control problems, IEEE Transactions on Systems, Man, and Cybernetics, SMC-13:834-846. Littman, M.L., Sutton, R.S., Singh, S. (2002). Predictive representations of state. In: Advances in Neural Information Processing Systems 14, MIT Press.

Duane Szafron

Professor Email: duane@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~duane

Object-Oriented Programming Languages, Parallel Objects, Computer Poker

Selected Publications: A Driga, P Lu, J Schaeffer, D Szafron, K Charter and I Parsons. FastLSA: A Fast, Linear-Space, Parallel and Sequential Algorithm for Sequence Alignment. International Conference on Parallel Processing (ICPP), October 2003. Kaohsiung, Taiwan. (In Press). Y Leontiev, MT Ozsu and D Szafron. On Type Systems for Object-Oriented Database Programming Languages. ACM Computing Surveys (CSUR) 34(4) (2002): 409-449. V. Oria, M. T. zsu, D. Szafron and P. Iglinski. Defining Views in an Image Database System, Proceedings of IFIP TC2/WG2.6 EighthWorking Conference on Database Semantics (DS-8) Semantic Issues in Multimedia Systems, Rotorua, New Zealand, Edited by R. Meersman, Z. Tari and S. Stevens, Kluwer Academic Publishers, January 1999, pp. 231-250. A. Singh, J. Schaeffer and D. Szafron. Experience with Parallel Programming Using Code Templates, Concurrency Practice and Experience, Vol. 10, No. 2, February 1998, pp. 91-120. J.W. Wong, K.A. Lyons, R.J. Velthuys, G.V. Bochmann, E. Dubois, N.D. Georganas, G. Neufeld, M.T. zsu, J. Brinskelle, D.F. Evans, A. Hafid, N. Hutchinson, P. Iglinski, B. Kerherve, L. Lamont, D. Makaroff, and D. Szafron. Enabling Technology for Distributed Multimedia Applications, IBM Systems Journal, Vol. 36 No. 4, 1997, pp. 489 - 507. Publications co-authored with University of Alberta Computing Science students 1997 – present: M McNaughton, J Redford, J Schaeffer and D Szafron. Pattern-based AI Scripting using ScriptEase. The Sixteenth Canadian Conference on Artificial Intelligence (AI 2003), 35-49. Halifax, NS. June 2003. K Tan, D Szafron, J Schaeffer, J Anvik, and S MacDonald. Using Generative Design Patterns to Generate Parallel Code for a Distributed Memory Environment. ACM Sigplan Symposium on Principles and Practice of Parallel Programming (PPoPP), 203-215. San Diego, USA. June 2003.

D Billings, N Burch, A Davidson, R Holte, J Schaeffer, T Schauenberg and D Szafron. Approximating Game-Theoretic Optimal Strategies for Full-scale Poker. International Joint Conference on Artificial Intelligence (IJCAI),661-675. Acaplco, Mexico. August 2003. D Szafron, P Lu, R Greiner, D Wishart, Z Lu, B Poulin, R Eisner, J Anvik and C Macdonell. Proteome Analyst - Transparent High-throughput Protein Annotation: Function, Localization and Custom Predictors. International Conference on Machine Learning Workshop on Machine Learning in Bioinformatics (ICML Workshop - Bioinformatics), 2-10. Washington, USA. August 2003. J Anvik, J Schaeffer, D Szafron, and K Tan. Why Not Use a Pattern-based Parallel Programming System? EuroPar International Conference on Parallel and Distributed Computing (EuroPar), 81-86. Klagenfurt, Austria. August 2003. M. McNaughton, P. Lu, J. Schaeffer and D. Szafron. Memory-Efficient A* Heuristics for Multiple Sequence Alignment, Proceedings of Nineteenth National Conference on Artificial Intelligence (AAAI'2002), July 2002, Edmonton, Canada, pp. 737- 743. D. Billings, A. Davidson, J. Schaeffer and D. Szafron. The challenge of poker, Artificial Intelligence 134(1-2) (2002) pp. 201-240. S. MacDonald, D. Szafron. J. Schaeffer, J. Anvik, S. Bromling and K. Tan. Generative Design Patterns, 17th IEEE International Conference on Automated Software Engineering (ASE) September 2002, Edinburgh, UK, 23-34. J. Anvik, S. MacDonald, D. Szafron, J. Schaeffer, S. Bromling and K. Tan. Generating Parallel Programs from the Wavefront Design Pattern, 7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'2002), April 2002, Ft. Lauderdale U.S.A, CD-ROM 1-8. S. Bromling, S. MacDonald, J. Anvik, J. Schaefer, D. Szafron and K. Tan. Pattern-based Parallel Programming, Proceedings of the International Conference on Parallel Programming (ICPP'2002), August 2002, Vancouver Canada, 257-265. S. MacDonald, J. Anvik, S. Bromling, J. Schaeffer, D. Szafron and K. Tan, From Patterns to Frameworks to Parallel Programs, Parallel Computing, 28(12);1663-1683, 2002. C. Dutchyn, P. Lu, D. Szafron, S. Bromling and W. Holst. Multi-Dispatch in the Java Virtual Machine: Design and Implementation, Proceedings of 6th Usenix Conference on Object-Oriented Technologies and Systems (COOTS'2001), January 2001, San Antonio USA, pp.77-92. Goralwalla, Y. Leontiev, M. T. zsu, D. Szafron and C. Combi. Temporal Granularity: Completing the Puzzle, Journal of Intelligent Information Systems, 16 (1), January 2001, pp. 41-63. S. MacDonald, D. Szafron, J. Schaeffer and S. Bromling. Generating Parallel Program Frameworks from Parallel Design Patterns, tProceedings of European Conference on Parallel Computing (Euro-Par'2000), August 2000, Munich Germany, pp. 95-104.

A. Davidson, D. Billings, J. Schaeffer and D. Szafron. Improved Opponent Modelling in Poker, Proceedings of The 2000 International Conference on Artificial Intelligence (ICAI'2000), June 2000, Las Vegas, Nevada, pp 1467-1473. K. Charter, J. Schaeffer and D. Szafron. Sequence Alignment using FastLSA, Proceedings of The 2000 International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS'2000), June 2000, Las Vegas, Nevada, pp 239-245. W. Hui, S. MacDonald, J. Schaeffer and D. Szafron. Visualizing Object and Method Granularity for Program Parallelization, to appear in Proceedings of Parallel and Distributed Computing and Systems (PDCS 2000), November 2000, Las Vegas, U.S.A, pp. 286-291. S. MacDonald, D. Szafron and J. Schaeffer. Object-Oriented Pattern-Based Parallel Programming with Automatically Generated Frameworks, Proceedings of USENIX Conference on Object-Oriented Tools and Systems (COOTS'99), May 1999, San Diego, California, pp. 29-43. D. Billings, L. Pea, J. Schaeffer, D. Szafron. Using Probabilistic Knowledge and Simulation to Play Poker, Proceedings of Sixteenth National Conference on Artificial Intelligence (AAAI'99), July 1999, Orlando, Florida, pp. 697-703. D. Billings, D. Papp, L. Pea, J. Schaeffer and D. Szafron. Using Selective-Sampling Simulations in Poker, 1999 AAAI Spring Symposium on Search Techniques for Problem Solving under Uncertainty and Incomplete Information, March 1999, Menlo Park, California, pp. 13-18. S. MacDonald, D. Szafron and J. Schaeffer. Object-Oriented Pattern-Based Parallel Programming with Automatically Generated Frameworks, Proceedings of USENIX Conference on Object-Oriented Tools and Systems (COOTS'99), May 1999, San Diego, California, pp. 29-43. C. Pang, W. Holst, Y. Leontiev and D. Szafron. Multi-Method Dispatch Using Multiple Row Displacement, Thirteenth European Conference on Object-Oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999, pp. 304-328. W. Holst, and D. Szafron. Inheritance Management and Method Dispatch Framework, Chapter 16 of Implementing Application Frameworks: Object-Oriented Frameworks at Work edited by: Mohamed Fayad, Douglas C. Schmidt and Ralph Johnson, John Wiley1999, pp 339-368. S. MacDonald, D. Szafron and J. Schaeffer. Object-Oriented Pattern-Based Parallel Programming with Automatically Generated Frameworks, Proceedings of USENIX Conference on Object-Oriented Tools and Systems (COOTS'99), May 1999, San Diego, California, pp. 29-43. J. Schaeffer, D. Billings, L. Pea and D. Szafron. Learning to Play Strong Poker, Proceedings of the Sixteenth International Conference on Machine Learning (ICML-99), Bled, Slovenia, June 30, 1999.

D. Billings, D. Papp, J. Schaeffer and D. Szafron. Opponent Modeling in Poker, Proceedings of Fifteenth National Conference on Artificial Intelligence (AAAI'98), July 1998, Madison, Wisconsin, pp. 493-499. I. Goralwalla, Y. Leontiev, M. T. zsu, D. Szafron and C. Combi. Temporal Granularity for Unanchored Temporal Data, Proceedings of the 7th International Conference on Information and Knowledge Management (CIKM'98), November 1998, pp. 414-423. D. Billings, D. Papp, J. Schaeffer and D. Szafron. Poker as a Testbed for Machine Intelligence Research, Lecture Notes in Artificial Intelligence volume 1418, Springer Verlag, Robert Mercer and Eric Neufeld (editors), (Proc. 12th Bienniel Conference of the Canadian Society for Computational Studies of Intelligence, AI'98), Vancouver, Canada, June 1998, pp. 228-238. I. Goralwalla, D. Szafron, M.T. zsu and R.G. Peters. A Temporal Approach to Managing Schema Evolution in Object Database Systems, Data & Knowledge Engineering, Vol. 28 No. 1, November 1998, pp. 73-105. I. Parsons, J. Schaeffer, D. Szafron and R. Unrau. Using PI/OT to Support Complex Parallel I/O, Proceedings of the 12th International Parallel Processing Symposium (IPPS'98), Orlando, USA, March 1998, pp. 285-291. I. Goralwalla, M. T. zsu and D. Szafron. An Object-Oriented Framework for Temporal Data Models, Temporal Databases: Research and Practice, O. Etzion, S. Jajodia, and S. Sripada (eds.), Springer Verlag, 1998, pp. 1-35. Y. Leontiev, M. T. zsu, and D. Szafron. On Separation between Interface, Implementation and Representation in Object DBMSs, Technology of Object-Oriented Languages and Systems 26th International Conference (TOOLS USA98), Santa Barbara, August 1998, pp. 155-167. D. S. Wishart, S. Fortin, D. R. Woloschuk, W. Wong, T. Rosborough, G. Van Domselaar, J. Schaeffer and D. Szafron. A Platform-Independent Graphical User Interface for SEQSEE and XALIGN, Computer Applications in the Biosciences (CABIOS), Vol. 13, No. 5, 1997, pp. 561-562. I. Goralwalla, M.T. zsu, and D. Szafron. Modeling Medical Trials in Pharmacoeconomics using a Temporal Object Model, Computers in Biology and Medicine - Special Issue on Time Oriented Systems in Medicine, Vol. 27 No. 5,1997, pp. 369-387. S. MacDonald, J. Schaeffer and, D. Szafron. Pattern-based Object-Oriented Parallel Programming, Proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments (ISCOPE 97), Marina del Rey, USA, December, 1997, LNCS vol. 1343, Springer-Verlag, pp. 267-274. I. Goralwalla, Y. Leontiev, M. T. zsu and D. Szafron. Modelling Temporal Primitives: Back to Basics, Proceedings of the 6th International Conference on Information and Knowledge Mangagement (CIKM 97), Las Vegas USA, November 1997, pp. 24-31.

M.T. Zsu, P. Iglinski, D. Szafron, S. El-Medani and M. Schne. An Object-Oriented SGML/HYTIME Compliant Multimedia Database Management System, Fifth ACM International Multimedia Conference (ACM Multimedia '97), Seattle U.S.A., November 1997, pp. 239-249. I. Goralwalla, D. Szafron, M. T. zsu and R.J. Peters. Managing Schema Evolution using a Temporal Object Model, Conceptual Modeling - ER'97 - Lecture Notes in Computer Science, Springer Verlag, David Embley and Robert Goldstein (editors), (Proc. 16th International Conference on Conceptual Modeling), Los Angeles USA, November 1997, pp. 71-84. J.Z. Li, M.T. Zsu, D. Szafron and V. Oria. MOQL: A Multimedia Object Query Language, The Third International Workshop on Multimedia Information Systems, Como Italy, September 1997, pp. 19-28. I. Goralwalla, M. T. zsu and D. Szafron. A Framework for Temporal Data Models - Exploiting Object-Oriented Technology, IEEE Computer Society Technology of Object-Oriented Languages and Systems (TOOLS 23), R. Ege, M. Sing and B. Meyer (editors), Santa Barbara, California, July 1997, pp. 16-30. W. Holst, and D. Szafron. Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages, IEEE Computer Society Technology of Object-Oriented Languages and Systems (TOOLS 23), R. Ege, M. Sing and B. Meyer (editors), Santa Barbara, California, July 1997, pp. 63-74. W. Holst, and D. Szafron. A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages, ECOOP'97 Object-Oriented Programming 11th European Conference, Finland, Lecture Notes in Computing Science 1241, Springer Verlag, June 1997, pp. 276-301. J.Z. Li, M.T. zsu and D. Szafron. Modeling of Moving Objects in a Video Database, IEEE International Conference on Multimedia Computing and Systems, June 1997, Ottawa, Canada, pp. 336-343. I. Parsons, R. Unrau, J. Schaeffer, and D. Szafron. PI/OT: Parallel I/O Templates, Parallel Computing, Vol. 23, No. 4-5, May 1997, 543-570. J.Z. Li, I. Goralwalla, M.T. zsu and D. Szafron. Modeling Video Temporal Relationships in an Object Database Management System, Multimedia Computing and Networking 1997, San Jose, California, February 1997, pp. 80-91.

David Wishart

Professor Email: dwishart@pharmacy.ualberta.ca WWW: http://www.pharmacy.ualberta.ca/wishart.html

Bioinformatics, simulations, computational biology, structural biology

Selected Publications: 32) Wishart, D.S., Watson, M.S., Boyko, R.F. & Sykes, B.D. "Automated Chemical Shift Prediction using the BioMagResBank" J. Biomol. NMR 10, 329-336 (1997). 38) Gronwald, W., Willard, L., Jellard, T., Boyko, R.F., Rajarathnam, K., Wishart, D.S., Sonnicshen, F.D. & Sykes, B.D. "CAMRA, Chemical Shift Based Computer Aided Protein NMR Assignments" J. Biomol. NMR 12, 395-405 (1998). 43) Wishart, D.S., Stothard, P. & Van Domselaar, G.H. "PepTool and GeneTool: Platform-Independent Tools for Biological Sequence Analysis" Meth. Mol. Biol. 132, 93-113 (2000). 44) Hooper, P.M., Zhang, H. & Wishart, D.S. "Prediction of Genetic Structure in Eukaryotic DNA using Reference Point Logistic Regression and Sequence Alignment" Bioinformatics 16, 425-438 (2000). 51) Wishart, D.S. Tools for Protein Technologies in Genomics and Bioinformatics Biotechnology 2nd Ed. (editors: H.J. Rehm, G. Reed, A. Puhler, P. Stadler) Wiley-VCH, Weinheim. 5b, 326-342 (2001). 52) Wishart, D.S., Querengesser, L.M.M., Lefebvre, B.A., Epstein, N.A., Greiner, R. & Newton, J.B. Magnetic Resonance Diagnostics: A New Technology for High-Throughput Clinical Diagnostics Clin. Chemistry 47, 1918-1921 (2001). 53) Wishart, D.S. and Fortin, S. The BioTools Suite: A Comprehensive Suite of Platform Independent Bioinformatics Tools Mol. Biotechnology 19, 59-78 (2001). 57) Wishart, D.S. Sequence Similarity and Database Searching in Introduction to Bioinformatics: A Theoretical and Practical Approach. (editors: S. Krawetz and D.D. Womble) Humana Press, pp. 426-439 (2003). 60) Wishart, D.S. Bioinforamatics in Biomolecular NMR in Biomolecular NMR: Principles and Practice (ed. H. Oshkinat, M. Nilges, M. Sattler) Springer DE, Berlin (in press). 66) Willard, L., Ranjan, A., Zhang, H., Monzavi, H., Boyko, R.F., Sykes, B.D. and Wishart, D.S. VADAR: a Web Server for Quantitative Evaluation of Protein Structure Quality. Nucleic Acids Res. 31, 3316-3319 (2003).

69) Lu, Z., Szafron, D., Greiner, R., Lu, P., Wishart, D.S., Poulin, B., Anvik, J., Macdonell, C., and Eisner, R. Predicting Subcellular Localization Using Machine-Learned Classifiers in Proteome Analyst Bioinformatics (in press).

Ken Wong

Assistant Professor Email: kenw@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~kenw

Software Evolution, Software Reverse Engineering, Program Understanding Tools

Selected Publications: R Balzer, JH Jahnke, M Litoiu, HA Müller, DB Smith, MAD Storey, S Tilley, and K Wong. Proceedings of the 3rd International Workshop on Adoption-Centric Software Engineering. Carnegie-Mellon University Software Engineering Institute (May 2003). E Stroulia and K Wong. Proceedings of the 2nd ASERC Workshop on Software Architecture. University of Alberta, ASERC (February 2003). HA Müller, A Weber, and K Wong. Leveraging cognitive support and modern platforms for adoption-centric reverse engineering. In Proceedings of the 3rd International Workshop on Adoption-Centric Software Engineering, (May 2003): 30–35. K. Wong and S. Tilley. Connecting technical communicators with technical developers. In Proceedings of the 20th International Conference on Documentation, pp. 258-262, Toronto, ON, Canada, October 2002. ACM Press. S. Tilley, J. Gerdes, T. Hamilton, S. Huang, H.A. Muller, K. Wong and S. Tilley. Adoption challenges in migrating to web services. In Proceedings of the Fourth International Workshop on Web Site Evolution, pp. 21-29, Montreal, Quebec, Canada, October 2002. IEEE Computer Society Press. J.H. Jahnke, H.A. Muller, N. Mansurov and K. Wong. Fused data-centric visualizations for software evolution environments. In Proceedings of the Tenth International Workshop on Program Comprehension, pp. 187-196, Paris, France, June 2002. IEEE Computer Society Press. K. Wong and S. Tilley. "Connecting Technical Communicators with Technical Developers", International Conference on Systems Documentation (SIGDOC 2002), October 22, 2002, Toronto, ON, Canada. K. Wong and S. Tilley. Fused Data-Centric Visualizations for Software Evolution Environments", International Workshop on Program Comprehension (IWPC 2002), June 29, 2002, Paris, France.

M.A.D. Storey, S.E. Sim and K. Wong. A collaborative demonstration of reverse engineering tools. ACM Applied Computing Review, 10(1): 18-25, 2002. S. Tilley and K. Wong. Workshop on graphical documentation for programmers. In Proceedings of the 20th International Conference on Documentation, pp. 234-235, Toronto, Ontario, Canada, October 2002. ACM Press. E. Stroulia and K. Wong, editors. Proceedings of the First ASERC Workshop on Software Architecture. University of Alberta, ASERC, August 2001. E. Stroulia and K. Wong, editors. Proceedings of the First ASERC Workshop on Software Architecture. University of Alberta, ASERC, August 2001. S.R. Tilley, B. Toeter and K. Wong. Issues in accessing web sites from mobile devices. In Proceedings of the Third International Workshop on Web Site Evolution, pp. 97-104, Florence, Italy, November 2001. IEEE Computer Society Press. L. Osterweil, G. Silberman and K. Wong. New software engineering faculty symposium. In Proceedings of the 23rd International Conference on Software Engineering, p. 813, Toronto, Canada, May 2001. IEEE Computer Society Press. S.R. Tilley, S. Huang and K. Wong. The state of net-centric computing in early 2001. In Proceedings of the Third International Workshop on Net-Centric Computing, pp. 57-61, Toronto, Canada, May 2001. IEEE Computer Society Press. J. Jahnke, K. Kontogiannis, E. Stroulia, S.R. Tilley and K. Wong. 3rd international workshop on net-centric computing (NCC 2001). In Proceedings of the 23rd International Conference on Software Engineering, pp. 766-767, Toronto, Canada, May 2001. IEEE Computer Society Press. K. Wong. Research challenges in the reverse engineering community. In Proceedings of the Ninth International Workshop on Program Comprehension, p. 323, Toronto, Canada, May 2001. IEEE Computer Society Press. K. Wong and M.A.D. Storey. Evaluating software reverse engineering tools. In Proceedings of the First ASERC Workshop on Quantitative Software Engineering, p. 81, Banff, Canada, February 2001. ASERC. M.A.D. Storey, K. Wong and H.A. Muller. How do program understanding tools affect how programmers understand programs? Science of Computer Programming, 36(2-3): 183-207, March 2000. H.A. Muller, J.H. Jahnke, D.B. Smith, M.A.D. Storey, S.R. Tilley and K. Wong. Reverse engineering: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering, pp. 47-60. ACM Press, 2000.

J. Martin, K. Wong, B. Winter and H.A. Muller. Analyzing xfig using the Rigi tool suite. In Proceedings of the Seventh Working Conference on Reverse Engineering, pp. 207-209, Brisbane, Australia, November 2000. IEEE Computer Society Press. K. Wong. "Toward Reusable and Evolvable Web Sites", International Workshop on Web Site Evolution (WSE 1999), October 5, 1999, Atlanta, GA, USA. K. Wong. The Reverse Engineering Notebook. Ph.D. dissertation, University of Victoria, Victoria, British Columbia, Canada, 1999. K. Wong. Toward reusable and evolvable web sites. In Proceedings of the First International Workshop on Web Site Evolution, Atlanta, Georgia, October 1999. IEEE Computer Society Press. K. Kontogiannis, J. Martin, K. Wong, R. Gregory, H.A. Muller and J. Mylopoulos. Code migration through transformations: An experience report. In Proceedings of the 1998 CAS Conference, pp. 1-13, Toronto, Ontario, Canada, December 1998. IBM Centre for Advanced Studies. Awarded Best Practical Paper. K. Wong. Rigi User's Manual, June 1998. Version 5.4.4, 168 pages. P.J. Finnigan, R. Holt, I. Kalas, S. Kerr, K. Kontogiannis, H.A. Muller, J. Mylopoulos, S.G. Perelgut, M. Stanley and K. Wong. The software bookshelf. In H. Erdogmus and O. Tanir, editors, Advances in Software Engineering: Comprehension, Evaluation, and Evolution, pp. 301-348. Springer Verlag, October 2001. Reprinted from IBM Systems Journal 1997. H.A. Muller, K. Wong and M.A.D. Storey. Reverse engineering research should target cooperative information system requirements. In Proceedings of the Fifth Working Conference on Reverse Engineering, Honolulu, Hawaii, October 1998. IEEE Computer Society Press. H.A. Muller, K. Wong and M.A.D. Storey. Wrapping coarse-grained objects using standard infrastructure technology. In Proceedings of the International Conference on Software Press. K. Wong and S. Tilley. Rigi: A Visualization Environment for Reverse Engineering", International Conference on Software Engineering (ICSE 1997), May 17, 1997, Boston, MA, USA. M.A.D. Storey, K. Wong and H.A. Muller. How do program understanding tools affect how programmers understand programs? In Proceedings of the Fourth Working Conference on Reverse Engineering, pp.12-21, Amsterdam, The Netherlands, October 1997. IEEE Computer Society Press. M.A.D. Storey, K. Wong and H.A. Muller. On integrating visualization techniques for effective software exploration. In INFOVIS '97: Proceedings of IEEE Symposium on Information Visualization, pp. 38-45, Phoenix, Arizona, October 1997. IEEE Computer Society Press.

M.A.D. Storey, K. Wong, and H.A. Muller. Rigi: A visualization environment for reverse engineering. In Proceedings of the International Conference on Software Engineering, pp. 606-607, Boston, Massachusetts, May 1997. IEEE Computer Society Press. P.J. Finnigan, R. Holt, I. Kalas, S. Kerr, K. Kontogiannis, H.A. Muller, J. Mylopoulos, S.G. Perelgut, M. Stanley and K. Wong. The software bookshelf. IBM Systems Journal, 36(4):564-593, 1997. P.J. Finnigan, R. Holt, I. Kalas, S. Kerr, K. Kontogiannis, H.A. Muller, J. Mylopoulos, S.G. Perelgut, M. Stanley and K. Wong. The software bookshelf. In H. Erdogmus and O. Tanir, editors, Advances in Software Engineering: Comprehension, Evaluation, and Evolution, pp. 301-348. Springer Verlag, October 2001. Reprinted from IBM Systems Journal 1997.

Herb Yang

Professor/Associate Chair (Graduate Studies) Email: yang@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~yang

Computer Graphics and Computer Vision

Books, Chapters in books, expository and review articles: M. Cherient and Y.H. Yang (eds.), Vision Interface - Real World Applications of Computer Vision, World Scientific, 1999. Published: O. Ayinde and Y.H. Yang. "Face Recognition Approach based on Rank Correlation of Gabor-filtered Images," Pattern Recognition, Vol. 35, 2002, pp. 1275-1289. O. Ayinde and Y.H. Yang. "Region-based face detection," Pattern Recognition, Vol. 35, 2002, pp. 2095-2107. Y. Zhang and Y.H. Yang. "Multiple Illuminant Direction Detection with Application to Image Synthesis," IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 23, No. 8, August 2001, pp. 915-920. B. Bashforth and Y.H. Yang. "Physics-based explosion modeling," Graphical Models, Vol. 63, 2001, pp. 21-44. R. Muzzolini, Y.H. Yang and R. Pierson. "Classifier design with incomplete knowledge," Pattern Recognition, Vol. 31, No. 4, 1998, pp. 345-369. This paper was awarded the Honourable Mention Award for Best Paper by the Pattern Recognition Society in June 2000. L. Zhao and Y.H. Yang. "Mosaic Image Method," Pattern Recognition, Vol. 32, 1999, pp. 1421-1433. L. Zhao and Y.H. Yang. "An Efficient Algorithm to Computer Eigenimages in PCA-Based Vision Systems," Pattern Recognition, Vol. 32, 1999, pp. 851-864. B.M.A. Genswein and Y.H. Yang. "A. Fast Rule-Based Parameter Free Discrete Hough Transform," Int. J. of Pattern Recognition and Artificial Intelligence, Vol. 13, 1999, pp. 615-641.

K.H. Liang, T. Tjahjadi and Y.H. Yang. "Bounded Diffusion for Multiscale Edge Detection Using Regularized Cubic B-Spline Fitting," IEEE Trans. On Systems, Man and Cybernetics, Vol. 29, No. 2, 1999, pp. 291-297. L. Zhao and Y.H. Yang. "Theoretical Analysis of Illumination in PCA-Based Vision Systems," Pattern Recognition, Vol. 32, No. 4, 1999, pp. 547-564. T. Grigorishin, G. Abdel-Hamid and Y.H. Yang. "Skeletonization: An Electrostatic Field-Based Approach," Pattern Analysis and Applications, Vol. 1, 1998, pp. 163-177. J. Shen and Y.H. Yang. "Deformable Object Modeling using the Time-Dependent Finite Element Method," Graphical Models and Image Processing, Vol. 60, 1998, pp. 461-487. D. Mould and Y.H. Yang. "Modeling Water for Computer Graphics," Computers and Graphics, Vol. 21, No. 6, 1997, pp. 801-814. N. Weng, Y.H. Yang and R. Pierson. "Three-Dimensional Surface Reconstruction Using Optical Flow for Medical Imaging," IEEE Trans. On Medical Imaging, Vol. 16, No. 5, 1997, pp. 630-641. S. Bakshi and Y. H. Yang. "Towards developing a practical system to recover light, reflectance, and shape," Int. J. of Pattern Recognition and Artificial Intelligence, Vol. 11, No. 6, 1997, pp. 991-1022. K.H. Liang, T. Tjahjadi and Y.H. Yang. "Roof Edge Detection Using Regularized Cubic B-Spline," Pattern Recognition, Vol 30, No. 5, May 1997, pp 719-728. Contributed papers in published conference proceedings and Abstracts: Y. Zhang and Y.H. Yang. "Illuminant direction determination for multiple light sources," Proc. IEEE Conf. On Computer Vision and Pattern Recognition, June 13-15, 2000, Hilton Head Island, South Carolina, pp. 269-276. B.M.A. Genswein and Y.H. Yang. "A Fast Rule-Based Parameter Free Digital Hough Transform," Vision Interface, 1998, Vancouver, B.C., pp. 157-164. Y.H. Yang. "An Experimental Study of Light Source Determination for Computer Graphics," Vision Interface, 1998, Vancouver, B.C., pp. 271-278. T. Grigorishin and Y.H. Yang. "Image Segmentation: An Electrostatic Field Based Approach," Vision Interface, 1998, Vancouver, B.C., pp. 279-286.

Publications co-authored with University of Alberta Computing Science students 1997 – present: M. Gong and Y.H. Yang. "Genetic-based stereo and disparity map evaluation, " Int. J. on Computer Vision, Vol. 47, pp. 63-77, 2002. X. Qin and Y.H. Yang. "Estimating Parameters for Procedural Texturing by Genetic Algorithms," Graphical Models, Vol. 64, 2002, pp. 19-39. M. Gong and Y.H. Yang. "Multi-resolution genetic algorithm and its application in motion estimation," Int. Conf. On Pattern Recognition, Quebec City, Quebec, August 11-15, 2002, Vol. 1, pp. 644-647. M. Gong and Y.H. Yang. "Layer-based morphing," Graphical Models, Vol. 63, 2001, pp. 45-59. M. Gong and Y.H. Yang. "Multi-baseline Stereo Matching Using Genetic Algorithm," Proc. IEEE Workshop on Stereo and Multi-baseline Stereo, Kauai, Hawaii, Dec. 9-10, 2001, pp. 21-29. M. Gong and Y.H. Yang. "Rayset and its applications," Graphics Interface, Ottawa, Ontario, June 2001, pp. 71-80. M. Gong and Y.H. Yang. "Genetic-Based Multiresolution Color Image Segmentation," Vision Interface, Ottawa, Ontario, June 2001, pp. 141-148.

Jia You

Professor Email: you@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~you

Logic Programming, Artificial Intelligence (Knowledge Representation and Reasoning)

Refereed Journal Publications: F. Lin and J. You. Abduction in logic programming: a new definition and an abductive procedure based on rewriting. (In Press). Y. Shen, J. You, L. Yuan, S. Shen and Q. Yang. A dynamic approach to characterizing termination of general logic programs. ACM Transactions on Computational Logic. (In Press). Y. Shen, L. Yuan and J. You. SLT-Resolution for the well-founded semantics. J. Automated Reasoning, 28(1) 52-57, 2002. N. Zhou, Y. Shen, L. Yuan and J. You. Implementation of a linear tabling mechanism. The Journal of Functional and Logic Programming Vol. 2001(10), Oct. 2001. J. You, X. Wang and L. Yuan. Nonmonotonic reasoning as prioritized argumentation. IEEE Transactions on Knowledge and Data Engineering, Nov/Dec Vol. 13(6), pp. 968-979, 2001. Y. Shen, L. Yuan, J. You and N. Zhou. Tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming 1(1), pp. 71-122, Jan 2001. Y. Shen, L. Yuan and J. You. Loop checks for logic programs with functions. Theoretical Computer Science, Vol. 266 (1-2): 441-461, 2001. J. You, L. Yuan and R. Goebel. An abductive approach to disjunctive logic programming. J. Logic Programming, Special Issue on Abduction, 44(1-3): 101-127, July 2000. J. You, X. Wang and L. Yuan. Compiling defeasible inheritance networks to general logic programs. Artificial Intelligence, 113(1-2), pp. 247-268, Sept. 1999. L. Yuan and J.You. Coherence approach to logic program revision. IEEE Transactions on Data and Knowledge Engineering, 10(1), pp. 108-119, 1998.

Chapters in Books: L. Yuan, J. You and R. Goebel. Disjunctive Logic Programming and Possible Model Semantics (invited paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 60-78. LNAI 1441. L. Yuan, J. You and R. Goebel. Autoepistemic logic and disjunctive logic programming. Logic Programming and Knowledge Representation, LNAI 1471, J. Dix, P. Pereira and T. Przymusinski (eds.), 1997. X. Wang, J. You and L. Yuan. Nonmonotonic reasoning by monotonic inferences with priority constraints. In Nonmonotonic Extensions of Logic Programming, LNAI 1216, J. Dix, P. Pereira and T. Przymusinski (eds.), pp. 91-109, 1997. Refereed Conference Publications: J You, L Yuan and M Zhang. On the equivalence between answer sets and models of completion for nested logic programs. In Proceedings of the International Joint conference on Artificial Intelligence (2003): 879-885. F Lin and J You. Recycling computed answers in rewrite systems for abduction. In Proceedings of the International Joint conference on Artificial Intelligence (2003): 879-855. G. Huang, X. Jia, C. Liau and J. You. Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Proceedings 15th Canadian Conference on AI, May 2002, LNCS, Springer. F. Lin and J. You. Abduction in logic programming: a new definition and an abductive procedure based on rewriting. IJCAI'01, pp 655-661, August 2001. N. Zhou, Y. Shen, L. Yuan and J. You. Implementation of a linear tabling mechanism. In Proceedings Practical Aspects of Declarative Languages (LNCS 1753) 109-123, 2000. T. Janhunen, N. Niemela, P. Simons and J. You. Unfolding partiality and disjunctions in stable model semantics. Proceedings Principles of Knowledge Representation and Reasoning, pp. 411-424, Breckenridge, Colorado, April 11-15, 2000. Y. Shen, L. Yuan, J. You and N. Zhou. Linear tabulated resolution for the well-founded semantics. Proceedings 5th LPNMR (LNAI 1730) pp 192-205, 1999. J. You, L. Yuan and R. Goebel. Regular extension semantics and disjunctive Eshghi-Kowalski procedure. In Proceedings International Joint Conf./Sym. On Logic Programming, MIT Press, Manchester, UK, June 1998.

J. You, L. Yuan and R. Goebel. An abductive semantics for disjunctive logic programs and its proof procedure. Proceedings 17th FST and TCS (Foundations of Software Technology and Theoretical Computer Science), LNCS 1346, pp. 138-153, Kharagpur, India, Dec. 1997. X. Wang, J. You and L. Yuan. A default interpretation of defeasible networks. In Proceedings IJCAI'97, pp. 156-162, Nagoya, Japan, Aug 1997. J. You, X. Wang and L. Yuan. Disjunctive logic programming as constrained inferences. Proceedings 14th International Conference on Logic Programming, Leuven Belgium, pp. 361-375, MIT Press, July 1997. X. Wang, J. You and L. Yuan. On confluence property of active databases with meta-rules. In Proceedings 3rd International Workshop on Rules in Database Systems, LNCS 1312, pp. 118-132, Skovde, Sweden, June 1997. X. Wang, J. You and L. Yuan. Logic programming without default negation revisited. In Proceedings IEEE International Conference on Intelligent Processing Systems, pp. 1169-1174, Beijing, PRC, Oct. 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: G. Huang, X. Jia, C. Liau and J. You. Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Proceedings 15th Canadian Conference on AI, May 2002, LNCS, Springer, pp. 119-131. S. Padmanabhuni, J. You and A. Ghose. A framework for learning constraints: Preliminary Report. In LNAI 1359, pp. 1333-147, G. Antoniou et al. (eds.) 1998.

Li-Yan Yuan

Professor Email: yuan@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~yuan

Logic Programming, Artificial Intelligence, Database Systems

Refereed Journal Publications: Y. Shen, J. You, L. Yuan, S. Shen and Q. Yang. A Dynamic Approach to Characterizing Termination of General Logic Programs, in ACM Transactions on Computational Logic. (In Press). Y. Shen, L. Yuan and J. You. SLT-resolution for the well-founded semantics. Journal of Automated Reasoning, Vol. 28(1) 53-97, Jan 2002. N.F. Zhou, Y. Shen, L. Yuan and J. You. Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming, Vol. 2001(10), Oct. 2001. Y. Shen, L. Yuan and J. You. Loop checks for logic programs with functions. Theoretical Computer Science, Vol. 266 (1-2):441-461, 2001. Y. Shen, L. Yuan, J. You and N. Zhou. Tabulated resolution based on Prolog control strategy. Theory and Practice of Logic Programming, Vol. 1(1):71-103, 2001. J. You, L. Yuan and R. Goebel. An abductive approach to disjunctive logic programming. Journal of Logic Programming, Special Issue on Abduction, 44(1-3): 101-127, July 2000. J. You, X. Wang and L. Yuan. Nonmonotonic reasoning as prioritized argumentation. IEEE Transaction on Knowledge and Data Engineering (to appear). J. You, X. Wang and L. Yuan. Compiling defeasible inheritance networks to general logic programs. Artificial Intelligence, 113(1-2), pp. 247-268, 1999. L. Y. Yuan and J.H. You. Coherence Approach to Logic Program Revision. IEEE Transaction on Knowledge and Data Engineering, 10(1), pp. 108-119, 1998.

Other Refereed Contributions: J You, L Yuan and M Zhang. On the equivalence between answer sets and models of completion for nested logic programs. In Proceedings of the International Joint conference on Artificial Intelligence (2003): 879-885. August 2003. N. Zhou, Y. Shen, L. Yuan and J. You. Implementation of a linear tabling mechanism. Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, pp. 109-123, 2000. Y. Shen, L. Yuan, J. You and N. Zhou. Linear Tabulated Resolution for the Well-Founded Semantics. In Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LNAI 1730, pp. 192-205, 1999. L. Yuan, J. You and R. Goebel. Disjunctive Logic Programming and Autoepistemic Logic. Lecture Notes in Artificial Intelligence, 1470, pp. 85-101, 1998. J. You, L. Yuan and R. Goebel. Regular extension semantics and disjunctive Eshghi-Kowalski procedure. In Proceedings of Joint International Conference and Symposium on Logic Programmming, Manchester, UK, pp. 175-189, June 1998. L. Yuan, J. You and R. Goebel. Disjunctive logic programming and possible model semantics (invited paper). In Lecture Notes in Artificial Intelligence, Vol. 1441, eds. W. Wobcke, M. Pagnucco and C. Zhang, pp. 60-79, 1998. J. You, L. Yuan and R. Goebel. An abductive semantics for disjunctive logic programs and its proof procedure. In Proc. 17th Foundations of Software Technology and Theoretical Computer ScienceI, India, LNCS 1346, pp. 138-153, Dec. 1997. X. Wang, J. You and L. Yuan. Logic programming without default negation revisited. In Proc. IEEE International Conference on Intelligent Processing Systems, ICIPS97, Beijing, PRC, pp. 1169-1174, Oct. 1997. X. Wang, J. You and L.Y. Yuan. A Default Interpretation of Defeasible Network. In Proc. of the Joint International Conference on Artificial Intelligence, pp 156-162, Aug. 1997. X. Wang, J. You and L.Y. Yuan. On Confluence Property of Active Databases with Meta-Rules. In Proc. of the third International Workshop on Rules in Databases, LNCS 1312 Springer, pp. 118-132, June 1997. J. You, X. Wang and L.Y. Yuan. Disjunctive Logic Programming as Constrained Inferences. In Proc. of the 14th International Conference on Logic Programming, pp. 361-375, July 1997. J. You, X. Wang and L.Y. Yuan. Nonmonotonic reasoning by monotonic inferences with priority constraints. In Nonmonotonic Extensions of Logic ProgrammingI, LNAI Vol. 1216, J. Dix, P. Pereira and T. Przymusinski (eds), pp. 91-109, June 1997.

Osmar R. Zaïane

Assistant Professor Email: zaiane@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~zaiane

Data Mining, Web Mining, Content-Based Information Retrieval, Multimedia

Publications in Journals: O. R. Zaïane. Building Virtual Web Views, in the Special Issue on "Warehouse Design for Structured and Semistructured Data" of the Journal of Data and Knowledge Engineering, vol. 39, n. 2, pp 143-163, November 2001. Z.N. Li, O. R. Zaïane and. Z. Tauber, Illumination Invariance and Object Model in Content-Based Image and Video Retrieval, Journal of Visual Communication and Image Representation, Academic Press, vol. 10, n 3, pp. 219-244, September 1999. Book Chapters: O. R. Zaïane. Discovering Patterns With and Within Images, Chapter 2 in Multimedia Mining- A Highway to Intelligent Multimedia Documents, edited by Chabane Djeraba, published by Kluwer Accademic Publishers, 2002, pp. 27-42. O. R. Zaïane. The Infant Days of Multimedia Data Mining, pp. 428-439, Chapter 5 in Dealing with the Data Flood: Mining Data, Text and Multimedia, edited by Jeroen Meij, SST Publications, Netherlands, 2002. J. Han, O. R. Zaïane S. Chee and J. Y. Chiang. Towards On-Line Analytical Mining on the Internet for Electronic Commerce, pp. 169-183, Chapter 11 in Electronic Commerce Technology Trends: Challenges and Opportunities, edited by Weidong Kou and Yelena Yesha, published by IBM Press, 2000.

Publications in Refereed International Conferences and Workshops: S. J. Simoff, C. Djeraba, and O.R. Zaïane. MDM/KDD2002: Multimedia Data Mining between Promises and Problems. In SIGKDD Explorations, Vol 4, N 2, January 2003, pp 118-121. B.M. Masand, M. Spiliopoulou, J. Srivastava and O.R. Zaïane. WEBKDD 2002 - Web Mining for Usage Patterns & Profiles. In SIGKDD Explorations, Vol 4, N 2, January 2003, pp 125-127. O. R. Zaïane. Building a Recommender Agent for e-Learning Systems, to appear in Proceedings of the International Conference on Computers in Education, pp. 55-59, Auckland, New Zealand, December 2002. O. R. Zaïane. Web Usage Mining for a Better Web-Based Learning Environment, in Proc. of Conference on Advanced Technology for Education, pp. 60-64, Banff, Alberta, June 27-28, 2001. O. R. Zaïane and J. Han. Finding Spatial Associations in Images, Data Mining and Knowledge Discovery: Theory, Tools, and Technology II, SPIE 14th Int'l Symposium on Aerospace/Defense Sensing, Simulation and Controls, pp. 138-147, Orlando, FL, April 2000. O. R. Zaïane, J. Han and H. Zhu. Mining Recurrent Items in Multimedia with Progressive Resolution Refinement, Int. Conf. on Data Engineering (ICDE'2000), pp. 461-470, San Diego, CA, February 2000. O. R. Zaïane, E. Hagen and J. Han. Word Taxonomy for On-line Visual Asset Management and Mining, Fourth International Workshop on Application of Natural Language to Information Systems (NLDB'99), pp 271-276, Klagenfurt, Austria, June 1999. O. R. Zaïane and J. Han. WebML: Querying the World-Wide Web for Resources and Knowledge, in Proc. CIKM'98 Workshop on Web Information and Data Management (WIDM'98), pp. 9-12, Washington DC, November 1998. O. R. Zaïane, J. Han, Z.N. Li and J. Hou. Mining Multimedia Data, in proc. CASCON'98: Meeting of Minds, pp. 83-96, Toronto, Canada, November 1998. Z.N. Li, O. R. Zaïane and B. Yan. C-BIRD: Content-Based Image Retrieval from Image Repositories Using Chromaticity and Recognition Kernel, In Proc.Intl. Workshop on Storage and Retrieval Issues in Image and Multimedia Databases, in 9th Intl. Conf. on Database and Expert Systems (DEXA'98), pp. 361-366, Vienna, Austria, August 1998. O. R. Zaïane, J. Han, Z.N. Li, S. H. Chee and J. Y. Chiang. MultimediaMiner: A System Prototype for Multimedia Data Mining, in Proc. Int'l Conf. on Management of Data (ACM-SIGMOD'98), pp. 581-583, Seattle, June 1998. O. R. Zaïane, M. Xin and J. Han. Discovering Web Access Patterns and Trends by Applying OLAP and Data Mining Technology on Web Logs, in Proc. ADL'98 (Advances in Digital Libraries), pp. 19-29, Santa Barbara, April 1998.

J. Han, J. Chiang, S. Chee, J. Chen, Q. Chen, S. Cheng, W. Gong, M. Kamber, K. Koperski, G. Liu, Y. Lu, N. Stefanovic, L. Winstone, B. Xia, O. R. Zaïane, S. Zhang and H. Zhu. DBMiner: A System for Data Mining in Relational Databases and Data Warehouses, in Proc. CASCON'97: Meeting of Minds, pp. 249-260, Toronto, Canada, November 1997. O. R. Zaïane, A. Fall, S. Rochefort, V. Dahl and P. Tarau. On-Line Resource Discovery using Natural Language in Proc. RIAO'97 Conf., Computer-Assisted Searching on the Internet, pp. 336-355, Montreal, June 1997. O. R. Zaïane, A. Fall, S. Rochefort, V. Dahl and P. Tarau. Concept-Based Retrieval using Controlled Natural Language, in Proc. Workshop on Applications of Natural Language to Information Systems (NLDB97), pp. 11-26, Vancouver, June 1997. Publications co-authored with University of Alberta Computing Science students 1997 – present: S. R. M. Oliveira and O. R. Zaïane. Foundations for an Access Control Model for Privacy Preservation in Multi-Relational Association Rule Mining, Workshop on Privacy, Security, and Data Mining, in conjunction with the IEEE International Conference on Data Mining, pp. 43-54, Maebashi City, Japan, December 9, 2002. S. R. M. Oliveira and O. R. Zaïane. Privacy preserving frequent itemset mining, Workshop on Privacy, Security, and Data Mining, in conjunction with the IEEE International Conference on Data Mining, pp. 19-26, Maebashi City, Japan, December 9, 2002. M-L. Antonie and O. R. Zaïane. Text Document Categorization by Term Association, IEEE 2001 International Conference on Data Mining (ICDM'2002), pp. 19-26, Maebashi City, Japan, December 9-12, 2002. A. Foss and O. R. Zaïane. A Parameterless Method for Efficiently Discovering Clusters of Arbitrary Shape in Large Datasets, IEEE 2001 International Conference on Data Mining (ICDM'2002), pp. 179-186, Maebashi City, Japan, December 9-12, 2002. O. R. Zaïane and C-H. Lee. Clustering Spatial Data When Facing Physical Constraints, IEEE 2001 International Conference on Data Mining (ICDM'2002), pp. 737-740, Maebashi City, Japan, December 9-12, 2002. W. Wang and O. R. Zaïane. Clustering Web Sessions by Sequence Alignment, Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), pp 394-398, Aix en Provence, France, September 2-7, 2002. O. R. Zaïane and A. Strilets. Finding Similar Queries to Satisfy Searches based on Query Traces, Proceedings of the International Workshop on Efficient Web-Based Information Systems (EWIS), Montpellier, France, pp 207-216, Lecture Notes in Computer Science 2426, Advances in Object-Oriented Information Systems, Springer-Verlag, September 2002.

O. R. Zaïane, M-L. Antonie and A. Coman. Mammography Classification by an Association Rule-Based Classifier, Third ACM SIGKDD Intl. Workshop on Multimedia Data Mining (MDM/KDD'2002) in conjunction with Eighth ACM SIGKDD, pp. 62-69, Edmonton, Alberta, Canada, 17-19 July 2002. O. R. Zaïane and C-H. Lee. Clustering Spatial Data in the Presence of Obstacles: a Density-Based Approach, to appear in Proceedings International Database Engineering and Applications Symposium (IDEAS 2002), pp. 214-223, Edmonton, Canada, July 17-19, 2002. C-H. Lee and O. R. Zaïane. Density-Based Clustering of spatial data in the presence of physical obstacles, The World Congress of Korean and Korean-Ethnic Scientists and Engineers, session on Information & Communication Technology, July 8-13, 2002 Seoul, Korea (accepted for publication). O. R. Zaïane and M-L. Antonie. Classifying text documents by associating terms with text categories, in Proc. of the Thirteenth Australasian Database Conference (ADC'02), Melbourne, Australia, pp. 215-222, January 28-February 1, 2002. O. R. Zaïane, M. El-Hajj and P. Lu. Fast Parallel Association Rule Mining Without Candidacy Generation, in Proc. of the IEEE 2001 International Conference on Data Mining (ICDM'2001), San Jose, CA, USA, pp. 665-668, November 29-December 2, 2001. A. Ammoura, O. R. Zaïane and R. Goebel. Towards a Novel OLAP Interface for Distributed Data Warehouses, in Proc. of 3rd International Conference on Data Warehousing and Knowledge Discovery (DaWak'2001), pp. 174-185, Munich, Germany, September 5-7, 2001. H. Cui and O. R. Zaïane. Hierarchical Structural Approach to Improving the Browsability of Web Search Engine Results, in Proc. of International Workshop on Digital Libraries (DLib'2001) in conjunction with 12th International Conference on Database and Expert Systems Applications DEXA'2001, pp. 956-960, Munich, Germany, September 3-7, 2001. M-L. Antonie, O. R. Zaïane and A. Coman. Application of Data Mining Techniques for Medical Image Classification, in Proc. of Second Intl. Workshop on Multimedia Data Mining (MDM/KDD'2001) in conjunction with Seventh ACM SIGKDD, pp. 94-101, San Francisco, CA, August 26, 2001. O. R. Zaïane and J. Luo. Towards evaluating learners' behaviour in a web-based distance learning environment, in Proc. of IEEE International Conference on Advanced Learning Technologies (ICALT01), pp. 357-360, Madison, WI, August 6-8, 2001. A. Ammoura, O. R. Zaïane and Y. Ji. Immersed Visual Data Mining: Walking The Walk, in Proc. of 18th British National Conference on Databases (BNCOD'2001), pp. 202-218, Oxford, UK, July 9-11, 2001, Lecture Notes in Computer Science 2097, Advances in Databases, Springer-Verlag, 2001.

O. R. Zaïane and A. Ammoura. On-Line Analytical Processing while Immersed in a Cave, the 2nd International Workshop on User Interfaces to Data Intensive Systems (UIDIS'01), pp. 102-115, Zurich, Switzerland, May 31-June 1, 2001. A. Foss, W. Wang and O. R. Zaïane. A Non-Parametric Approach to Web Log Analysis, in Proc. of Workshop on Web Mining in First International SIAM Conference on Data Mining (SDM2001), pp. 41-50, Chicago, IL, April 5-7, 2001. B. Matichuk and O. R. Zaïane. Unsupervised Classification of Sound for Multimedia Indexing, First Intenational Workshop on Multimedia Data Mining MDM/KDD 2000, pp. 31-36, Boston, August 2000.

Hong Zhang

Professor Email: zhang@cs.ualberta.ca WWW: http://www.cs.ualberta.ca/~zhang

Robotics, Intelligent Sensing Systems

Selected Publications: Parker, C., Zhang, H., and Kube, R. "Blind Bulldozing: Multiple Robot Nest Construction", Proc. IEEE/RSJ International Conference on Robotics and Inteliigent Systems, 2003, Las Vegas, USA, October 27-31, 2003. Cobzas, D., Zhang, H., and Jagersand, M. "Image-Based Localization with Depth Enhanced Image Map", Proc.2003 IEEE Int. Conf. on Robotics and Atomation, Taipei, Taiwan, September 14-19, 2003. McNaughton, M. and Zhang, H., "Color Vision for RoboCup With Fast Lookup Tables", IEEE International Conference on Robotics, Intelligent Systems and Signal Processing, October 8--13, 2003, Changsha, China. Guan, Y. and Zhang, H. ``Kinematic Feasibility Analysis of 3D Multifingered Grasps", IEEE Transactions on Robotics and Automation, vol. 19, no. 3, pp. 507-513, June 2003. Cobzas, D., Jagersand, M., and Zhang, H., "A Panoramic Model for Robot Predictive Display", Proc. 16th Int. Cof. on Vision Interface (VI 2003), Halifax, Canada, June 11-13, 2003. Zhang, H. and So, E., "Hybrid Resistive Tactile Sensing", IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 32, no. 1, February 2002, pp. 57--65. C Parker and H Zhang. “Robot Collective Construction by Blind Bulldozing.” 2002 IEEE International Conference on Systems, Man, and Cybernetics, Paper #MP1G5, five proceeding pages. Hammamet, Tunisia. 2002. Kwon, K., Zhang, H., and Dornaika, F., ``Hand Pose Recovery with a Single Video Camera", Proc. 2001 Int. Conf. on Robotics and Atomation, Seoul, Korea, May 21-26, 2001. Zhang, H. and Chen, N., "Control of contact via tactile sensing," IEEE Transactions on Robotics and Automation, vol. 16, no. 5, pp. 482--495, October 2000.