ppxscal/embedding_network huggingface dataset:
Tableaux and Hypersequents for Justification Logic
Authors: Hidenori Kurokawa
Venue: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science (2009)

Justification Logic is a new generation of epistemic logics which along with the traditional modal knowledge/belief operators also consider justification assertions `t is a justification for F.' In this paper, we introduce a prefixed tableau system for one of the major logics of this kind S4LPN, which combines the logic of proofs (LP) and epistemic logic S4 with an explicit negative introspection principle $\neg t\!:\! F \to \Box \neg t\!:\! F$. We show that the prefixed tableau system for S4LPN is sound and complete with respect to Fitting-style semantics. We also introduce a hypersequent calculus HS4LPN and show that HS4LPN is complete as far as we confine ourselves to a case where only a single formula is to be proven. We establish this fact by using a translation from the prefixed tableau system to the hypersequent calculus. This completeness result gives us a semantic proof of cut-admissibility for S4LPN under the aforementioned restriction. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Multi-objective Parameter Optimization Technology for Business Process Based on Genetic Algorithm
Authors: Bo Wang, Li Zhang, Yawei Tian
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

The idea of simulation analysis and multi-objective evaluation was applied in parameter optimization for business process. By analyzing the parameters in business, four mainly optimal parameters and their corresponding optimization problems were determined. Some indexes for synthetically evaluating the performance of process were given, which could provide choice criteria for optimization. Aiming at the characteristics of multi-parameter and multi-objective of business process, a multi-layer iterate optimization method based on Genetic Algorithm was provided, which layered disposal solution space according to the type of optimal parameters and could not only enhance the flexibility of selecting parameters but also avoid the analysis for invalid parameter combinations. The simulation results proved that this method could supply balance and reasonable parameter configuration scheme for enterprise decision-maker.
Using query logs and click data to create improved document descriptions
Authors: Maarten van der Heijden, Max Hinne, Wessel Kraaij, Suzan Verberne, Theo van der Weide
Venue: Proceedings of the 2009 workshop on Web Search Click Data (2009)

Logfiles of search engines are a promising resource for data mining, since they provide raw data associated to users and web documents. In this paper we focus on the latter aspect and explore how the information in logfiles could be used to improve document descriptions. A pilot experiment demonstrated that document descriptors extracted from the queries that are associated with documents by clicks provide useful semantic information about documents in addition to document descriptors extracted from the full text of the web pages.
Advances in Program Termination and Liveness
Authors: Byron Cook
Venue: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (2008)

Recent research advances now allow us to automatically prove termination and other liveness properties of many industrial programs. In cases where the desired property does not hold for all inputs, tools can be used to synthesize a precondition on the inputs under which the property does hold. In this tutorial I will describe these recent advances and discuss our efforts to apply termination analysis to industrial software.
Realization of Depth-first Search Based AI Properties of VCR
Authors: Qiu-Sun Ye
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

This paper gives an analyzing & discussing of Depth-first Search technology of both FCR and VCR in searching without information, and points out that, properties of FCR & VCR on searching without information. And then, it introduces a novel realization method of Depth-first Search in problem solving which sometimes we should think simultaneously over the synthetic technique combining intelligent properties of FCR & VCR. Finally, it gives out an example of the problem-solving method, i.e. the problem solving such as catching fish with casting a net or boy-herder picks peaches by climbing up a tree.
On perturbations of some constrained subspaces
Authors: Musheng Wei, Jinbing Zhang
Venue: Journal of Computational and Applied Mathematics (2009)

Perturbation bounds of subspaces, such as eigen-spaces, singular subspaces, and canonical subspaces, have been extensively studied in the literature. In this paper, we study perturbations of some constrained subspaces of 1x2, 2x1, and 2x2 block matrices, in which only one of the sub-matrices can be changed. Such problems rise from the least squares-total least squares problem, the constrained least squares problem, and the constrained total least squares problem.
Game-based learning in higher education and lifelong learning: bridging the gap between theory and practice
Authors: Andreja Istenič Starčič
Venue: Proceedings of the 8th WSEAS international conference on Distance learning and web engineering (2008)

Game-based learning virtual environments offer new approaches in university education and lifelong learning providing inquiry-based authentic learning. In the paper game and simulation learning is investigated and defined. The conceptual framework will be illustrated by actual model of virtual game and simulation environment which was developed in European research project. A systematic review of research in game and simulation learning will focus on didactical/pedagogical concepts applied with ICT system and tools offering solutions for individual and collaborative learning. Game-based learning virtual environments are tailored for diversified university and lifelong student groups preparing them to enter national, European and global environments. They foster collaboration at various levels between university and industry providing knowledge and innovation exchange. In learning processes they support international collaboration among teachers/educators and learners representing a real life phenomenon - complex and dynamic systems in which the variables for manipulation illustrate variables in real life situations. Learners are offered to learn in an authentic environment of imitating concrete activities which they will face in their professional life. Learning about complex phenomena and systems is more meaningful in collaboration considering knowledge as being distributed among learners and the cognition as socially shared. Currently there are many initiatives at European and global level aiming at agreements for arranging new learning environments which will offer learning linking theory and practice, university and industry. Paper provide framework for new solutions at institutional level facing challenges of game-based learning in virtual environments.
Smart Enumeration: A Systematic Approach to Exhaustive Search
Authors: Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

This paper explores the potential of smart enumeration: enumeration of a design space giving the effect of exhaustive search, while using heuristics to order and reduce the search space. We characterise smart enumeration as having several key properties, including carefully chosen problem domains and techniques to speed up the search, such as those that exploit symmetry. We also generate reconfigurable hardware to accelerate part of the search. Our approach has been applied to technology mapping for field-programmable gate arrays, optimising area and power consumption.
Dealing with non-metric dissimilarities in fuzzy central clustering algorithms
Authors: Maurizio Filippone
Venue: International Journal of Approximate Reasoning (2009)

Clustering is the problem of grouping objects on the basis of a similarity measure among them. Relational clustering methods can be employed when a feature-based representation of the objects is not available, and their description is given in terms of pairwise (dis)similarities. This paper focuses on the relational duals of fuzzy central clustering algorithms, and their application in situations when patterns are represented by means of non-metric pairwise dissimilarities. Symmetrization and shift operations have been proposed to transform the dissimilarities among patterns from non-metric to metric. In this paper, we analyze how four popular fuzzy central clustering algorithms are affected by such transformations. The main contributions include the lack of invariance to shift operations, as well as the invariance to symmetrization. Moreover, we highlight the connections between relational duals of central clustering algorithms and central clustering algorithms in kernel-induced spaces. One among the presented algorithms has never been proposed for non-metric relational clustering, and turns out to be very robust to shift operations.
Modularization of a Large-Scale Business Application: A Case Study
Authors: Santonu Sarkar, Shubha Ramachandran, G. Sathish Kumar, Madhu K. Iyengar, K. Rangarajan, Saravanan Sivagnanam
Venue: IEEE Software (2009)

Large software systems, developed over several years, are the backbone of industries such as banking, retail, transportation, and telecommunications. With multiple bug fixes and feature enhancements, these systems gradually deviate from the intended architecture and deteriorate into unmanageable monoliths. This article presents a case study of a banking application besot with such problems and the modularization approach that the company adopted as a solution. It also highlights benefits unearthed as a result of this reengineering exercise.
Texas instruments computer communication network and its support for the automated office
Authors: John W. White
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

This paper will give an overview of the Texas Instruments Incorporated worldwide computer/communications network (as of November 1979) and specifically emphasize its support for electronic mailing, electronic filing, and network connected word processing capability.
Design of a Deblocking Filter for Both Objective and Subjective Metrics
Authors: Ying-Wen Chang, Yen-Yu Chen
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

Blocking artifact is a major limitation of DCT-based codec at low bit rates. This degradation is likely to influence the judgment of a final user. This work presents a powerful post-processing filter in the DCT frequency domain. The proposed algorithm adopts a shift block within four adjacent DCT blocks to reduce computational complexity. The artifacts resulting from quantized and de-quantized process are eliminated by slightly modifying several DCT coefficients in the shift block. Simulation results indicate that the proposed method produces the best image quality in terms of both objective and subjective metrics.
A matrix Rodrigues formula for classical orthogonal polynomials in two variables
Authors: María Álvarez de Morales, Lidia Fernández, Teresa E. Pérez, Miguel A. Piñar
Venue: Journal of Approximation Theory (2009)

Classical orthogonal polynomials in one variable can be characterized as the only orthogonal polynomials satisfying a Rodrigues formula. In this paper, using the second kind Kronecker power of a matrix, a Rodrigues formula is introduced for classical orthogonal polynomials in two variables.
Heavy-traffic limits for many-server queues with service interruptions
Authors: Guodong Pang, Ward Whitt
Venue: Queueing Systems: Theory and Applications (2009)

We establish many-server heavy-traffic limits for G/M/n+M queueing models, allowing customer abandonment (the +M), subject to exogenous regenerative service interruptions. With unscaled service interruption times, we obtain a FWLLN for the queue-length process, where the limit is an ordinary differential equation in a two-state random environment. With asymptotically negligible service interruptions, we obtain a FCLT for the queue-length process, where the limit is characterized as the pathwise unique solution to a stochastic integral equation with jumps. When the arrivals are renewal and the interruption cycle time is exponential, the limit is a Markov process, being a jump-diffusion process in the QED regime and an O---U process driven by a Levy process in the ED regime (and for infinite-server queues). A stochastic-decomposition property of the steady-state distribution of the limit process in the ED regime (and for infinite-server queues) is obtained.
Consistency constraints and 3D building reconstruction
Authors: S. Horna, D. Meneveaux, G. Damiand, Y. Bertrand
Venue: Computer-Aided Design (2009)

Virtual architectural (indoor) scenes are often modeled in 3D for various types of simulation systems. For instance, some authors propose methods dedicated to lighting, heat transfer, acoustic or radio-wave propagation simulations. These methods rely in most cases on a volumetric representation of the environment, with adjacency and incidence relationships. Unfortunately, many buildings data are only given by 2D plans and the 3D needs varies from one application to another. To face these problems, we propose a formal representation of consistency constraints dedicated to building interiors and associated with a topological model. We show that such a representation can be used for: (i) reconstructing 3D models from 2D architectural plans (ii) detecting automatically geometrical, topological and semantical inconsistencies (iii) designing automatic and semi-automatic operations to correct and enrich a 2D plan. All our constraints are homogeneously defined in 2D and 3D, implemented with generalized maps and used in modeling operations. We explain how this model can be successfully used for lighting and radio-wave propagation simulations.
Research of Portable Information Terminal Based on MIPS Processor and Windows CE
Authors: Yunzhou Zhang, Dingyu Xue, Chengdong Wu, Peng Ji
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

A portable information terminal(PIT) is designed and implemented for building disaster rescuing application. Based on MIPS processor Au1200, the hardware architecture and peripheral extension is expounded in details. Then the communication interfaces including ZigBee and MMS are designed respectively to acquire field information and exchange data with remote center. Based on Windows CE, the system software architecture is built up and device driver is implemented. The paper also gives some experiments related to the communication performance test. The experiment result shows that the system has strong function and high reliability.
Gene interaction - An evolutionary biclustering approach
Authors: Sushmita Mitra, Ranajit Das, Haider Banka, Subhasis Mukhopadhyay
Venue: Information Fusion (2009)

DNA Microarray experiments form a powerful tool for studying gene expression patterns, in large scale. Sharing of the regulatory mechanism among genes, in an organism, is predominantly responsible for their co-expression. Biclustering aims at finding a subset of similarly expressed genes under a subset of experimental conditions. A small number of genes participate in a cellular process of interest. Again, a gene may be simultaneously involved in a number of cellular processes. In cellular environment, genes interact among themselves to produce enzymes, metabolites, proteins, etc. responsible for a particular function(s). In this study, a simple and novel correlation-based approach is proposed to extract gene interaction networks from biclusters in microarray data. Local search strategy is employed to add (remove) relevant (irrelevant) genes for finer tuning, in multi-objective biclustering framework. Preprocessing is done to preserve strongly correlated gene interaction pairs. Experimental results on time-series gene expression data from Yeast are biologically validated using benchmark databases and literature.
The relation of requirements uncertainty and stakeholder perception gaps to project management performance
Authors: James J. Jiang, Gary Klein, Shelly P. J. Wu, T. P. Liang
Venue: Journal of Systems and Software (2009)

Researchers consider requirements uncertainty as a problem to be addressed during information system development by choosing an appropriate strategy to mitigate the uncertainty. However, this strategy avoids addressing issues present at the start of a project. Those include differences in perception between two prominent stakeholders: users and developers. The problems caused by this perception gap are demonstrated to be at least as significant as components of requirements uncertainty. A model is developed and empirically tested that shows a good portion of residual performance risks in a project are explained by perception gaps. These gaps present a new opportunity to address difficulties in a project before the development efforts begin.
Invariant Content-Based Image Retrieval Using a Complete Set of Fourier-Mellin Descriptors
Authors: Stephane Derrode, Mohamed Daoudi, Faouzi Ghorbel
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

Image retrieval from a large database is an important and emerging search area. This retrieval requires the choice of a suitable set of image features, a method to extract them correctly, and a measure of the similarity between features that can be compared in real-time. This paper presents a complete set of Fourier-Mellin descriptors for object storage and retrieval. Our approach is translation, rotation and scale invariant. Several retrieval examples in large image databaseare presented.
Tradeoffs in building a generic supply chain simulation capability
Authors: Sanjay Jain
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that includes artifacts for facilitating the development of the simulation model. The artifacts can have a range of capabilities depending on the design goals for the simulation. This paper focuses on issues to be considered in building a generic simulation capability for supply chains. A number of approaches used in recent years for building generic supply chain simulation capability are discussed. Such approaches include data-driven simulators, interactive simulators, and sub-models for supply chain components. Tradeoffs are identified that should be considered in selecting an approach for building a generic supply chain simulation capability.
CPU Service Classes for Multimedia Applications
Authors: Hao-hua Chu, Klara Nahrstedt
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

We present the design, implementation, and experimental results of our soft real time (SRT) system for multimedia applications on top of general purpose UNIX environment. The SRT system supports multiple CPU service classes for the real time processes based on their processor usage pattern including periodic constant processing time class (PCPT) and periodic variable processing time (PVPT) class. It also provides the following features: (1) reservation and processing time guarantees for the service classes, (2) overrun protection and scheduling algorithm, and (3) system- initiated adaptation strategies. The other unique feature of the SRT system is its easy portability to any operating systems with real time extensions because it is implemented purely in the user space without any modifications to the kernel. We have implemented the SRT system on the Solaris 2.6 operating system with scheduling overhead under 400us and with good performance guarantees.
Back office integration issues in developing country context: lessons learned from a case study in Morocco
Authors: Driss Kettani, Asmae El Mahdi
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

The two-year decade behind the rise and expansion of Internet has lead to ICT-enabled public sector reforms known as e-Government and e-Governance. These contribute in changing and reforming governments' tiers and branches. Nevertheless, digital divides persist regionally. For instance Africa lags behind other continents in e-Government efforts and related achievements, evidenced in low scores reported by the United Nations global readiness surveys and related index[6]. One issue emerging from e-Government practices and crucial in bridging the digital divide regionally is the need for "Back office" automation or "integration". Known as connected governance, it is a critical enabler transforming capabilities and delivering far-reaching benefits. The lack of connected governance in the developing world is a disturbing and challenging issue. This article presents the eFez project from Morocco, a case study outlining the lessons learned in back office integration.
A new color transformation for JPEG-2000 image compression
Authors: Mohammed S. Al-Rawi, Abd El-Latif Abu-Dalhoum, Yousef Salah, Wesam Al-Mobaideen, Ansar Khoury
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Within the rapid growth of the World Wide Web, image compression techniques play an important role in multimedia applications. The JPEG-2000 which is based on the wavelet transform is a promising image compression technique expected to replace the current discrete cosine transform based compression known as JPEG. In this paper, genetic algorithms are used to optimize the coefficients of the RGB to YCbCr color transform used in JPEG-2000 and to find alternate color transform. The transform coefficients are optimized using fitness functions based on the root mean square error between the original and the reconstructed image. The resultant color transformations revealed an enhancement in the JPEG-2000 codec by achieving higher image fidelity and less image distortion.
Design of haptic interfaces for therapy
Authors: Cati Vaucelle, Leonardo Bonanni, Hiroshi Ishii
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Touch is fundamental to our emotional well-being. Medical science is starting to understand and develop touch-based therapies for autism spectrum, mood, anxiety and borderline disorders. Based on the most promising touch therapy protocols, we are presenting the first devices that simulate touch through haptic devices to bring relief and assist clinical therapy for mental health. We present several haptic systems that enable medical professionals to facilitate the collaboration between patients and doctors and potentially pave the way for a new form of non-invasive treatment that could be adapted from use in care-giving facilities to public use. We developed these prototypes working closely with a team of mental health professionals.