Proceedings 11th International Conference on Tools with Artificial Intelligence

9-11 Nov. 1999

Filter Results

Displaying Results 1 - 25 of 66
  • Proceedings 11th International Conference on Tools with Artificial Intelligence

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (92 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 1999, Page(s):v - xi
    Request permission for commercial reuse | PDF file iconPDF (204 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s): 445
    Request permission for commercial reuse | PDF file iconPDF (19 KB)
    Freely Available from IEEE
  • Mining typhoon knowledge with neural networks

    Publication Year: 1999, Page(s):325 - 326
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (24 KB)

    Neural network technology has not been fully utilised in data mining. There are two reasons for this. Firstly, most neural algorithms need long-term training, and cannot perform incremental learning. Secondly, the knowledge learned by neural networks is concealed within a large quantity of connections. We have develop a neural network method to mine typhoon knowledge which overcomes those two obst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VERITAS-an application for knowledge verification

    Publication Year: 1999, Page(s):441 - 444
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    Knowledge management is one of the most important goals of any organization. Therefore, several automatic tools are used for that purpose, e.g. Knowledge Based Systems (KBS), Experts Systems, Data Mining Applications and Computer Aided Decision Systems. The validation and verification (V&V) process is fundamental in order to ensure the quality of used knowledge. The usage of automatic verifica... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generic task strategy for solving routine decision making problems

    Publication Year: 1999, Page(s):319 - 322
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (32 KB)

    An algorithm to solve routine decision making problems is presented here. This algorithm combines plan-step generation to find actions that can be applied to solve the particular problem, plan-step assessment to evaluate how useful each action is within the context of the given problem, and plan-step assembly to select and sequence the best actions. These processes can themselves be implemented us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Removing node and edge overlapping in graph layouts by a modified EGENET solver

    Publication Year: 1999, Page(s):218 - 223
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    Graph layout problems, such as node and edge overlapping, occur widely in many industrial computer-aided design applications. Usually, these problems are handled in an ad-hoc manner by some specially designed algorithms. GENET and its extended model EGENET are local search models that are used to efficiently solve constraint satisfaction problems such as the car-sequencing problems. Both models us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the sufficiency of limited testing for knowledge based systems

    Publication Year: 1999, Page(s):431 - 440
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (172 KB)

    Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration missions. Yet, if one is concerned with the reliability of knowledge based systems, studies indicate significant disagreement regarding the amount of testing needed for system assessment. The sizes of standard black-box tes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic scheduling benchmark: design, implementation and performance evaluation

    Publication Year: 1999, Page(s):311 - 318
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    Puzzles have traditionally been used as popular benchmarks for evaluating different problem solving strategies. Many of the game benchmarks are suitable for evaluating static scheduling techniques. In such benchmarks, the scheduling phase and the execution phase (i.e. when the schedule is executed to play the game) are disjoint. The scheduling technique can be executed to compute a complete schedu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Augmented transition networks as video browsing models for multimedia databases and multimedia information systems

    Publication Year: 1999, Page(s):175 - 182
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    In an interactive multimedia information system, users should have the flexibility to browse and choose various scenarios they want to see. This means that two-way communications should be captured by the conceptual model. Digital video has gained increasing popularity in many multimedia applications. Instead of sequential access to the video contents, the structuring and modeling of video data so... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An unsupervised collaborative learning method to refine classification hierarchies

    Publication Year: 1999, Page(s):263 - 270
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB)

    This article deals with the design of a hybrid learning system. This system integrates different kinds of unsupervised learning methods and gives a set of class hierarchies as the result. The classes in these hierarchies are very similar. The method occurrences compare their results and automatically refine them to try to make them converge towards a unique hierarchy that unifies all the results. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Solving hard satisfiability problems: a unified algorithm based on discrete Lagrange multipliers

    Publication Year: 1999, Page(s):210 - 217
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    Presents improved strategies in DLM-99-SAT (Discrete Lagrange Multipliers 1999, Satisfiability) to escape from traps and to select proper parameter sets to use when applied to solve some difficult but satisfiable SAT problems. One of the main issues in DLM-99-SAT is that it has a large number of tunable parameters, making it difficult to determine the best parameters to use when given a new instan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new GA approach for the vehicle routing problem

    Publication Year: 1999, Page(s):307 - 310
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    This paper focuses on the study of a hybrid of two search heuristics, tabu search (TS) and genetic algorithms (GA) in the vehicle routing problem with time-windows (VRPTW). TS is a local search technique that has been successfully applied to many NP-complete problems. On the other hand, a GA which is capable of searching multiple search areas in a search space is good for diversification. We inves... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Learning to identify interesting links in intelligent information discovery

    Publication Year: 1999, Page(s):410 - 413
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    In the age of information overload intelligent agents have proven themselves as a very useful tool for discovering information of interest on the Web. The information seeking process may be either static, by utilizing existing search engines or using collaborative techniques, or dynamic, by actively browsing the Web. In the second case, agents need to evaluate encountered hyperlinks and choose the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Query reification based approach for object-oriented query formulation aid

    Publication Year: 1999, Page(s):349 - 356
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    We propose an approach facilitating query formulation for users sharing a common database. Our approach is based on two considerations. On the one hand, query formulation can be considered as a skill which can be shared entirely or partly between users. Accordingly we propose a model for storing and making available this skill to help users formulate their new queries. On the other hand we base ou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge representation and reasoning support for modeling and querying video data

    Publication Year: 1999, Page(s):167 - 174
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    Describes a knowledge-based approach for modelling and retrieving video data. Selected objects of interest in a video sequence are described and stored in a database. This database forms the object layer. On top of this layer, we define the schema layer that is used to capture the structured abstractions of the objects stored in the object layer. We propose two abstract languages on the basis of d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A strong local consistency for constraint satisfaction

    Publication Year: 1999, Page(s):202 - 209
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    Filtering techniques are essential for efficient solution searching in a constraint network (CN). However, for a long time, it has been considered that to efficiently reduce the search space, the best choice is the limited local consistency achieved by forward checking. However, more recently, it has been shown that maintaining arc consistency (which is a more pruningful local consistency) during ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Overcoming the Christmas tree syndrome

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

    We propose a new computational approach to logic-based systems that should reason in a fast but logically sound and complete manner about large-scale complex critical devices and systems that can exhibit unexpected faulty behaviors. The approach is original from at least two points of view. First, it makes use of local search techniques while preserving logical deductive completeness. Second, it p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobile robotics planning using abstract Markov decision processes

    Publication Year: 1999, Page(s):299 - 306
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Markov decision processes have been successfully used in robotics for indoor robot navigation problems. They allow the computation of optimal sequences of actions in order to achieve a given goal, accounting for actuator uncertainties. However, MDPs are unsatisfactory at avoiding unknown obstacles. On the other hand, reactive navigators are particularly adapted to that, and don't need any prior kn... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new study on using HTML structures to improve retrieval

    Publication Year: 1999, Page(s):406 - 409
    Cited by:  Papers (8)  |  Patents (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Locating useful information effectively form the World Wide Web (WWW) is of wide interest. This paper presents new results on a methodology of using the structures and hyperlinks of HTML documents to improve the effectiveness of retrieving HTML documents. This methodology partitions the occurrences of terms in a document collection into classes according to the tags in which a particular term appe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On a deductive reasoning model and method for uncertainty

    Publication Year: 1999, Page(s):161 - 164
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    Discusses a problem of deduction with uncertainty that has been dealt with by various diagnostic expert systems. First, we propose a mathematical framework of deductive reasoning with uncertainty. The subject of the reasoning is the calculation of conditional probabilities. Second, we establish a new reasoning method. Our deduction algorithm can compute the conditional probabilities precisely. To ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An agent-based approach to developing intelligent virtual reality-based training systems

    Publication Year: 1999, Page(s):253 - 260
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (132 KB)

    This paper presents an agent-based approach to developing intelligent virtual reality-based training systems. The architecture of an intelligent virtual reality-based training system is modeled as five collaborative agents: training task-planning agent, simulation agent, performance evaluation agent, on-line instruction agent, and intelligent interface agent. The behavioral and knowledge models of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Face detection and its applications in intelligent and focused image retrieval

    Publication Year: 1999, Page(s):121 - 128
    Cited by:  Papers (2)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    This paper presents a face detection technique and its applications in image retrieval. Even though this face detection method has relatively high false positives and a low detection rate (as compared with the dedicated face detection systems in the literature of image understanding), because of its simple and fast nature, it has been shown that this system may be well applied in image retrieval i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fast and efficient searching of multimedia databases using holographic memory

    Publication Year: 1999, Page(s):365 - 372
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    With the ever-expanding size of multimedia databases it is important to seek new technologies that improve the performance of systems that manage these databases. One such technology is holographic memory which has some very interesting attributes such as massive parallelism, high speed, and content searching. A volume holographic database system (VHDS) serves as a building block for a postulated ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the fine structure of large search spaces

    Publication Year: 1999, Page(s):197 - 201
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB)

    Recently, there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, often outperform deterministic strategies. In this paper, we relate the performance of randomized methods to the geometric properties of the underlying search space. In particular, our study reveals the inherent fractal n... View full abstract»

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