ppxscal/embedding_network huggingface dataset:
Research-Based Learning in Mobile Communication Course: With Assistance of Mobile Newspaper
Authors: Yanwen Wu, Tingting Wang, Mei Lin, Xiaoyu Wen, Peng Li
Venue: Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Volume 02 (2008)

A well focused topic nowadays is the efficient application of information technologies and its existing resources in the modernization of education. And research-based learning mode is expected to be widely used among undergraduates in universities. In this paper, a mobile newspaper system (MPS) and its platform for research-based learning is designed and applied to the research-based learning in mobile communication course. As results indicate, breakthrough emerges in the teaching method and the role-playing of students and instructors after the MPS is applied. Also, the creativity of the students is cultivated as a result of a progress in both the learning spirit and questioning consciousness.
Reformulating Positive Table Constraints Using Functional Dependencies
Authors: Hadrien Cambazard, Barry O'Sullivan
Venue: Proceedings of the 14th international conference on Principles and Practice of Constraint Programming (2008)

Constraints that are defined by tables of allowed tuples of assignments are common in constraint programming. In this paper we present an approach to reformulating table constraints of large arity into a conjunction of lower arity constraints. Our approach exploits functional dependencies. We study the complexity of finding reformulations that either minimize the memory size or arity of a constraint using a set of its functional dependencies. We also present an algorithm to compute such reformulations. We show that our technique is complementary to existing approaches for compressing extensional constraints.
Artificial societies: a new paradigm for complex systems modelling
Authors: Monica Dascalu, Eduard Franti, Gheorghe Stefan, Lucian Milea
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

The new paradigm of artificial societies aims to simulate human societies and to study collective (social) phenomena from bottom up. The model of this new paradigm, introduced by Epstein and Axtell, is called "sugarscape". The sugarscape society simulates trade, but is not an industrialised world. The experiment described in this paper considers also production and trade (in a new way): some agents produce a new commodity (vitamins) that enhances agents' visibility for a time, while the other buy this new commodity. Simulations have shown that population dynamics is improved and clearly distinguished social classes appear.
NOBUNAGA: Multicylinder-Like Pulse Generator for Kinesthetic Illusion of Being Pulled Smoothly
Authors: Tomohiro Amemiya, Taro Maeda
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

We have proposed a force perception method based on asymmetric oscillation that exploits the characteristics of human perception. Our previous findings indicate that the pulse frequency determines the effective generation of the kinesthetic illusion of being pulled. However, whether pulse frequency or pulse width for force perception has not been clarified. If the pulse width is more dominant, the force sensation induced by sequential pulses will be more continuous. This is important because many of those who have experienced the asymmetric oscillation pointed out that the force sensation induced by the stimuli was not felt smoothly compared to physical force. This paper describes the design and development of a new multicylinder-like mechanism for generating sequential pulses, which should enable us to determine which is dominant for force perception.
Multimedia MathReader for Daisy Books
Authors: Piotr Brzoza
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

The Paper presents multimedia Daisy Books browser accessible for visually impaired people which allows interactive voice reading of structural information like math formulas, lists, tables. DaisyReader supports new MathML Modular Extensions (2007) of Daisy standard. 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
Plenary lecture 5: formalisation and verification in a type-theoretic framework
Authors: Zhaohui Luo
Venue: Proceedings of the 7th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications (2008)

Dependent type theory provides a powerful logical calculus for computer-assisted formal reasoning. The associated technology of theorem proving has produced very useful tools, the so-called "proof assistants", for formal proof development both in verification of programs and in formalisation of mathematics. After giving an overview of the research field, I shall present a new type-theoretic framework LTT and explain its use in formalisation and verification. The particular features of the LTT framework include: - LTT is a foundational calculus for formal reasoning with different logical foundations, establishing the basis for wider applications of the type theory based theorem proving technology. - LTT employs a notion of "typed set", combining type-theoretical reasoning with set-theoretical reasoning in an effective way and supporting efficient proof development in formalisation and verification. As a promising framework, LTT has been used in several case studies, including the formalisation of Weyl's predicative mathematics and the analysis of security protocols.
A Flexible Method for Haptic Rendering of Isosurface from Volumetric Data
Authors: Bob Ménélas, Mehdi Ammi, Patrick Bourdot
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

Our work proposes a haptic interaction technique for the rendering of isosurfaces. A virtual contact point is computed corresponding to the most suitable isovalue position in a 3D data grid. With this method we can freely explore and understand complex data fields without explicitly computing the geometry of the isosurface, nor having any intermediate representation. Thus, a very fast haptic rendering loop is easily obtainable. Moreover, our approach is flexible because the contact detection and force feedback computation are automatically adapted to take into account regions presenting high spatial frequency data as in the CFD case.
Field Sampling from a Segmented Image
Authors: Pravesh Debba, Alfred Stein, Freek D. Meer, Emmanuel John Carranza, Arko Lucieer
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

This paper presents a statistical method for deriving the optimal prospective field sampling scheme on a remote sensing image to represent different categories in the field. The iterated conditional modes algorithm (ICM) is used for segmentation followed by simulated annealing within each category. Derived field sampling points are more intense in heterogenous segments. This method is applied to airborne hyperspectral data from an agricultural field. The optimized sampling scheme shows superiority to simple random sampling and rectangular grid sampling in estimating common vegetation indices and is thus more representative of the whole study area.
Exceptional Model Mining
Authors: Dennis Leman, Ad Feelders, Arno Knobbe
Venue: Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II (2008)

In most databases, it is possible to identify small partitions of the data where the observed distribution is notably different from that of the database as a whole. In classical subgroup discovery, one considers the distribution of a single nominal attribute, and exceptional subgroups show a surprising increase in the occurrence of one of its values. In this paper, we introduce Exceptional Model Mining (EMM), a framework that allows for more complicated target concepts. Rather than finding subgroups based on the distribution of a single target attribute, EMM finds subgroups where a model fitted to that subgroup is somehow exceptional. We discuss regression as well as classification models, and define quality measures that determine how exceptional a given model on a subgroup is. Our framework is general enough to be applied to many types of models, even from other paradigms such as association analysis and graphical modeling.
The Modular Multiprocessor-A Model for Laboratory Instrument Design
Authors: Gordon Silverman, Avram Stundel, John Lehman
Venue: IEEE Micro (1982)

By using off-the-shelf microcomputer modules to implement a software-reconfigurable architecture, a group of designers built a system particularly well-suited to the demands of the laboratory.
Neurodynamic Analysis for the Schur Decomposition of the Box Problems
Authors: Quanju Zhang, Fuye Feng, Zhenghong Wei
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

Neurodynamic analysis for solving the Schur decomposition of the box problems is presented in this paper. By constructing a number of dynamic systems, all the eigenvectors of a given matrix pair (A,B) can be searched and thus the decomposition realized. Each constructed dynamical system is demonstrated to be globally convergent to an exact eigenvector of the matrix box pair (A,B). It is also demonstrated that the dynamical systems are primal in the sense of the neural trajectories never escape from the feasible region when starting at it. Compared with the existing neural network models for the generalized eigenvalue problems, the proposed neurodynamic approach has two advantages: 1) it can find all the eigenvectors and 2) all the proposed systems globally converge to the problem's exact eigenvectors.
Differential Dynamic Logic for Verifying Parametric Hybrid Systems
Authors: André Platzer
Venue: Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods (2007)

We introduce a first-order dynamic logic for reasoning about systems with discrete and continuous state transitions, and we present a sequent calculus for this logic. As a uniform model, our logic supports hybrid programs with discrete and differential actions. For handling real arithmetic during proofs, we lift quantifier elimination to dynamic logic. To obtain a modular combination, we use side deductions for verifying interacting dynamics. With this, our logic supports deductive verification of hybrid systems with symbolic parameters and first-order definable flows. Using our calculus, we prove a parametric inductive safety constraint for speed supervision in a train control system.
A Statistical Model for Histogram Refinement
Authors: Nizar Bouguila, Walid Elguebaly
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part I (2008)

Color histograms have been widely used successfully in many computer vision and image processing applications. However, they do not include any spatial information. In this paper, we propose a statistical model to integrate both color and spatial information. Our model is based on finite multiple-Beta-Bernoulli mixtures. The results show that our model achieves good performance in a specific image classification problem (city vs. landscape).
The MILL --- Method for Informal Learning Logistics
Authors: Andreas Faatz, Manuel Goertz, Eicke Godehardt, Robert Lokaiczyk
Venue: Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications (2007)

The paper presents the MILL --- a system which supports planning of training measures. Its background technique, task-competency modeling, is based on formal concept analysis as an indirect and qualitative way of determining the abilities of learners. In that context, the fulfillment or failure of a work task is the indicator of a set of necessary competencies. The core of the presented approach is a matrix structure --- a formal context --- which has tasks as labels for its rows and competencies labeling its columns. This matrix is the basis for defining formal concepts which can be ordered in a lattice for navigation and systematic decision support on training measures in an organisation.
QoS Scheduling for Networked Storage System
Authors: Yingping Lu, David H. C. Du, Chuanyi Liu, Xianbo Zhang
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

Networked storage incorporates networking technology and storage technology, greatly extending the reach of the storage subsystem. In this paper, we present a novel Quality of Service (QoS) scheduling scheme to satisfy the requirements of different QoS requests for access to the networked storage system. Our key ideas include breaking down the requests into appropriate chunks of smaller sizes and taking the network characteristics into consideration such that 1) each session channel has smoother data access, 2) resource requirements such as buffer usage are reduced, and 3) more urgent requests can preempt a less urgent request. Our experimental results show that our scheme is effective in obtaining these goals.
A Comparison between Film-Screen Mammography and Full-Field Digital Mammography Utilizing Phase Contrast Technology in Breast Cancer Screening Programs
Authors: Takako Morita, Maya Yamada, Akiko Kano, Sumiya Nagatsuka, Chika Honda, Tokiko Endo
Venue: Proceedings of the 9th international workshop on Digital Mammography (2008)

A digital phase contrast mammography (PCM) system was introduced into a hospital's screening programs with the expectation of improved clinical image quality. A total of 3835 examinations with the PCM system and 4338 examinations with a film-screen (FS) system were performed. The screening performance measures of the two systems were compared. Both in recall rates and in cancer detection rates, the performances of PCM and FS exhibited no statistically significant difference. For microcalcifications and masses, recall rates were lower with PCM than with FS despite the fact that more findings were reported with PCM. It would appear that PCM's superior depiction of abnormalities helped radiologists improve the accuracy of categorization. PCM is considered a beneficial imaging modality in breast cancer screening programs.
Automatic Detection of the Back Valley on Scoliotic Trunk Using Polygonal Surface Curvature
Authors: J. Thériault, F. Cheriet, F. Guibault
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

The objective of this paper is to automatically detect the back valley on a polygonal mesh of the human trunk surface. A 3D camera system based on the projection of a structured light is used for the acquisition of the whole trunk of scoliotic patients. A quadratic fitting method is used to calculate the principal curvatures for each vertex. It was determined that 3 levels of neighbors were sufficient to detect the back valley. The proposed method was evaluated on a set of 61 surface trunks of scoliotic patients. The results were validated by two orthopedic surgeons and were estimated to 84% of success in the automatic detection of the back valley. The proposed method is reproducible and could be useful for clinical assessment of scoliosis severity and a non-invasive progression follow-up.
Learning with Virtual Verbal Displays: Effects of Interface Fidelity on Cognitive Map Development
Authors: Nicholas A. Giudice, Jerome D. Tietz
Venue: Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space (2008)

We investigate verbal learning and cognitive map development of simulated layouts using a non-visual interface called a virtual verbal display (VVD). Previous studies have questioned the efficacy of VVDs in supporting cognitive mapping (Giudice, Bakdash, Legge, Roy, in revision). Two factors of interface fidelity are investigated which could account for this deficit, spatial language vs. spatialized audio and physical vs. imagined rotation. During training, participants used the VVD (Experiments 1 and 2) or a visual display (Experiment 3) to explore unfamiliar computer-based layouts and seek-out target locations. At test, participants performed a wayfinding task between targets in the corresponding real environment. Results demonstrated that only spatialized audio in the VVD improved wayfinding behavior, yielding almost identical performance as was found in the visual condition. These findings suggest that learning with both modalities led to comparable cognitive maps and demonstrate the importance of incorporating spatial cues in verbal displays.
The effects of socio-technical enablers on knowledge sharing: an exploratory examination
Authors: Sue Young Choi, Young Sik Kang, Heeseok Lee
Venue: Journal of Information Science (2008)

Recently, the need for knowledge management has been drastically increasing so organizations may meet the high level of dynamic, complex business change and uncertainty. In particular, knowledge sharing has been recognized as a critical process through which organizational knowledge can be utilized. For successful knowledge sharing, companies need to capitalize on various socio-technical enablers. The primary objective of this paper is to provide a better understanding of how these enablers can affect knowledge sharing intention and behavior, and explore practical implications for knowledge sharing. For this purpose, the paper proposes a theoretical model to investigate these enablers from a socio-technical perspective. PLS (Partial Least Square) analysis was employed to validate the model. This field study involves 164 users. Furthermore, interviews with experts were investigated for practical implications. Our analysis reveals that social enablers such as trust and reward mechanisms are more important than technical support in isolation for facilitating knowledge sharing.
MyGuide: A Mobile Context-Aware Exhibit Guide System
Authors: Jongmyung Choi, Jongbae Moon
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Recently there have been researches on smart exhibition guide systems for visitor's convenience. In this paper, we introduce a context-aware, visitor-oriented guide system and some context related issues encountered during the development process. Our system provides a visitor with the most suitable guide information on the exhibit in both its content and its media format. For visitor-oriented guide service, we adopt four types of context information: visitor's location, visitor's background knowledge, media type supported by the terminal device, and visitor's preferred language. We also show how to model context in an object-oriented approach, how to apply ECAM software architecture to our system, and how to build our prototype system using RFID, MIDP APIs, and context-awareness.
Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming
Authors: Lech Madeyski, Wojciech Biela
Venue: Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers (2008)

Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneous process change initiative in Poland the authors studied those problems, their context, and the outcome. The reflection was a need for a set of principles and practices to help introduce eXtreme Programming (XP). In the paper the authors extend their preliminary set, consisting of the Empirical Evidence principle, exemplified using DICE®, and the practice of the Joint Engagement of management and the developers. This preliminary collection is being supplemented with the Capable Leader, as well as the Skilled and Motivated Team practices based on the DICE® framework as well.
Rotationally Invariant Hashing of Median Binary Patterns for Texture Classification
Authors: Adel Hafiane, Guna Seetharaman, Kannappan Palaniappan, Bertrand Zavidovique
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

We present a novel image feature descriptor for rotationally invariant 2D texture classification. This extends our previous work on noise-resistant and intensity-shift invariant median binary patterns (MBPs), which use binary pattern vectors based on adaptive median thresholding. In this paper the MBPs are hashed to a binary chain or equivalence class using a circular bit-shift operator. One binary pattern vector (ie. smallest in value) from the group is selected to represent the equivalence class. The resolution and rotation invariant MBP (MBP ROT) texture descriptor is the distribution of these representative binary patterns in the image at one or more scales. A special subset of these rotation and scale invariant representative binary patterns termed uniform patterns leads to a more compact and robust MBP descriptor (MBP UNIF) that outperforms the rotation invariant uniform local binary patterns (LBP UNIF). We quantitatively compare and demonstrate the advantage of the new MBP texture descriptors for classification using the Brodatz and Outex texture dictionaries.
A Simple, General Model for the Affine Self-similarity of Images
Authors: Simon K. Alexander, Edward R. Vrscay, Satoshi Tsurumi
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

A series of extensive numerical experiments indicates that images, in general, possess a considerable degree of affine self-similarity, that is, blocks are well approximated by a number of other blocks --- at the same or different scales --- when affine greyscale transformations are employed. We introduce a simple model of affine image self-similarity which includes the method of fractal image coding (cross-scale, affine greyscale similarity) and the nonlocal means denoising method (same-scale, translational similarity) as special cases.
The BenToWeb Test Case Suites for the Web Content Accessibility Guidelines (WCAG) 2.0
Authors: Christophe Strobbe, Johannes Koch, Evangelos Vlachogiannis, Reinhard Ruemer, Carlos A. Velasco, Jan Engelen
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

This paper presents work carried out under the umbrella of the EU-funded project BenToWeb to develop XHTML test case suites for three drafts of WCAG 2.0 (June 2005, April 2006, May 2007). These suites of test cases demonstrate pass and failure examples for WCAG 2.0 and its accompanying Techniques document. The test cases were validated during the BenToWeb project and are currently being migrated to the WAI Test Sample Development Task Force, where the work will be continued.
Water Mine Model Recognition by Immune Neural Network
Authors: Haibo Liu, Jing Shen, Guochang Gu
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

An immune neural network (INN) is proposed for water mine model recognition. The INN is a two-layer Boolean network whose number of outputs is adaptive according to the task and the affinity threshold. The precision of the recognition results can be controlled through adjusting the affinity threshold. The INN has favorable capability of noise tolerance.