16. SAC 2001: Las Vegas, Nevada, USA

@proceedings{DBLP:conf/sac/2001,
  title     = {Proceedings of the 2001 ACM Symposium on Applied Computing (SAC),
               March 11-14, 2001, Las Vegas, NV, USA},
  publisher = {ACM},
  year      = {2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote

• Hal Berghel:
  A decade of applied computing. 1-5
  Electronic Edition (ACM DL) BibTeX

AI and Computational Logic - 1

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

AI and Computational Logic - 2

• Masayuki Okabe, Seiji Yamada:
  Interactive document retrieval with relational learning. 27-31
  Electronic Edition (ACM DL) BibTeX
• Matee Serearuno, Tony Holden:
  A comparison in training time of the single and multiple-output MLP neural networks. 32-35
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Bioinformatics - 1

• Igor V. Grigoriev:
  Computational structural genomics: identifying protein targets for structural studies. 41-45
  Electronic Edition (ACM DL) BibTeX
• Lusheng Wang, Kaizhong Zhang, Louxin Zhang:
  Perfect phylogenetic networks with recombination. 46-50
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

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
  Electronic Edition (ACM DL) BibTeX
• Jonathan H. Badger, Paul E. Kearney:
  Picking fruit from the tree of life: comments on taxonomic sampling and quartet methods. 61-67
  Electronic Edition (ACM DL) BibTeX

Computational Sciences

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

Computer Uses in Education

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

Coordination Models, Languages and Applications - 1

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

Coordination Models, Languages and Applications - 2

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

Coordination Models, Languages and Applications - 3

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

Coordination Models, Languages and Applications - 4

• Dennis Heimbigner:
  Adapting publish/subscribe middleware to achieve Gnutella-like functionality. 176-181
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Ronaldo Menezes:
  Experience with memory management in open Linda systems. 187-196
  Electronic Edition (ACM DL) BibTeX

Database Technology - 1

• Martin Staudt, Jörg-Uwe Kietz, Ulrich Reimer:
  Access to heterogeneous data sources for supporting business process execution. 197-206
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Muhammad Abaidullah Anwar, Takaichi Yoshida:
  Integrating OO road network database, cases and knowledge for route finding. 215-219
  Electronic Edition (ACM DL) BibTeX

Database Technology - 2

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

Database Technology - 3

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

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
  Electronic Edition (ACM DL) BibTeX
• Sara Comai:
  Graph-based GUIs for querying XML data: the XML-GL experience. 269-274
  Electronic Edition (ACM DL) BibTeX
• Hasan M. Jamil:
  A case for parameterized views and relational unification. 275-279
  Electronic Edition (ACM DL) BibTeX
• Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier:
  Integration of the viewpoint mechanism in federated databases. 280-284
  Electronic Edition (ACM DL) BibTeX

Database Technology - 5

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

Digital Audio and Video

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

Evolutionary Computation and Optimization - 1

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

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
  Electronic Edition (ACM DL) BibTeX
• Gerry V. Dozier:
  Evolving robot behavior via interactive evolutionary computation: from real-world to simulation. 340-344
  Electronic Edition (ACM DL) BibTeX
• Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
  Evolving effective CA/CSTP: BIST architectures for sequential circuits. 345-350
  Electronic Edition (ACM DL) BibTeX

Evolutionary Computation and Optimization - 3

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

Mobile Computing Systems and Applications - 1

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

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
  Electronic Edition (ACM DL) BibTeX
• Legand L. Burge III, Suleiman Baajun, Moses Garuba:
  A ubiquitous stable storage for mobile computing devices. 401-404
  Electronic Edition (ACM DL) BibTeX
• Nathan N. Vuong, Geoffrey Smith, Yi Deng:
  Managing security policies in a distributed environment using eXtensible markup language (XML). 405-411
  Electronic Edition (ACM DL) BibTeX

Mobile Computing Systems and Applications - 3

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

Multimedia and Visualization

• B. Sonah, Mabo Robert Ito:
  Considering video characteristics for improved cache performance in VOD systems. 429-433
  Electronic Edition (ACM DL) BibTeX
• Chaman L. Sabharwal, S. R. Subramanya:
  Indexing image databases using wavelet and discrete fourier transform. 434-439
  Electronic Edition (ACM DL) BibTeX
• Tadashi Nakano, Kaname Harumoto, Shinji Shimojo, Shojiro Nishio:
  Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxy. 440-445
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Neuro-Fuzzy Applications - 1

• Athanasios V. Vasilakos, Kostas G. Anagnostakis, Witold Pedrycz:
  Application of computational intelligence techniques in active networks. 448-455
  Electronic Edition (ACM DL) BibTeX
• Giuseppe Ascia, Vincenzo Catania, Daniela Panno:
  An adaptive fuzzy threshold scheme for high performance shared-memory switches. 456-461
  Electronic Edition (ACM DL) BibTeX
• Stefania Bandini, Sara Manzoni:
  Application of fuzzy indexing and retrieval in case based reasoning for design. 462-466
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Neuro-Fuzzy Applications - 2

• Patrick Bosc, Ludovic Lietard, Olivier Pivert:
  A function-based join for the manipulation of possibilistic relations. 472-476
  Electronic Edition (ACM DL) BibTeX
• Vincenzo Loia, Paolo Luongo:
  Genetic-based fuzzy clustering for automatic Web document categorization. 477-478
  Electronic Edition (ACM DL) BibTeX
• Giovanni Mastroleo, Gisella Facchinetti, Carlo Alberto Magni:
  A proposal for modeling real options through fuzzy expert system. 479-481
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Parallel and Distributed Computing - 1

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

Parallel and Distributed Computing - 2

• Etsuko Yajima, Takahiro Hara, Masahiko Tsukamoto, Shojiro Nishio:
  Scheduling and caching strategies for broadcasting correlated data. 504-510
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Sam R. Thangiah, Olena Shmygelska, William Mennell:
  An agent architecture for vehicle routing problems. 517-521
  Electronic Edition (ACM DL) BibTeX

Parallel and Distributed Computing - 3

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

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
  Electronic Edition (ACM DL) BibTeX
• Daniel M. Pressel:
  Fundamental limitations on the use of prefetching and stream buffers for scientific applications. 554-559
  Electronic Edition (ACM DL) BibTeX
• Claudia Leopold:
  Exploiting non-uniform reuse for cache optimization. 560-564
  Electronic Edition (ACM DL) BibTeX

Programming Languages - 1

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

Programming Languages - 2

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

Programming Languages - 3

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

Programming Languages - 4

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

Software Engineering and Management - 1

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

Software Engineering and Management - 2

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

• Gian Luigi Ferrari, Emilio Tuosto:
  A debugging calculus for mobile ambients.
  Electronic Edition (ACM DL) BibTeX