ppxscal/embedding_network huggingface dataset:
A context aware handheld wayfinding system for individuals with cognitive impairments
Authors: Yao-Jen Chang, Shih-Kai Tsai, Tsen-Yung Wang
Venue: Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility (2008)

A challenge to individuals with cognitive impairments in wayfinding is how to remain oriented, recall routines, and travel in unfamiliar areas in a way relying on limited cognitive capacity. According to psychological model of spatial navigation and the requirements of rehabilitation professionals, a novel wayfinding system is presented with an aim to increase workplace and life independence for people suffering from diseases such as traumatic brain injury, cerebral palsy, mental retardation, schizophrenia, Down syndromes, and Alzheimer's disease. This paper describes an approach to providing distributed cognition support of travel guidance for persons with cognitive disabilities. The unique strength of the system is the ability to provide unique-to-the-user prompts that are triggered by context. As this population is very sensitive to issues of abstraction (e.g. icons) and presents the designer with the need to tailor prompts to a 'universe-of-one' the use of images specific to each user and context is implemented. The key to the approach is to spread the context awareness across the system, with the context being flagged by the QR-code tags and the appropriate response being evoked by displaying the appropriate path guidance images indexed by the intersection of specific end-user and context ID embedded in the tags. By separating the context trigger from the pictorial response, responses can be updated independently of the rest of the installed system, and a single QR-code tag can trigger multiple responses in the PDA depending on the end-user and their specific path. A prototype is built and tested in field experiments with real patients. The experimental results show the human-computer interface is friendly and the capabilities of wayfinding are reliable.
Adaptive filtering of heart rate variation signal based on an efficient model
Authors: S. Seyedtabaii, R. Seyedtabaii
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

In order to provide accurate heart rate variability indices of sympathetic and parasympathetic activity, the low frequency and high frequency components of an RR heart rate signal must be adequately separated. Adaptive filters aid the separation of the low frequency sympathetic and high frequency parasympathetic components from an ECG R-R interval signal, enabling the attainment of more accurate heart rate variability measures. This paper studies the performance of an efficient (short size) case based model in adaptive filtering of heart rate signal that renders analogous results, in the encountered case, to what higher order conventional FIR model adaptive filter may yield.
An open and free Scilab/Scicos toolbox for the modelling and simulation of communication systems
Authors: Alan Layec
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

"Modnum"[1] is an open source and free Scilab/Scicos[2] toolbox for the modelling and simulation of communication systems. It is downloadable since March 2006 and have been primary designed for the research and development of new secured systems based on chaos[3]. Today the toolbox gives many Scilab functions and Scicos blocks that mainly focus on spread-spectrum systems for both Direct-Sequence(DS) systems and Frequency Hopping(FH) systems.
Jomon Pottery Observed from the Point of View of Fluid Mechanics: Did Jomon People Discover Twin and K&aacute;rm&aacute;n Vortices?
Authors: Y. Nakayama, M. Oki, K. Aoki, S. Takayama
Venue: Journal of Visualization (2004)

It is said that the Jomon period began about12,000 years ago and continued till about 2,500 years ago. The potteries of that age are known as Jomon pottery. Among them, a pottery discovered from the Umataka ruin in Niigata Prefecture in 1931 has an excellent shape. It is said that this pottery was made about 4,500 years ago. Jomon potteries of similar artistic styles have been discovered in various parts in Japan. These potteries have very nice shapes, but the pottery discovered from the Umataka ruin excels other potteries in its excellent proportion. From the shape of lip, it was named "Kaen pottery" meaning "Flame pottery". However, from the patterns of its lip and side wall, it is more appropriate to consider that they are related to water flow. In this report, this hypothesis is made clear by a visualization method using the pollen of cedar and pine trees, and computer simulation.
Justification Logic
Authors: Sergei Artemov
Venue: Proceedings of the 11th European conference on Logics in Artificial Intelligence (2008)

Justification Logic offers a new approach to a theory of knowledge, belief, and evidence, which possesses the potential to have significant impact on applications. The celebrated account of knowledge as justified true belief, which is attributed to Plato, has long been a focus of epistemic studies (cf. [10,15,18,26,30,32] and many others).
Design for survivability: a tradeoff space
Authors: Axel Krings
Venue: Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead (2008)

When designing a system that has strong reliability, security, or survivability requirements one moves in a trade-off space with a delicate balance between causes and effects that have implications on various objective functions such as cost, performance, availability, analyzability, predictability, or feasibility. The key issues are: 1) given an existing system or application, what are the impacts of adjustments in the fault assumptions, 2) given an existing system or application, what are the impacts of adding or subtracting security features, and 3) given performance, availability, security, or survivability requirements, how can one determine feasibility based on the infrastructure- or application-induced limitations. This research promotes design for survivability and analyzability to allow for effective assessment of the trade-off space from the view of dynamically changing fault models and the analyzability of a system. It gives pointers to new research directions and presents solutions that aid in making operational decisions or assessing impacts of design decisions.
Easy Consensus Algorithms for the Crash-Recovery Model
Authors: Felix C. Freiling, Christian Lambertz, Mila Majster-Cederbaum
Venue: Proceedings of the 22nd international symposium on Distributed Computing (2008)

Problem Setting. One of the most popular failure models for asynchronous fault-tolerant distributed systems is called crash-stop, which allows that a certain number of processes stops executing steps during the computation. Despite its theoretical interest, crash-stop is not expressive enough to model many realistic scenarios. In practice, processes crash but their processors reboot and the crashed process is restarted from a recovery point and rejoins the computation. This behavior is formalized as a failure model called crash-recovery, in which the processes can crash and recover multiple times.
Session and Union Types for Object Oriented Programming
Authors: Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Venue: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008)

In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this paper we propose union types for refining and enhancing the flexibility of session types in the context of communication centred and object oriented programming. We demonstrate our ideas through an example and a calculus formalising the main issues of the present approach. The type system garantees that, in well-typed executable programs, after a session has started, the values sent and received will be of the appropriate type, and no process can get stuck forever.
Local Subspace-Based Denoising for Shot Boundary Detection
Authors: Xuefeng Pan, Yongdong Zhang, Jintao Li, Xiaoyuan Cao, Sheng Tang
Venue: Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence (2008)

Shot boundary detection (SBD) has long been an important problem in content based video analyzing. In existing works, researchers proposed kinds of methods to analyze the continuity of video sequence for SBD. However, the conventional methods focus on analyzing adjacent frame continuity information in some common feature space. The feature space for content representing and continuity computing is seldom specialized for different parts of video content. In this paper, we demonstrate the shortage of using common feature space, and propose a denoising method that can effectively restrain the in-shot change for SBD. A local subspace specialized for every period of video content is used to develop the denoising method. The experiment results show the proposed method can remove the noise effectively and promote the performance of SBD.
Interpreting Low and High Order Rules: A Granular Computing Approach
Authors: Yiyu Yao, Bing Zhou, Yaohua Chen
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the decision logic language for granular computing. The language provides a formal method for describing and interpreting conditions in rules as granules and rules as relationships between granules. An information table is used to construct a concrete granular computing model. Two types of granules are constructed from an information table. They lead to two types of rules called low order and high order rules. As examples, we examine rules in the standard rough set analysis and dominance-based rough set analysis.
Color Texture Segmentation with Local Fuzzy Patterns and Spatially Constrained Fuzzy C-Means
Authors: Przemysław Górecki, Laura Caponetti
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

Texture and color are important cues in visual tasks such as image segmentation, classification and retrieval. In this work we propose an approach to image segmentation based on fuzzy feature distributions of color and texture information. Fuzzy C-Means clustering with spatial constraints is applied to the features extracted in the HSI color space. The effectiveness of the proposed approach is evaluated on a set of artificial and natural texture images.
Method to Implement Hash-Linking Based Content Integrity Service
Authors: Jiahui Wang, Xukun Shen, Yue Qi
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

Present a content integrity service for objects in a digital museum, especially for objects stored in long-term digital archives. The goal of the service is to demonstrate that the information in the archive is authentic and has not been unintentionally or maliciously altered even after its bit representation in the archive has undergone one or more transformations. The service is based on one-way hashing and digital time-stamping procedures. The benefit of the algorithm is that it erases the effect of PKI, which enables the algorithm's performance to be built entirely on hash function's property. Based on this, we can certify the documents' content integrity as well as that of the time-stamp itself.
Clinical Usefulness of Super High-Resolution Liquid Crystal Displays Using Independent Sub-pixel Driving Technology
Authors: Katsuhiro Ichikawa, Hiroko Kawashima, Naohiro Kimura, Mikio Hasegawa
Venue: Proceedings of the 9th international workshop on Digital Mammography (2008)

We have developed and reported super-high resolution liquid crystal displays (SHR-LCDs) using a new resolution enhancement technology of the independent sub-pixel driving (ISD) that utilizes three sub-pixels contained in each pixel element. This technology realizes the three-times resolution enhancement of monochrome LCDs. A 15 mega-pixel (MP) SHR-LCD out of a 5MP LCD and a 9MP SHR-LCD out of a 3MP LCD, for example, are realized by this technology, which improves the depiction ability of detailed image shapes such as micro-calcifications of a mammography. Furthermore, the ISD technology brings not only resolution enhancement but also noise reduction effect by the high-frequency data sampling in displaying the clinical images. In this study, we have investigated the clinical efficacy of the SHR-LCDs by means of phantom observation studies and blind observer comparison studies using clinical mammography images performed by radiologists. We used a conventional 5MP LCD for a comparison of a 15MP SHR-LCD and a 9MP SHR-LCD to evaluate their efficacy. From the results of the studies, it was indicated that the SHR-LCDs using the ISD technology had the excellent ability to display the high-resolution digital mammography images.
Strength of evidence in systematic reviews in software engineering
Authors: Tore Dybå, Torgeir Dingsøyr
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the conclusions and recommendations arising from such reviews. In this paper we present an overview of some of the most influential systems for assessing the quality of individual primary studies and for grading the overall strength of a body of evidence. We also present an example of the use of such systems based on a systematic review of empirical studies of agile software development. Our findings suggest that the systems used in other disciplines for grading the strength of evidence for and reporting of systematic reviews, especially those that take account of qualitative and observational studies are of particular relevance for software engineering.
Ontological Knowledge Maintenance Methodology
Authors: Rim Djedidi, Marie-Aude Aufaure
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

Ontologies are used as a key for semantic modelization, offering consensual and formal knowledge specification. They are more and more applied to open and dynamic environments and modeling knowledge that evolve continuously. To take into account all evolving aspects, ontologies have to be adapted to change requirements. In this paper, we propose a methodological approach for ontological knowledge maintenance. The goal of the methodology is to manage ontology evolution while maintaining consistency and evaluating change impact on ontology quality.
An Intelligent CRM System for Identifying High-Risk Customers: An Ensemble Data Mining Approach
Authors: Kin Keung Lai, Lean Yu, Shouyang Wang, Wei Huang
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

In this study, we propose an intelligent customer relationship management (CRM) system that uses support vector machine (SVM) ensembles to help enterprise managers effectively manage customer relationship from a risk avoidance perspective. Different from the classical CRM for retaining and targeting profitable customers, the main focus of our proposed CRM system is to identify high-risk customers for avoiding potential loss. Through experiment analysis, we find that the Bayesian-based SVM ensemble data mining model with diverse components and "choose from space" selection strategy show the best performance over the testing samples.
The possibility of polarization recovery in fatigued ferroelectric vinylidene fluoride and trifluoroethylene copolymer films
Authors: ZhiGang Zeng, GuoDong Zhu, Ran Liu, Qun Zhang, XueJian Yan
Venue: Microelectronic Engineering (2008)

Simple treatments were made to study the possibility of polarization recovery in fatigued P(VDF-TrFE) films. Annealing at a temperature below or above the Curie point of ferroelectric films would not improve the ferroelectric property of fatigued films, while a long-time rest would induce partially or even fully polarization recovery, though P-E loops obtained from recovered films showed a rounded shape. Some discussions were also given to explain our observations.
Hybrid Learning of Ontology Classes
Authors: Jens Lehmann
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

Description logics have emerged as one of the most successful formalisms for knowledge representation and reasoning. They are now widely used as a basis for ontologies in the Semantic Web. To extend and analyse ontologies, automated methods for knowledge acquisition and mining are being sought for. Despite its importance for knowledge engineers, the learning problem in description logics has not been investigated as deeply as its counterpart for logic programs.We propose the novel idea of applying evolutionary inspired methods to solve this task. In particular, we show how Genetic Programming can be applied to the learning problem in description logics and combine it with techniques from Inductive Logic Programming. We base our algorithm on thorough theoretical foundations and present a preliminary evaluation.
Asynchronous Interconnect for Synchronous SoC Design
Authors: Andrew Lines
Venue: IEEE Micro (2004)

Asynchronous circuits can efficiently interconnect system-on-chip modules with different clock domains. Fulcrum's Nexus Interconnect features a 16-port, 36-bit asynchronous crossbar that connects through asynchronous channels to clock-domain converters for each synchronous module. In TSMC'S 130-nm process, Nexus achieves 1.35 GHz and transfers 780 Gbps.
Methods on Educational Resource Development and Application
Authors: Shaochun Zhong, Jinan Li, Zhuo Zhang, Yongjiang Zhong, Jianxin Shang
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

By analyzing systematically the current state and existing problems of educational resource development and application (ERDA) both here and abroad, this paper presents methods of resource development and application based on the course of curriculum implementation, the curriculum resource structure and integration model and the evaluation factors of resource and curriculum integration. At last, the paper presents the methods on integrating intelligent resource and establishing distributed resource system by experimental study.
Assessing the Mathematics Related Communication Requirements of the Blind in Education and Career
Authors: Paul Stanley
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Educational and career opportunities for the blind would be greatly expanded if they could function in sighted environments. A sighted environment is defined as a dialog involving non-trivial mathematics; which employs visual renderings of the math discussed; and where no provision is made for blind participants. After itemizing the common visual media found in the typical classroom and workplace, this paper lists the minimum requirements necessary for the blind to function in a sighted environment. The foremost challenges will be 1) the conversion of all visual lines of math related communication into blind accessible formats; and 2) performing those conversions fast enough to provide synchronous communication between the blind user and his sighted peers.
Springback adaptive-predictive control
Authors: I. C. Constantin, A. Epureanu, V. Paunoiu, G. Brabie, V. Marinescu, F. B. Marin
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

In the sheet metalforming springback may lead to afterward unacceptable dimensions and problems during assembling, thereby negatively affecting the quality of the product. In the case of thin sheet metalforming the springback is the main component of manufacturing error. Moreover, inconsistency in springback adds to difficulties in obtaining consistent product quality. In this paper, the authors propose a novel method of springback adaptive and predictive control based on modeling using Support Vector Machine (SVM). SVM is used for developing the separation limits of domains with higher or lower springback parameter values, compared with springback reference values obtained using a finite-element analysis (FEA) software package. Simulating the proposed method resulted in an increase in efficiency for the case of thin sheets with large dispersion of geometrical and material characteristics.
High-precision study of Cs polarizabilities
Authors: E. Iskrenova-Tchoukova, M. S. Safronova, U. I. Safronova
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

We present results of the first-principles calculation of Cs dipole static polarizabilities for the Ns (N=6-12), $Np_j$ (N=6-10), and $Nd_j$ (N=5-10) states using the relativistic all-order method. In our implementation of the all-order method, single and double excitations of Dirac-Fock wave functions are included to all orders in perturbation theory. Additional calculations are carried out for the dominant terms and the uncertainties of our final values are estimated for all states. A comprehensive review of the existing theoretical and experimental studies of the Cs polarizabilities is also carried out. Our results are compared with other values where they are available. These calculations provide a theoretical benchmark for a large number of Cs polarizabilities.
Composed Bisimulation for Tree Automata
Authors: Parosh A. Abdulla, Ahmed Bouajjani, Lukáš Holík, Lisa Kaati, Tomáš Vojnar
Venue: Proceedings of the 13th international conference on Implementation and Applications of Automata (2008)

We address the problem of reducing the size of (nondeterministic, bottom-up) tree automata using suitable, language-preserving equivalences on the states of the automata. In particular, we propose the so-called composed bisimulation as a new language preserving equivalence. Composed bisimulation is defined in terms of two different relations, namely upward and downward bisimulation. Moreover, we provide simple and efficient algorithms for computing composed bisimulation based on a reduction to the problem of computing bisimulations on transition systems. The proposal of composed bisimulation is motivated by an attempt to obtain an equivalence that can provide better reductions than what currently known bisimulation-based approaches can offer, but which is not significantly more difficult to compute (and hence stays below the computational requirements of simulation-based reductions). The experimental results we present in the paper show that our composed bisimulation meets such requirements, and hence provides users of tree automata with a finer way to resolve the trade-off between the available degree of reduction and its cost.