By Topic

Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence

3-5 Nov. 2003

Filter Results

Displaying Results 1 - 25 of 91
  • Domain ontology and Galois lattice structure for query refinement

    Publication Year: 2003, Page(s):597 - 601
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (309 KB) | HTML iconHTML

    We present a system for interactively querying a topical resources repository and for navigating the set of responses obtained from the repository. Our system makes use of a domain ontology for dynamically constructing a Gallois lattice. Nodes in this structure are resources clusters which are interactively examined by the user during the construction process. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Equuleus: presentation from legacy documents

    Publication Year: 2003, Page(s):589 - 596
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    We are investigating computational models for human-computer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work called Equuleus, a system for interactive, adaptive, document presentation. Equuleus achieves this by using annotated descriptions of a document to be presented and a planner to plan the document's presentation. All present... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DOSE: a distributed open semantic elaboration platform

    Publication Year: 2003, Page(s):580 - 588
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (463 KB) | HTML iconHTML

    The paper proposes a distributed open semantic elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities and search functions. The platform is implemented as a distributed set of services including: semantic annotations for document substructures (e.g. chapters, sections, paragraphs), an external annotation repository (based o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparative study of techniques for intrusion detection

    Publication Year: 2003, Page(s):570 - 577
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (287 KB) | HTML iconHTML

    Due to increasing incidents of cyber attacks and heightened concerns for cyber terrorism, implementing effective intrusion detection systems (IDSs) is an essential task for protecting cyber security--as well as physical security because of the great dependence on networked computers for the operational control of various infrastructures. Building effective IDSs, unfortunately, has remained an elus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Discovering clusters in gene expression data using evolutionary approach

    Publication Year: 2003, Page(s):459 - 466
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (255 KB) | HTML iconHTML

    The combined interpretation of gene expression data and gene sequences offers a valuable approach to investigate the intricate relationships involving gene transcriptional regulation. The highly interactive expression data produced by microarray hybridization experiments allow us to find the clusters of coexpressed genes. By analyzing the upstream regions of the identified coexpressed genes, we ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving nogood recording using 2SAT

    Publication Year: 2003, Page(s):94 - 99
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (301 KB) | HTML iconHTML

    Nogood recording is a dynamic learning technique widely applied to solve CSP (constraint satisfaction problems). It is highly effective in reducing the search space for SAT (satisfiability) problems. While SAT is NP-complete, the problem restricted to binary clauses (2SAT) is solvable in linear time. We can improve SAT solving by incorporating 2SAT solving techniques. In this paper we investigate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A novel bag generator for image database retrieval with multi-instance learning techniques

    Publication Year: 2003, Page(s):565 - 569
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (315 KB) | HTML iconHTML

    In multi-instance learning, the training examples are bags composed of instances without labels and the task is to predict the labels of unseen bags through analyzing the training bags with known labels. In content-based image retrieval (CBIR), the query is ambiguous because it is hard to ask the user precisely specify what he or she wants. Such kind of ambiguity can be gracefully dealt with by mu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparative study of feature selection methods for probabilistic neural networks in cancer classification

    Publication Year: 2003, Page(s):451 - 458
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB) | HTML iconHTML

    Accurate diagnosis and classification is the key issue for the optimal treatment of cancer patients. Several studies demonstrate that cancer classification can be estimated with high accuracy, sensitivity and specificity from microarray-based gene expression profiling using artificial neural networks. In this paper, a comprehensive study was undertaken to investigate the capability of the probabil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MFSAT: a SAT solver using multi-flip local search

    Publication Year: 2003, Page(s):84 - 93
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (365 KB) | HTML iconHTML

    Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping the value of only one variable. Simultaneously flipping values of multiple variables on an iteration can allow a local search-based solver to take long leaps in the search space. We report on SAT solver MFSAT, which has nine... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classification of Web documents using a naive Bayes method

    Publication Year: 2003, Page(s):560 - 564
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (235 KB) | HTML iconHTML

    This paper presents an automatic document classification system, WebDoc, which classifies Web documents according to the Library of Congress classification scheme. WebDoc constructs a knowledge base from the training data and then classifies the documents based on information in the knowledge base. One of the classification algorithms used in WebDoc is based on Bayes' theorem from probability theo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interpreting historical ICU data using associational and temporal reasoning

    Publication Year: 2003, Page(s):442 - 450
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB) | HTML iconHTML

    Medical staff in the Intensive Care Unit (ICU) are confronted with large volumes of continuous data from several physiological sources which require interpretation. The ASSOCIATE system analyses historical data for summarisation and patient state assessment. It uses a temporal expert system based on associational reasoning and applies three consecutive processes: filtering, which is used to remove... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ontology-based medical image annotation with description logics

    Publication Year: 2003, Page(s):77 - 82
    Cited by:  Papers (9)  |  Patents (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (386 KB) | HTML iconHTML

    The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally expressed data require human intervention to ascertain its relevance in any specific case. In order to facilitate machine-based reasoning about the evidence gathered, additional interpretive semantics must be attached to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Learning refinements on curve-strokes

    Publication Year: 2003, Page(s):306 - 315
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (437 KB) | HTML iconHTML

    We present a system to beautify curves: i.e. to take curves that roughly depict some property of interest and make them look more like what experts would draw. The focus of our work is in applications for artistic drawings, but our system can also be applied to various other domains where curves and trajectories play a dominant role such as robot path planning, animation or edge-deblurring. Our ap... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Query expansion and query reduction in document retrieval

    Publication Year: 2003, Page(s):552 - 559
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB) | HTML iconHTML

    We investigate two seemingly incompatible approaches for improving document retrieval performance in the context of question answering: query expansion and query reduction. Queries are expanded by generating lexical paraphrases. Syntactic, semantic and corpus-based frequency information is used in this process. Queries are reduced by removing words that may detract from retrieval performance. Feat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two-layer protein structure comparison

    Publication Year: 2003, Page(s):435 - 440
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2117 KB) | HTML iconHTML

    Extracting biological importance from protein structures is extremely helpful to understand the molecular nature. Although methods for protein structure-based alignment have been hitherto proposed in a number of ways, each method focuses on a part of alignment possibility. We have developed a generic method for pair wise structure-based alignment utilizing the population search ability of a real-c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semantic biological image management and analysis

    Publication Year: 2003, Page(s):69 - 76
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (511 KB) | HTML iconHTML

    Most commercially available image retrieval systems are so generic that they are not specialized to handle biological images and the feature domains associated with them. In molecular biology, neurobiology and cellular biology, for example, the recognition, classification and retrieval of distinct cellular features is a critically needed tool representing a computational problem that embodies the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • S-MEP: a planner for numeric goals

    Publication Year: 2003, Page(s):274 - 283
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (342 KB) | HTML iconHTML

    Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems containing numeric goal expressions. We report on planner S-MEP (sequential more expressive planner) in this paper. S-MEP handles non-linear as well as linear expressions in preconditions, effects and goal. Metric-FF hand... View full abstract»

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

    Publication Year: 2003, Page(s):522 - 529
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (263 KB) | HTML iconHTML

    Traditional classification rules are in the form of production rules. Recent works in hybrid classification algorithms have proposed the generation of contextual rules, whereby the right-hand side of the production rule is replaced by a classifier, to achieve higher accuracy. In this work, we present a framework to further generalize classification rules such that the left-hand side of a productio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Discriminative parameter learning of general Bayesian network classifiers

    Publication Year: 2003, Page(s):296 - 305
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (311 KB) | HTML iconHTML

    Greiner and Zhou (1988) presented ELR, a discriminative parameter-learning algorithm that maximizes conditional likelihood (CL) for a fixed Bayesian belief network (BN) structure, and demonstrated that it often produces classifiers that are more accurate than the ones produced using the generative approach (OFE), which finds maximal likelihood parameters. This is especially true when learning para... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Addressing the ramification problem in temporal context: the case of concurrent actions

    Publication Year: 2003, Page(s):545 - 549
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (359 KB) | HTML iconHTML

    The ramification problem is a hard and ever present problem in systems exhibiting a dynamic behavior. The area of temporal databases in particular is still lacking satisfactory solutions to the ramification problem. In this paper, we address the problem for the concurrent execution of both instantaneous actions and actions with duration. The proposed solution advances previous work by considering ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sweep A: space-efficient heuristic search in partially ordered graphs

    Publication Year: 2003, Page(s):427 - 434
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (305 KB) | HTML iconHTML

    We describe a novel heuristic search algorithm, called Sweep A*, that exploits the regular structure of partially ordered graphs to substantially reduce the memory requirements of search. We show that it outperforms previous search algorithms in optimally aligning multiple protein or DNA sequences, an important problem in bioinformatics. Sweep A* also promises to be effective for other search prob... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive modeling of biochemical pathways

    Publication Year: 2003, Page(s):62 - 68
    Cited by:  Papers (4)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (362 KB) | HTML iconHTML

    In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the available data. Here, the approach of systematically learning the parameters is necessary. In this paper, for the small, important example of inflammation modeling a network is constructed and different learning algorith... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Partitioning of temporal planning problems in mixed space using the theory of extended saddle points

    Publication Year: 2003, Page(s):266 - 273
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (335 KB) | HTML iconHTML

    We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subproblems, and propose algorithms for resolving unsatisfied global constraints. The algorithms are based on the necessary and sufficient extended saddle-point condition for constrained local minimization developed in this pa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Learning name pronunciations in automatic speech recognition systems

    Publication Year: 2003, Page(s):233 - 240
    Cited by:  Papers (6)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (325 KB) | HTML iconHTML

    Many speech recognition systems that provide over-the phone services, e.g. name dialers, stock quote providers, location finders, rely on the accurate recognition of proper names. For this to happen, the systems need to know how their users will pronounce these words. However, predicting the pronunciation of a proper name is a notoriously difficult problem as it depends on the origin of the name, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-modal function optimization problem for evolutionary algorithm

    Publication Year: 2003, Page(s):157 - 160
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (209 KB) | HTML iconHTML

    In this paper, a new algorithm for solving multimodal function optimization problems - two-level subspace evolutionary algorithm is proposed. In the first level, the improved GT algorithm is used to do global recombination search so that the whole population can be separated into several niches according to the position of solutions; then, in the second level, the niche evolutionary strategy is us... View full abstract»

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