18742334
Arithmetic Constant-Depth Circuit Complexity Classes
The boolean circuit complexity classes AC 0 ⊆ AC 0[m] ⊆ TC 0 ⊆ NC 1 have been studied intensely. Other than NC 1, they are defined by constant-depth circuits of polynomial size and unbounded fan-in over some set of allowed gates. One reason for interest in these classes is that they contain the boundary marking the limits of current lower bound technology: such technology exists for AC 0 and some of the classes AC 0[m], while the other classes AC 0[m] as well as TC 0 lack such technology.
3576
Collapsibility and Consistency in Quantified Constraint Satisfaction
The concept of consistency has pervaded studies of the constraint satisfiction problem. We introduce two concepts, which are inspired by consistency, for the more general framework of the quantified constraint satisfaction problem (QCSP). We use these concepts to derive, in a uniform fashion, proofs of polynomial-time tractability and corresponding algorithms for certain cases of the QCSP where the types of allowed relations are restricted. We not only unify existing tractability results and algorithms, but also identify new classes of tractable QCSPs.
3121075
Parameterized Compilability
Compilability is a measure of how effectively compilation (or preprocessing) can be applied to knowledge bases specified in a particular knowledge representation formalism; the aim of compilation is to allow for efficient, on-line query processing. A theory of compilability has been established for organizing knowledge representation formalisms according to a scheme of "compilability classes", and bears strong analogies to the classical theory of complexity, which permits the organization of computational problems according to complexity classes. We develop a novel theory of compilability, called parameterized compilability, which incorporates the notion of parameterization as used in parameterized complexity and permits for refined analysis of compilability.
10922325
Quantified Constraint Satisfaction and Bounded Treewidth
Because the constraint satisfaction problem (CSP) is in general intractable, restricted cases of the CSP that are polynomial-time tractable have been heavily sought after. One class of restrictions that has been studied are variable-based restrictions, which concern the interaction among variables. In this paper, we consider the quantified constraint satisfaction problem (QCSP), a framework more general than the CSP. We present a QCSP tractability result arising from variable-based restrictions by giving a polynomial time algorithm for certain classes of QCSP instances having bounded treewidth.
9351295
Looking Algebraically at Tractable Quantified Boolean Formulas
We make use of the algebraic theory that has been used to study the complexity of constraint satisfaction problems, to investigate tractable quantified boolean formulas. We present a pair of results: the first is a new and simple algebraic proof of the tractability of quantified 2-satisfiability; the second is a purely algebraic characterization of models for quantified Horn formulas that were given by Kleine Buning, Subramani, and Zhao, and described proof-theoretically.
958592
Inverse Circumscription
Inverse (or identification) problems involve deciding whether or not an explicitly given set of data points have an implicit description, for instance, in the form of a constraint network. Such problems provide insight into the relationships among various representations of knowledge, which may have differing computational properties. This paper formalizes and studies the inverse circumscription problem, which (roughly speaking) is to decide, given a set of models, if there exists a formula whose circumscription describes the input set.
10299300
On the development of a fully automated cryosection image registration system
The CCD cryosection images for the male collected in the National Library of Medicine's Visible Human Project were registered through a procedure involving significant human intervention. In addition, several large misalignments were visible in the registered CCD data for the male. To expedite the exploitation of the visible human cryosection data sets, there is a need to develop a highly accurate yet efficient image registration tool. In this paper, we present the current status of the development of such a fully automated registration system. This system is based on the maximization of mutual information criterion. One key issue of this approach is a robust optimization scheme. The method developed in this paper is to estimate the initial search point through segmentations of regions of interest for each cryosection image slice. Experimental results using the 70 mm cryosection image data for the male are presented in this paper.
33677672
A Study of Hybrid Neural Network Approaches and the Effects of Missing Data on Traffic Forecasting
In this paper we present an application of hybrid neural network approaches and an assessment of the effects of missing data on motorway traffic flow forecasting. Two hybrid approaches are developed using a Self-Organising Map (SOM) to initially classify traffic into different states. The first hybrid approach includes four Auto-Regressive Integrated Moving Average (ARIMA) models, whilst the second uses two Multi-Layer Perception (MLP) models. It was found that the SOM/ARIMA hybrid approach out-performs all individual ARIMA models, whilst the SOM/MLP hybrid approach achieves superior forecasting performance to all models used in this study, including three naïve models. The effects of different proportions of missing data on Neural Network (NN) performance when forecasting traffic flow are assessed and several initial substitution options to replace missing data are discussed. Over-all, it is shown that ARIMA models are more sensitive to the percentage of missing data than neural networks in this context.
32552978
A Knowledge-Based Design for Hypertext-Based Document Retrieval Systems
This paper presents some aspects of an ongoing research that. aims at incorporating knowledge-based search mechanisms into hypertext-based document retrieval systems. We propose an information structure that is grounded on a semantic network-based thesaurus. It serves to represent the documents and concepts (terms) involved in information retrieval. The second important component of our design is heuristics-based search mechanisms that were derived from our prior cognitive modeling study (which investigated the search strategies of expert searchers). By incorporating these components into a navigation-based hypertext, we attempt to create a system that facilitates effective and efficient information retrieval in a complex retrieval environment.
40658861
Submesh Determination in Faulty Tori and Meshes
Torus/mesh-based machines have received increasing attention. It is natural to identify the maximum healthy submeshes in a faulty torus/mesh so as to lower potential performance degradation, because the time for executing a parallel algorithm tends to depend on the size of the assigned submesh. This paper proposes an efficient approach for identifying all the maximum healthy submeshes present in a faulty torus/mesh. The proposed approach is based on manipulating set expressions, with the search space reduced considerably by taking advantage of the interesting properties of a faulty torus/mesh. This procedure is a distributed one, because every healthy node performs the same procedure independently and concurrently. We show that the proposed scheme may outperform previous methods.
16963632
Agents Making Sense of the Semantic Web
Effective use of the vast quantity of available information and services on the Internet will require multi-agent systems to be tightly integrated with existing web infrastructure. This however will be impossible unless the information on the web is presented in a semantic language, such as the DARPA Agent Markup Language (DAML), which is one aim of the “Semantic Web”. As part of our exploration of Semantic Web technology, and DAML in particular, we have constructed ITTALKS, a web-based system for automatic and intelligent notification of information technology talks. In this paper, we describe the ITTALKS system, and discuss the numerous ways in which the use of Semantic Web concepts and DAML extend its ability to provide an intelligent online service to both the human community and, more interestingly, the agents assisting them.