By Topic

Computer Science Society, 2000. SCCC '00. Proceedings. XX International Conference of the Chilean

Date 16-18 Nov. 2000

Filter Results

Displaying Results 1 - 25 of 28
  • Proceedings 20th International Conference of the Chilean Computer Science Society

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (346 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 215
    Request permission for commercial reuse | PDF file iconPDF (50 KB)
    Freely Available from IEEE
  • A paraconsistent system of autonomous agents for Brazilian bank check treatment

    Publication Year: 2000, Page(s):89 - 98
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    This work is part of the Multicheck Project that defines the architecture of autonomous agents for the automatic treatment of handwritten Brazilian bank checks. The competence of these agents is implemented in two layers. The first corresponds to pattern recognition algorithms directly applied to image segments. The second one corresponds to reasoning mechanisms applied to the information from the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The cooperative system for information retrieval

    Publication Year: 2000, Page(s):199 - 209
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    We describe our information retrieval system which allows a convivial access to databases. It is based on a multi-expert architecture using a database management system and a blackboard to control the progressive analysis of the user's sentence. We have integrated a numerical method based on fuzzy rules to deal with uncertainty. This method is used to optimize the analysis process and the cooperat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperative learning on autonomous agents acquiring common language for action and perception

    Publication Year: 2000, Page(s):83 - 88
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    In order to perform shared tasks, all the participants in a multi-agent system (MAS) must agree common meanings for their perceptions and actions. Therefore, the basic communication and cooperation must be handled in a different way, mainly because the agents are autonomous components who sometimes make their own decisions. Keeping this in mind, a model for language acquisition and learning based ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a system for image registration and compensation based on spectral analysis

    Publication Year: 2000, Page(s):191 - 198
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    Estimation of the values of the parameters of affine transformations are crucial in dealing with the compensation problem in image acquisition and image registration. We investigate these problems using spectral, Fourier and complex analysis. We furthermore introduce some new techniques for obtaining spectral transformations and computing of the so-called crosspower spectrum of an image, allowing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comprehensive specification of distributed systems using I5 and IOA

    Publication Year: 2000, Page(s):74 - 82
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (660 KB)

    Low level difficulties in the development of distributed systems that are due to non-standard communication protocols and incompatible components or platforms have largely been solved through standardization and commoditization of protocols and platforms. Distributed systems are being designed at higher levels of sophistication these days, and having an expressive yet usable specification language... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed object engine construction

    Publication Year: 2000, Page(s):183 - 190
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    Although several object-oriented distributed systems development tools exist, there is little, if no offer of solutions that homogeneously integrate all aspects of a distributed system. This article describes a toolkit that aims at supporting the construction and the execution of distributed systems. The tools are defined according to an architecture that fully complies with object-oriented princi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying the SCR method in software requirements specifications

    Publication Year: 2000, Page(s):135 - 143
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    This article focuses on the SCR (Software Cost Reduction) method for requirements specification of real-time, process-control systems. It describes a case study on the application of the method in the requirements specification of a liquid mixture system. The main stages of the method utilization are illustrated and the advantages and difficulties identified are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutionary approaches with multirecombination for the parallel machine scheduling problem

    Publication Year: 2000, Page(s):1 - 6
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    Parallel machine scheduling, also known as parallel task scheduling, involves the assignment of multiple tasks onto the system architecture's processing components (a bank of machines in parallel). Parallel machine scheduling is important from both the theoretical and practical points of view. From the theoretical viewpoint, it is a generalization of the single machine scheduling problem. From the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Haar-like wavelets defined over tetrahedrical grids

    Publication Year: 2000, Page(s):117 - 125
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    We systematically define Haar-like wavelets over a tetrahedral grid which is generated by a regular subdivision method. These wavelets form an unconditional basis for LP(T,Σ,μ), 1<p<∞, μ being the Lebesgue measure and Σ the σ-algebra of all tetrahedra generated from a tetrahedron T by the chosen subdivision method View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolving a legacy data warehouse system to an object-oriented architecture

    Publication Year: 2000, Page(s):32 - 40
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    We introduce an object-oriented approach to transform a star-schema of a legacy data warehouse system into a Dimensional Object Model (DOM) (Firestone, 1998), in order to take advantage of the flexibility of the object paradigm. We have applied the Object-Oriented Software Engineering (OOSE) process, proposed by (Jacobson et al., 1992), to describe the life cycle of a data warehouse and to clarify... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing an implementation of a temporal logic language

    Publication Year: 2000, Page(s):68 - 73
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    Axiomatic presentations contain a great deal of information that can be used in the testing of an implementation. We describe how we tested an implementation of a temporal logical system, specifically an implementation of an extension (Cobo and Augusto, 1998) of the language Temporal Prolog (Gabbay, 1987). However, this testing approach generalizes to any system specified using a Hilbert model (i.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Network programming internals of the Dillo Web browser

    Publication Year: 2000, Page(s):178 - 182
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (344 KB)

    Network programs face several delay sources when sending or retrieving data. This is particularly problematic in programs which interact directly with the user, most notably Web browsers. We present a hybrid approach using threads and signal driven I/O, which allows a non-blocking main thread and overlapping waiting times View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic associative semantic model for natural language processing based on a spreading activation network

    Publication Year: 2000, Page(s):99 - 108
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    This paper presents a semantic model based on well-known psycholinguistic theories of human memory. It is centered on a spreading activation network, but it departs from classical models by representing associations between structured units instead of atomic nodes. Network units have an activity level that evolves according to their expected contextual relevance. Spreading activation explains the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectures for distributed information systems supporting environmental simulation

    Publication Year: 2000, Page(s):210 - 214
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    Different distributed environmental simulation systems are presented. They take advantage of the possibilities of modern network technologies to gather input data, perform simulation and spread the simulation results. The term `distributed' applies in this context both to the simulation, which is a parallel (distributed) simulation on computer networks, and to the fact, that all components (pre- a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Graph library design

    Publication Year: 2000, Page(s):144 - 151
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    We present an object oriented design for graph libraries that implements a dynamic typing of graphs. With this design, we can specify pre and post-conditions on graph algorithms, describe safe polymorphic algorithms on graphs and specify operations specific to types of graphs, while presenting performance and allowing extensibility View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiplicity and local search in evolutionary algorithms to build the Pareto front

    Publication Year: 2000, Page(s):7 - 13
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    In multicriteria optimization determination of the Pareto-optimal front is of utmost importance for decision making. Simultaneous parallel search for multiple members of an evolutionary algorithm can lead to effective optimization. In a previous approach (Esquivel et al., 1999) extending the ideas of a former work of (Lis and Eiben, 1997), we proposed the multi-sexual-parents-crossovers genetic al... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A measurement-based approach for implanting SQA and SCM practices

    Publication Year: 2000, Page(s):126 - 134
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    In recent years an increasing number of software organizations have launched initiatives to improve their software process. Unfortunately, most of them have been unable to move beyond diagnosis and action planning, turning those plans into real and practical actions. This paper focuses on two software process areas, software quality assurance (SQA) and software configuration management (SCM), and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building databases with information extracted from Web documents

    Publication Year: 2000, Page(s):41 - 49
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    We propose a mechanism to gather information about a user-specified domain from HTML documents and to store it in a local database. We also analyze how suitable this mechanism is for automatically propagating changes occurring in the structure of the user-specified domain as well as changes occurring in Web documents View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using focus of attention in classification

    Publication Year: 2000, Page(s):109 - 116
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (540 KB)

    The goal of a classifier is to accurately predict the value of a class given its context. Often the number of classes “competing” for each prediction is large. Therefore, it is necessary to “focus attention” on a smaller subset of these. We investigate the contribution of a “focus of attention” mechanism using enablers to the performance of a word predictor. We ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Capacities-centered integral software process formalization

    Publication Year: 2000, Page(s):152 - 161
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    We formalize an integral software process model which is applied to the construction of conventional systems (CS) and knowledge-based systems (KBS), centered in the capacities. The Capacities Centered Integral Software Process Model (CCISPM) is formalized through an object oriented approach. Aiming to automate the CCISPM, the formalization of the process dynamic aspects is begun. In this context, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A genetic classifier tool

    Publication Year: 2000, Page(s):14 - 23
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    Knowledge discovery is the most desirable end product of an enterprise information system. Research from different areas recognizes that a new generation of intelligent tools for automated data mining is needed to deal with large databases. In this sense, induction based learning systems have emerged as a promising approach. This paper describes an induction-based classifier tool. The tool employs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic virtual fragmentation method for query recovery optimization

    Publication Year: 2000, Page(s):50 - 57
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The time consumed during the execution of queries in a parallel and distributed environment is highly affected by the form in which the tables comprising a database have been fragmented. The classical methods of fragmentation in a distributed database system helps, to a great extent, to make the information retrieval faster and with smaller calculation efforts. This is particularly true for applic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integral software process formal model based on the SOCCA approach

    Publication Year: 2000, Page(s):162 - 171
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    In this article, a Capacity-Centered Integral Software Process Model (CCISPM) applicable to the construction of conventional systems (CS) and of knowledge-based systems (KBS) is described. The model designed is prescriptive, that is, it shows what is done to produce and to maintain an automated solution to a real word problem and who is doing it. It is formalized by applying the object-oriented mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.