41316192
Efficient Learning of Pseudo-Boolean Functions from Limited Training Data
Pseudo-Boolean functions are generalizations of Boolean functions. We present a new method for learning pseudo-Boolean functions from limited training data. The objective of learning is to obtain a function f which is a good approximation of the target function f*. We define suitable criteria for the “goodness” of an approximating function. One criterion is to choose a function f that minimizes the “expected distance” with respect to a distance function d (over pairs of pseudo-Boolean functions) and the uniform distribution over all feasible pseudo-Boolean functions. We define two alternative “distance measures” over pairs of pseudo-Boolean functions, and show that they are are actually equivalent with respect to the criterion of minimal expected distance. We outline efficient algorithms for learning pseudo-Boolean functions according to these criteria. Other reasonable distance measures and “goodness” criteria are also discussed.
14245135
Automatic Correlation and Calibration of Noisy Sensor Readings Using Elite Genetic Algorithms
This paper explores an image processing application of optimization techniques which entails interpreting noisy sensor data. The application is a generalization of image correlation; we attempt to find the optimal gruence which matches two overlapping gray scale images corrupted with noise. Both tabu search and genetic algorithms are used to find the parameters which match the two images. A genetic algorithm approach using an elitist reproduction scheme is found to provide significantly superior results.
27866706
A New Method of Circumscribing Beliefs: The Propositional Case
We propose here a new notion of a minimal model for forming circumscription in belief-logic by incorporating the notion of minimal models in the prepositional logic. This results in a new circumscription operation for belief-formulas than the one considered in [4-6]. An important feature of the new circumscription operation is its close relationship with the circumscription of prepositional formulas. For instance, we have CIRC[Bp] = B(CIRC[p]), where p is a prepositional formula. We give several examples to show that the new notion of circumscription fits quite well with intuition.
39684197
A sound and complete proof theory for the generalized logic of only knowing
We present a sound and complete proof theory for the generalized logic of only knowing (GOL). The GOL logic is a modal logic proposed recently (Chen 1997) as a unified logical framework for non-monotonic reasoning, which extends the logic of only knowing (OL) of Levesque (1990), and covers the important notion of epistemic specification (Gelfond 1991, Gelfond and Przymusinska 1993) which is very useful for knowledge representation. The OL logic has been shown to have close connections with Lifschitz's minimal belief and negation as failure (Lifschitz 1994) and various other major non-monotonic formalisms. The GOL logic is more general and powerful than OL. The completeness result for the GOL proof theory establishes the theoretical foundation for answering queries in epistemic theories. This work is restricted to the propositional case only.
9144862
Rules and fuzzy rules in text: concept, extraction and usage
Several concepts and techniques have been imported from other disciplines such as Machine Learning and Artificial Intelligence to the field of textual data. In this paper, we focus on the concept of rule and the management of uncertainty in text applications. The different structures considered for the construction of the rules, the extraction of the knowledge base and the applications and usage of these rules are detailed. We include a review of the most relevant works of the different types of rules based on their representation and their application to most of the common tasks of Information Retrieval such as categorization, indexing and classification.
30548729
A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief
Przymusinski proposed [11] AELB, the autoepistemic logic of knowledge and belief. The AELB logic is a very powerful and expressive formal system which isomorphically contains various major non-monotonic knowledge representation formalisms and major logic program semantics. Thus AELB can be used as a unifying framework for non-monotonic knowledge representation formalisms, which allows us to compare and better understand different formalizations of common-sense knowledge.
27587317
An executable specification language for specification understanding in object-oriented specification reuse
System analysis time can be reduced through specification reuse which, however, requires specification understanding. This paper presents an object-oriented executable specification language which reduces understanding time through executing specifications. In addition to being executable, the specification language hides as many classes as possible within subsystems, and explicitly specifies relationships between specification components. This facilitates specification modification. Moreover, the language explicitly specifies interface parameters of specification components. This facilitates specification composition.
2587881
Isomap Based on the Image Euclidean Distance
Scientists find that the human perception is based on the similarity on the manifold of data set. Isometric feature mapping (isomap) is one of the representative techniques of manifold. It is intuitive, well understood and produces reasonable mapping results. However, if the input data for manifold learning are corrupted with noises, the isomap algorithm is topologically unstable. In this paper, we present an improved manifold learning method when the input data are images - the image Euclidean distance based isomap (imisomap), in which we use a new distance for images called image Euclidean distance (IMED). Experimental results demonstrate a consistent performance improvement of the algorithm imisomap over the traditional isomap based on Euclidean distance
1250825
Enhancing Training Set for Face Detection
We present a novel method to enhance training set for face detection with nonlinearly generated examples from the original data. The motivation is from support vector machines (SVM) that, for classification problems, examples lying close to class boundary usually have more influence and thus are more informative than those far from the boundary. We utilize a nonlinear technique - reduced set (RS) method and a new image distance metric to generate new examples, and then add them to the original collected database to enhance it. Extensive experiments show that the proposed approach has an encouraging performance
193728
Feedback-based Scheduling for Back-end Databases in Shared Dynamic Content Server Clusters
This paper introduces a self-configuring architecture for scaling the database tier of dynamic content Web servers. We use a unified approach to load and fault management based on dynamic data replication and feedback-based scheduling. While replication provides scaling and high availability, feedback scheduling dynamically allocates tasks to commodity databases across workloads in response to peak loads or failure conditions thus providing quality of service. By augmenting the feedback loop with state awareness, we avoid oscillations in resource allocation. We investigate our transparent provisioning mechanisms in the database tier using the TPC-W e-commerce and the on-line auction Rubis benchmarks. We demonstrate that our techniques provide quality of service under load bursts and failure scenarios
32590743
Solving Anisotropic Transport Equation on Misaligned Grids
Triangular 3rd order Lagrange elements have been implemented previously to study the numerical error associated with grid misalignment. It has previously been found that grid misalignment strongly affects numerical accuracy in the case of linear elements. The same conclusion was obtained by higher order finite difference. Here we observe that this is also true for higher order finite elements, up to 3rd order, when the solution has a steep gradient. Three types of meshes are considered. Type t1 has one element edge fully aligned with the strong transport direction; type t2 doesn’t have any alignment with that direction; type t0 is a combination of t1 and t2, i.e., partial alignment.