default search action
16th SAC 2001: Las Vegas, Nevada, USA
- Gary B. Lamont:
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. ACM 2001, ISBN 1-58113-287-5
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
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
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
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
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
Dynamic coordination architecture through the use of reflection. 134-140 - Nelson S. Rosa, George R. Ribeiro-Justo, Paulo R. F. Cunha:
A framework for building non-functional software architectures. 141-147 - Manuel Díaz
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
Coordinating interaction patterns. 159-165 - Mirko Viroli, Gianluca Moro
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
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
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
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
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
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
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
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
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 S. 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
Extending hypertext streaming protocol to realize effective web page transmission via a chaching proxy. 440-445 - Fabio Asturian Zanin, Lisandro Zambenedetti Granville
ADAPT - a low-cost videoconference model for personal computers running on IP networks. 446-447
Neuro-Fuzzy Applications - 1
- Athanasios V. Vasilakos
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 Liétard, 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
A proposal for modeling real options through fuzzy expert system. 479-481 - Wei Xiang, Sai Cheong Fok
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
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-Soon 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, George 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
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
A debugging calculus for mobile ambients.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: