• 
  Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. ACM 2001

Keynote

• 
  Hal Berghel: A decade of applied computing. 1-5

AI and Computational Logic - 1

• 
  Dimitrios Kalles, Panagiotis Kanellopoulos: On verifying game designs and playing strategies using reinforcement learning. 6-11
• 
  Pierre Laroche, Yann Boniface, René Schott: A new decomposition technique for solving Markov decision processes. 12-16
• 
  Jian Zhang: Automatic symmetry breaking method combined with SAT. 17-21
• 
  Walid Chainbi: A belief-goal-role logic for a single-agent system. 22-26

AI and Computational Logic - 2

• 
  Masayuki Okabe, Seiji Yamada: Interactive document retrieval with relational learning. 27-31
• 
  Matee Serearuno, Tony Holden: A comparison in training time of the single and multiple-output MLP neural networks. 32-35
• 
  In Lee, Jatinder N. D. Gupta, Amar D. Amar: A multi-neural-network learning for lot sizing and sequencing on a flow-shop. 36-40

Bioinformatics - 1

• 
  Igor V. Grigoriev: Computational structural genomics: identifying protein targets for structural studies. 41-45
• 
  Lusheng Wang, Kaizhong Zhang, Louxin Zhang: Perfect phylogenetic networks with recombination. 46-50
• 
  Xianghong Zhou, Gareth Chelvanayagam, Michael T. Hallett: Identifying the most significant pairwise correlations of residues in different positions of helices: the subset selection problem using least squares optimization. 51-55

Bioinformatics - 2

• 
  Paolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: An approximation algorithm for the shortest common supersequence problem: an experimental analysis. 56-60
• 
  Jonathan H. Badger, Paul E. Kearney: Picking fruit from the tree of life: comments on taxonomic sampling and quartet methods. 61-67

Computational Sciences

• 
  Damon Shing-Min Liu, Mark Burgin, Walter J. Karplus, Daniel J. Valentino: Large-scale flow field visualization for aneurysm treatment. 68-72
• 
  Kazuhiro Shimoura: Self-consistent simulation studying environment for the design of high-speed optical communication lines. 73-76
• 
  L. Jonathan Dowell, Michael Lee Bruno: Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results. 77-81

Computer Uses in Education

• 
  Masaya Okada, Hiroyuki Tarumi, Tetsuhiko Yoshimura: Distributed virtual environment realizing collaborative environment education. 83-88
• 
  Lin Chen, Youwen Ouyang: Component-centric approach in a web-based home schooling application. 89-93
• 
  Marco Roccetti, Paola Salomoni: A web-based synchronized multimedia system for distance education. 94-98
• 
  Ng S. T. Chong, Masao Sakauchi: Creating and shareing web notes via a standard browser. 99-104

Coordination Models, Languages and Applications - 1

• 
  Andrea Omicini: Coordination models, languages applications track chair messages. 105-106
• 
  David W. Flater: Debugging agent interactions: a case study. 107-114
• 
  Jie Xing, Munindar P. Singh: Formalization of commitment-based agent interaction. 115-120
• 
  Rajeev R. Raje, Mingyong Qiao, Snehasis Mukhopadhyay: SIFTER-II: a heterogeneous agent society for information filtering. 121-123

Coordination Models, Languages and Applications - 2

• 
  Hans de Bruin: Coordingation control with BCOOPL. 124-133
• 
  Carlos Enrique Cuesta Quintero, Pablo de la Fuente, Manuel Barrio-Solórzano: Dynamic coordination architecture through the use of reflection. 134-140
• 
  Nelson S. Rosa, George R. Ribeiro-Justo, P. R. F. Cunha: A framework for building non-functional software architectures. 141-147
• 
  Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: DIP: a pattern-based approach for task and data parallelism integration. 148-150

Coordination Models, Languages and Applications - 3

• 
  Koenraad De Bosschere, Jean-Marie Jacquet: Synchronous coordination in the Log coordination model. 151-158
• 
  Andrea Bracciali, Antonio Brogi, Franco Turini: Coordinating interaction patterns. 159-165
• 
  Mirko Viroli, Gianluca Moro, Andrea Omicini: On observation as a coordination paradigm: an ontology and a formal framework. 166-175

Coordination Models, Languages and Applications - 4

• 
  Dennis Heimbigner: Adapting publish/subscribe middleware to achieve Gnutella-like functionality. 176-181
• 
  Sergio P. J. Medeiros, Jano Moreira de Souza, Julia Celia M. Strauch, Gustavo da Rocha Barreto Pinto: Coordination aspects in a spatial group decision support collaborative system. 182-186
• 
  Ronaldo Menezes: Experience with memory management in open Linda systems. 187-196

Database Technology - 1

• 
  Martin Staudt, Jörg-Uwe Kietz, Ulrich Reimer: Access to heterogeneous data sources for supporting business process execution. 197-206
• 
  Zina Ben-Miled, Srinivasan Sikkupparbathyam, Omran A. Bukhres, Kishan Nagendra, Eric Lynch, Marcelo Areal, Lola Olsen, Chris Gokey, David Kendig, Tom Northcutt, Rosy Cordova, Gene Major, Janine Savage: Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agents. 207-214
• 
  Muhammad Abaidullah Anwar, Takaichi Yoshida: Integrating OO road network database, cases and knowledge for route finding. 215-219

Database Technology - 2

• 
  Reda Alhajj, Faruk Polat: Transferring database contents from a conventional information systemto a corresponding existing object oriented information system. 220-224
• 
  Ramon Lawrence, Ken Barker: Integrating relational database schemas using a standardized dictionary. 225-230
• 
  Sang-Wook Kim, Hee-Sun Won: Batch-construction of B+-trees. 231-235

Database Technology - 3

• 
  Yuelong Gu, Brajendra Panda, Kazi Asharful Haque: Design and analysis of data structures for querying image databases. 236-241
• 
  Brajendra Panda, Rajesh Yalamanchili: Transaction fusion in the wake of information warfare. 242-247
• 
  Sanghyun Park, Sang-Wook Kim, Wesley W. Chu: Segment-based approach for subsequence searches in sequence databases. 248-252
• 
  Franco Crivellari, Massimo Melucci: Automatic generation of hypertextbook Webs. 253-257
• 
  Khanh Vu, Kien A. Hua, Duc A. Tran: An efficient core-area detection algorithm for fast noise-free image query processing. 258-263

Database Technology - 4

• 
  Kwang-Taek Song, Hwa-Jin Nam, Jae-Woo Chang: A cell-based index structure for similarity search in high-dimensional feature spaces. 264-268
• 
  Sara Comai: Graph-based GUIs for querying XML data: the XML-GL experience. 269-274
• 
  Hasan M. Jamil: A case for parameterized views and relational unification. 275-279
• 
  Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier: Integration of the viewpoint mechanism in federated databases. 280-284

Database Technology - 5

• 
  Ramzi A. Haraty, Nashat Mansour, Bassel Daou: Regression testing of database applications. 285-289
• 
  Baojing Lu, Qinghua Zou, William Perrizo: A dual copy method for transaction separation with multiversion control for read-only transactions. 290-294
• 
  Binh Thanh Nguyen, A. Min Tjoa: Conceptual multidimensional data model based on object oriented metacube. 295-300

Digital Audio and Video

• 
  Ghim Hwee Ong, Chorng-Meng Chew, Yi Cao: A simple partitioning approach to fractal image compression. 301-305
• 
  Clinton L. Jeffery: Goal-directed object-oriented programming in unicon. 306-308
• 
  A. Angelopoulos, Evangelos A. Yfantis, A. Popovich, T. Lazarakis: On motion and noise detection in digital video. 309-311
• 
  Evangelos A. Yfantis: An algorithm for key-frame determination in digital video. 312-314

Evolutionary Computation and Optimization - 1

• 
  Roger L. Wainwright, Günther R. Raidl: Evolutionary computation and optimization track. 315
• 
  Cristian Munteanu, Agostinho C. Rosa: Evolutionary image enhancement with user behaviour modeling. 316-320
• 
  Bryant A. Julstrom, Günther R. Raidl: Weight-biased edge-crossover in evolutionary algorithms for wto graph problems. 321-326
• 
  Pablo Galiasso, Roger L. Wainwright: A hybrid genetic algorithm for the point to multipoint routing problem with single split paths. 327-332

Evolutionary Computation and Optimization - 2

• 
  Karl R. Deerman, Gary B. Lamont, Ruth Pachter: Linkage-learning genetic algorithm application to the protein structure prediction problem. 333-339
• 
  Gerry V. Dozier: Evolving robot behavior via interactive evolutionary computation: from real-world to simulation. 340-344
• 
  Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero: Evolving effective CA/CSTP: BIST architectures for sequential circuits. 345-350

Evolutionary Computation and Optimization - 3

• 
  Tao-Yuan Huang, Yung-Yaw Chen: Diversity-based selection pooling scheme in evolution strategies. 351-355
• 
  Bryant A. Julstrom: Encoding rectilinear Steiner trees as lists of edges. 356-360
• 
  Carlos M. Fernandes, Rui Tavares, Cristian Munteanu, Agostinho C. Rosa: Using assortative mating in genetic algorithms for vector quantization problems. 361-365

Mobile Computing Systems and Applications - 1

• 
  Dorota M. Huizinga: Location and storage management in mobile computing systems - track chair message. 366-367
• 
  Jie Li, Yi Pan, Xiaohua Jia: Analysis of dynamic movement-based location update scheme. 368-372
• 
  Hiroaki Hagino, Takahiro Hara, Masahiko Tsukamoto, Shojiro Nishio: Location management of mobile hosts by grouping routers. 373-380
• 
  Hoang Nguyen Minh, Harmen R. van As: User profile replication with caching for distributed location management in mobile communication networks. 381-386
• 
  Duc A. Tran, Kien A. Hua, Ning Jiang: A generalized air-cache design for efficiently boradcasting on multiple physical channels. 387-392

Mobile Computing Systems and Applications - 2

• 
  Ken C. K. Lee, Hong Va Leong, Antonio Si: Adaptive semantic data broadcast in a mobile environment. 393-400
• 
  Legand L. Burge III, Suleiman Baajun, Moses Garuba: A ubiquitous stable storage for mobile computing devices. 401-404
• 
  Nathan N. Vuong, Geoffrey Smith, Yi Deng: Managing security policies in a distributed environment using eXtensible markup language (XML). 405-411

Mobile Computing Systems and Applications - 3

• 
  Kåre J. Lauvset, Dag Johansen, Keith Marzullo: TOS: kernel support for distributed systems management. 412-419
• 
  Song Ci, Hamid Sharif, Guevara Noubir: Improving performance of MAC layer by using congestion control/avoidance methods in wireless network. 420-424
• 
  Massimo Ancona, Sandro Locati, Alessio Romagnoli: Context and location aware textual data input. 425-428

Multimedia and Visualization

• 
  B. Sonah, Mabo Robert Ito: Considering video characteristics for improved cache performance in VOD systems. 429-433
• 
  Chaman L. Sabharwal, S. R. Subramanya: Indexing image databases using wavelet and discrete fourier transform. 434-439
• 
  Tadashi Nakano, Kaname Harumoto, Shinji Shimojo, Shojiro Nishio: Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxy. 440-445
• 
  Fabio Asturian Zanin, Lisandro Zambenedetti Granville, Maria Janilce B. Almeida: ADAPT - a low-cost videoconference model for personal computers running on IP networks. 446-447

Neuro-Fuzzy Applications - 1

• 
  Athanasios V. Vasilakos, Kostas G. Anagnostakis, Witold Pedrycz: Application of computational intelligence techniques in active networks. 448-455
• 
  Giuseppe Ascia, Vincenzo Catania, Daniela Panno: An adaptive fuzzy threshold scheme for high performance shared-memory switches. 456-461
• 
  Stefania Bandini, Sara Manzoni: Application of fuzzy indexing and retrieval in case based reasoning for design. 462-466
• 
  San-yhi Chen, Li-Fong Lin, Chih-Sheng Chang, Chung-Ju Chang: The sustainable-cell-rate usage parameter control with adjustable window for high-speed multimedia communications. 467-471

Neuro-Fuzzy Applications - 2

• 
  Patrick Bosc, Ludovic Lietard, Olivier Pivert: A function-based join for the manipulation of possibilistic relations. 472-476
• 
  Vincenzo Loia, Paolo Luongo: Genetic-based fuzzy clustering for automatic Web document categorization. 477-478
• 
  Giovanni Mastroleo, Gisella Facchinetti, Carlo Alberto Magni: A proposal for modeling real options through fuzzy expert system. 479-481
• 
  Wei Xiang, Sai Cheong Fok, Fook Fah Yap: A fuzzy neural network approach to model component behavior for virtual prototyping of hydraulic system. 482-483

Parallel and Distributed Computing - 1

• 
  Zhizhang Shen: A routing algorithm for the pyramid structures. 484-488
• 
  Alireza Shahrabi, Mohamed Ould-Khaoua, Lewis M. Mackenzie: Unicast-based broadcast: an analysis for the hypercube with adaptive routing. 489-493
• 
  Geyong Min, John D. Ferguson, Mohamed Ould-Khaoua: Analysis of adaptive wormhole-routed torus networks with IPP input traffic. 494-498
• 
  Aomar Maddi, Fodil Dahamni: An efficient algorithm for causal messages ordering. 499-503

Parallel and Distributed Computing - 2

• 
  Etsuko Yajima, Takahiro Hara, Masahiko Tsukamoto, Shojiro Nishio: Scheduling and caching strategies for broadcasting correlated data. 504-510
• 
  Byoung-Soon Jang, Sung Woo Chung, Seong Tae Jhang, Chu Shik Jhon: Efficient schemes to scale the interconnection network bandwidth in a ring-based multiprocessor system. 510-516
• 
  Sam R. Thangiah, Olena Shmygelska, William Mennell: An agent architecture for vehicle routing problems. 517-521

Parallel and Distributed Computing - 3

• 
  Li-jie Jin, Fabio Casati, Mehmet Sayal, Ming-Chien Shan: Load balancing in distributed workflow management system. 522-530
• 
  Ahmed Housni, Michel Tréhel, Mi-Soon Koo, Myong-Soon Park: A new distributed mutual exclusion algorithm for two groups. 531-538
• 
  Saeri Lee, Hyun-Gyoo Yook, Mi-Soo Koo, Myong-Soon Park: Processor reordering algorithms toward efficient GEN_BLOCK redistribution. 539-543
• 
  Vinay Gupta, Mohit Modi, Andy D. Pimentel: Performance evaluation of the LH*lh scalable, distributed data structure for a cluster of workstations. 544-548

Parallel and Distributed Computing - 4

• 
  Chun-Hsi Huang, Xin He: Finding a hamiltonian paths in tournaments on clusters - a provably communication-efficient approach. 549-553
• 
  Daniel M. Pressel: Fundamental limitations on the use of prefetching and stream buffers for scientific applications. 554-559
• 
  Claudia Leopold: Exploiting non-uniform reuse for cache optimization. 560-564

Programming Languages - 1

• 
  Tynan D. Grayson, Ralph A. Grayson, G. E. Hedrick: A web information organization and management system (WIOMS). 565-566
• 
  Tim Wahls, Gary T. Leavens: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. 567-575
• 
  Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: Specifying internet applications with DiCons. 576-584

Programming Languages - 2

• 
  Walid Chainbi: Using the object paradigm to deal with the agent paradigm: capabilities and limits. 585-589
• 
  Marjan Mernik, Uros Novak, Enis Avdicausevic, Viljem Zumer: Designa and implementation of simple object description language. 590-595
• 
  En-Hsin Huang, Tzilla Elrad: Reflective controls for intelligent distributed objects. 595-599

Programming Languages - 3

• 
  Rajeev R. Raje, Sivakumar Chinnasamy: eLeLePUS - a language for specification of software design patterns. 600-604
• 
  In Sang Chung, Wan Kwon Lee, Gwang Sik Yoon, Yong Rae Kwon: Program slicing based on specification. 605-609
• 
  Mirko Viroli: Parametric polymorphism in Java: an efficient implementation for parametric methods. 610-619

Programming Languages - 4

• 
  Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe: Interprocedural exception analysis for Java. 620-625
• 
  Glenn Altemose, Cindy Norris: Register pressure responsive software pipelining. 626-631
• 
  Mahmut T. Kandemir: A dynamic locality optimization algorithm for linear algebra codes. 632-635
• 
  James F. Power, Brian A. Malloy: Exploiting metrics to facilitate grammar transformation into LALR format. 636-640

Software Engineering and Management - 1

• 
  Chang-Hyun Jo: A seamless approach to the agent development. 641-647
• 
  Xiaowen Chen, Tim Wahls: A graphical user interface for executing formal specifications. 648-652
• 
  Chia-Chu Chiang: A distributed object computing architecture for leveraging software reengineering systems. 653-657
• 
  Chanika Hobatr, Brian A. Malloy: The design of an OCL query-based debugger for C++. 658-662

Software Engineering and Management - 2

• 
  Jun-Jang Jeng: Towards a universal service-computing platform via virtual service machine. 663-667
• 
  H. Conrad Cunningham, Jingyi Wang: Building a layered framework for the table abstraction. 668-674
• 
  Anil Khatri, David C. Rine: A software reuse reference model approach in developing an automated educational system for patients health care management. 675-678
• 
  Yih-Peng Hwang, David C. Rine: Algorithms to detect chained-inference faults in information distribution systems. 679-685
• 
  Gian Luigi Ferrari, Emilio Tuosto: A debugging calculus for mobile ambients.