ppxscal/embedding_network huggingface dataset:
The Comprehensive Evaluation on the Service Level of the City Public Transport
Authors: Guo Xiuchun
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

The service of the public transportation business enterprise of a city is a key question to the company's existence and development. There are several kinds of indexes about the evaluation of the public transport. The index of the evaluation about the concrete project does not mean the more, the better. The evaluation index should reflect the main and the comprehensive information. And each index should be independent, and easy to measure. In this paper, we first study the construction of evaluation system in the public transportation. Then according to the principle of the evaluation index system, we compare the domestic evaluation index of the service level in the public transportation system to that of aboard city. After that we can bring up the index of large cities in our country, and use Weighted Least Square Method to evaluate the weight of the index. In the end, we use both analytic hierarchy process (AHP) and Weighted Least Square Method to evaluation the actual service of the public transportation system of city. The result of our research is helpful to the evaluation the actual service level of public transportation system and to promote the actual service level of the public transportation system.
Mining Positional Association Super-Rules on Fixed-Size Protein Sequence Motifs
Authors: Bernard Chen, Sinan Kockara
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Bioinformatics and Bioengineering (2009)

Protein sequence motifs information is crucial to the analysis of biologically significant regions. The conserved regions have the potential to determine the role of the proteins. Many algorithms or techniques to discover motifs require a predefined fixed window size in advance. Due to the fixed size, these approaches often deliver a number of similar motifs simply shifted by some bases or including mismatches. To confront the shifted motifs problem, we cooperate the Super-Rule-Tree (SRT) concept, which is designed for solving the mismatched motifs problem, and propose a new Positional Association Rules algorithm. In Positional Association Rules algorithm, a new parameter named distance assurance is created to search frequent distances appearing in association rules. By analyzing the motifs results generated by our approach on our dataset, we provide the optimal minimum support, confidence, and distance assurance. We believe the Positional Association Super-Rules algorithm can play an important role in similar researches which requires predefined fixed window size.
Optimal Affective Conditions for Subconscious Learning in a 3D Intelligent Tutoring System
Authors: Pierre Chalfoun, Claude Frasson
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

In this paper we take a closer and in-depth look at initial results obtained from a previous novel experiment conducted with a 3D subliminal teaching Intelligent Tutoring System. Subliminal priming is a technique used to project information to a learner outside of his perceptual field. Initial results showed great promise by illustrating the positive impact of the subliminal module on the overall emotional state of the learners as well as their learning performances. Indeed, since emotion monitoring is critical in any learning context, we monitored the physiological reactions of the user while they learned and while they answered questions. We present a detailed and precise look at the optimal affective conditions that set the best learners apart. We will also explain a most surprising finding: the positive long term impact of subliminal priming on the entire learning process.
A New Anomaly Detection Method Based on Rough Set Reduction and HMM
Authors: Fanping Zeng, Kaitao Yin, Minghui Chen, Xufa Wang
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Over the past few years, anomaly detection has been an increasing concern with the rapid growth of the network security. Hidden Markov model (HMM) has been applied in various methods in intrusion detection and proved to be a good tool to model normal behaviors of privileged processes, however, one major problem with this approach is that it demands excessive computing resources and costs a long model training time, which makes it inefficient for practical intrusion detection. This paper presents a new method of bringing rough set reduction into HMM to overcome the shortcoming. The proposed approach classifies and simplifies the long observation sequence by virtue of rough set reduction, and the decision conditions obtained in rough set reduction phase could be used in further detection. The experimental results indicate that this method can promote the model training efficiency. Further-more, it is suitable for anomaly detection with high detect rate and low false alarm rate.
Quantification of Bone Remodeling in SRμCT Images of Implants
Authors: Hamid Sarve, Joakim Lindblad, Carina B. Johansson
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

For quantification of bone remodeling around implants, we combine information obtained by two modalities: 2D histological sections imaged in light microscope and 3D synchrotron radiation-based computed microtomography, SRμCT. In this paper, we present a method for segmenting SRμCT volumes. The impact of shading artifact at the implant interface is reduced by modeling the artifact. The segmentation is followed by quantitative analysis. To facilitate comparison with existing results, the quantification is performed on a registered 2D slice from the volume, which corresponds to a histological section from the same sample. The quantification involves measurements of bone area and bone-implant contact percentages.We compare the results obtained by the proposed method on the SRμCT data with manual measurements on the histological sections and discuss the advantages of including SRμCT data in the analysis.
Statistics & Clustering Based Framework for Efficient XACML Policy Evaluation
Authors: Said Marouf, Mohamed Shehab, Anna Squicciarini, Smitha Sundareswaran
Venue: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks (2009)

The adoption of XACML as the standard for specifying access control policies for various applications, especially web services is vastly increasing. A policy evaluation engine can easily become a bottleneck when enforcing large policies. In this paper we propose an adaptive approach for XACML policy optimization. We proposed a clustering technique that categorizes policies and rules within a policy set and policy respectively in respect to target subjects. Furthermore, we propose a usage based framework that computes access request statistics to dynamically optimize the ordering of policies within a policy set and rules within a policy. Reordering is applied to categorized policies and rules from our proposed clustering technique. To evaluate the performance of our framework, we conducted extensive experiments on XACML policies. We evaluated separately the improvement due to categorization and to reordering techniques, in order to assess the policy sets targeted by our techniques. The experimental results show that our approach is orders of magnitude more efficient than the standard Sun PDP.
Efficient enumeration of words in regular languages
Authors: Margareta Ackerman, Jeffrey Shallit
Venue: Theoretical Computer Science (2009)

The cross-section enumeration problem is to list all words of length n in a regular language L in lexicographical order. The enumeration problem is to list the first m words in L according to radix order. We present an algorithm for the cross-section enumeration problem that is linear in n+t, where t is the output size. We provide a detailed analysis of the asymptotic running time of our algorithm and that of known algorithms for both enumeration problems. We discuss some shortcomings of the enumeration algorithm found in the Grail computation package. In the practical domain, we modify Makinen's enumeration algorithm to get an algorithm that is usually the most efficient in practice. We performed an extensive performance analysis of the new and previously known enumeration and cross-section enumeration algorithms and found when each algorithm is preferable.
A Robust Digital Watermarking Scheme and Its Application in Certificate Verification
Authors: Huaqing Liang, Hongdong Yin, Xinxin Niu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

This paper presents a new approach for the certificate verification based on digital watermarking. An invisible watermark is embedded in the owner digital photo of the certificate with different strength according to the characteristics of Human Vision System (HVS). During verification the owner photo is scanned, the watermark extracted from the scanned photo is compared with the original watermark. Several techniques are used to detect and invert geometric transformations of the watermarked images undergone by the printed and scanned process so that the embedded watermark can be successfully determined. Experiment results have demonstrated the feasibility of the proposed approach that has the advantages of high security, high flexibility and low cost.
Cognitive convergence in collaborative learning
Authors: Stephanie D. Teasley, Frank Fischer, Armin Weinberger, Karsten Stegmann, Pierre Dillenbourg, Manu Kapur, Michelene Chi
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

Collaborative learning, as both a pedagogical method and a cognitive mechanism plays a prominent role in the Learning Sciences. In this symposium we will use the term "cognitive convergence" to encompass various concepts that have been used to explain the important processes underlying successful collaboration, such as intersubjectivity, coconstruction, knowledge convergence, common ground, joint problem space, and transactive reasoning. The goal of the symposium is to contribute to a better understanding of the mechanisms of cognitive convergence and to relate cognitive convergence to individual learning outcomes. We include studies that emphasize detailed analyses of the mechanisms, provide ideas about how to conceptualize and measure convergence, and include qualitative and quantitative measures of shared and converging learning outcomes. A special emphasis will be on methodological questions about how to analyze the processes of achieving convergence and how to assess how convergence affects outcomes of collaborative learning.
Efficient Map Portrayal Using a General-Purpose Query Language
Authors: Peter Baumann, Constantin Jucovschi, Sorin Stancu-Mara
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Fast image generation from vector or raster data for map navigation by Web clients is an important geo Web application today. Raster data obviously account for the larger volume of the underlying data sets served through WMS and other such interfaces. Dedicated server implementations prevail because an often heard argument is that general-purpose server software, such as database systems, cannot be efficient enough for such high-volume application scenarios.In this paper we refute that. We investigate just-in-time compilation of query fragments in two variants, for CPU and GPU, as implemented in the general purpose raster DBMS rasdaman. Results suggest that array databases are suitable for realtime geo raster services.
Delamination in Thermohyperelastic Plastic IC Packaging Material Due to Thermal Load and Moisture
Authors: Zhigang Li, Xuexia Yang, Xuefeng Shu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Lamination failure as “popcorn” form of plastic electronic packages under thermal stress induced by heat mismatch and vapor pressure induced by the moisture during the solder-reflow process is studied. When plastic electronic packages are made of thermohyperelastic materials, using the theory of cavity formation and unstable void growth in incompressible hyper-elastic material, we gained a analytical relationship between void growth and the sum of the vapor pressure and thermal stress. Numerical analyses show that plastic electronic packages will produce popcorn failure when the vapor pressure maintains saturation state during the solder-reflow process on condition that plastic electronic packages absorb a lot of moisture; popcorn failure won’t occur when the moisture in voids is in single vapor phase during the solder-reflow process on condition that plastic electronic packages absorb little moisture.
Optimal false-name-proof voting rules with costly voting
Authors: Liad Wagman, Vincent Conitzer
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

One way for agents to reach a joint decision is to vote over the alternatives. In open, anonymous settings such as the Internet, an agent can vote more than once without being detected. A voting rule is false-name-proof if no agent ever benefits from casting additional votes. Previous work has shown that all false-name-proof voting rules are unresponsive to agents' preferences. However, that work implicitly assumes that casting additional votes is costless. In this paper, we consider what happens if there is a cost to casting additional votes. We characterize the optimal (most responsive) false-name-proofwith-costs voting rule for 2 alternatives. In sharp contrast to the costless setting, we prove that as the voting population grows larger, the probability that this rule selects the majority winner converges to 1. We also characterize the optimal group false-name-proof rule for 2 alternatives, which is robust to coalitions of agents sharing the costs of additional votes. Unfortunately, the probability that this rule chooses the majority winner as the voting population grows larger is relatively low. We derive an analogous rule in a setting with 3 alternatives, and provide bounding results and computational approaches for settings with 4 or more alternatives.
Analysis on Temperature Field of Refrigerated Car in Cold Chain Logistics
Authors: Xin Huang, Ruhe Xie, Guanghai Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

The paper analyzed the simulating ways about heat system of refrigerated car in cold chain logistics. Heat balance model was chose as the analyzed tool. An analytic system was set up for simulating the heat condition of refrigerated transportation. The system includes climate model outdoors, heat transfer model of the insulated layer, exterior and interior surface heat balance model of insulated layer, heat balance model of the air in the vehicle, etc. Then, a real refrigerated car was simulated and analyzed from Beijing to Guangzhou, and verified by a real data of refrigerated car. The results obtained from the model show good consistency with the experimental data. The model properly reflects the heat condition of car and provides a basis for holistic evaluation and optimum controlling on refrigerated car in cold chain logistics.
Parallel Implementation of Lattice Boltzmann Flow Simulation in Fortran-DVM Language
Authors: Leonid Kamenshchikov
Venue: Proceedings of the 10th International Conference on Parallel Computing Technologies (2009)

During the last twenty years the lattice Boltzmann method (LBM) has been developed as an alternative approach for modeling of fluid dynamics. A parallel implementation of the LBM for 3D fluid dynamics simulations using the Fortran-DVM language is presented. The LBM is parallelized by using spatial decomposition and implemented on a distributed memory cluster MVS-100K. The test problem has been solved for different number of processors (from 1 to 1024). Pictures of flows are compared visually with the similar pictures published in the literature. 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
The independence of dimensions in multidimensional dialogue act annotation
Authors: Volha Petukhova, Harry Bunt
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

This paper presents empirical evidence for the orthogonality of the DIT++ multidimensional dialogue act annotation scheme, showing that the ten dimensions of communication which underlie this scheme are addressed independently in natural dialogue.
A preliminary evaluation of head and facial feature tracking for input on mobile devices
Authors: Kathryn Carnegie, Stuart Fleming, Esfandiar Ammirahimi, Andreas Komninos
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

This paper discusses the concept of using head and facial feature tracking as an input mechanism for mobile devices. We present our concept and ideas, along with preliminary findings from two prototype implementations. Suggestions for further work and implications are presented in the final sections of the paper.
Spontaneous Avatar Behavior for Human Territoriality
Authors: Claudio Pedica, Hannes Högni Vilhjálmsson
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in believability introduced by modern lightning and physics techniques, the focus is shifting to better AI behavior sophistication. Avatars and agents in a realistic virtual environment must exhibit a certain degree of presence and awareness of the surroundings, reacting consistently to unexpected contingencies and social situations. Unconscious reactions serve as evidence of life, and can also signal social availability and spatial awareness to others. These behaviors get lost when avatar motion requires explicit user control. This paper presents a new approach for generating believable social behavior in avatars. The focus is on human territorial behaviors during social interactions, such as during conversations and gatherings. Driven by theories on human territoriality, we define a reactive framework which allows avatars group dynamics during social interaction. This approach gives us enough flexibility to model the territorial dynamics of social interactions as a set of social norms which constrain the avatar's reactivity by running a set of behaviors which blend together. The resulting social group behavior appears relatively robust, but perhaps more importantly, it starts to bring a new sense of relevance and continuity to virtual bodies that often get separated from the simulated social situation.
Risky Module Estimation in Safety-Critical Software
Authors: Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Software used in safety-critical system must have high dependability. Software testing and V&V (Verification and Validation) activities are very important for assuring high software quality. If we can predict the risky modules in safety-critical software, testing activities and regulation activities can be applied to them more intensively. In this paper, we classify the estimated risk classes which can be used for deep testing and V&V. We predict the risk class for each module using support vector machines. We can consider that the modules classified to risk class 5 or 4 are more risky than others relatively. For all classification error rates, we expect that the results can be useful and practical for software testing, V&V, and activities for regulatory reviews. In the future works, to improve the practicality, we will have to investigate other machine learning algorithms and datasets.
A Necessary and Sufficient Contractivity Condition for the Fractal Transform Operator
Authors: Mehran Ebrahimi
Venue: Journal of Mathematical Imaging and Vision (2009)

This paper revisits the concept of fractal image coding and the contractivity conditions of the fractal transform operator. All such existing conditions are only sufficient. This paper formulates a necessary and sufficient condition for the contractivity of the fractal transform operator associated to a fractal code. Furthermore, analytical results on the convergence of the fractal image decoding will be derived.
An Intelligent Multilayered Middleware Model and Heterogeneous Spatial Data Fusion Application Study
Authors: Bo Wan, Lin Yang, Maosheng Hu, Yaqin Ye
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

The seamless integration and fusion of current multisource and heterogeneous spatial data in the open and distributed environments is still a crucial task and has strong application requirements. Nowadays, heterogeneous data resource in different region can be shared but cannot be used through a uniform way. This paper adopts a novel and converse cognize process on real world, and puts forward an intelligent multilayered middleware model (IMLMW) which has the characteristics of layered, symmetric and intelligent, therefore distributed heterogeneous spatial data can be seamlessly integrated and fusioned through data interoperability, spatial reference unified, spatial data process and semantic fusion middleware layers, bringing gappy logical world return back to seamless real word. Stratification of the model makes each fusion process more clear and independent; Symmetry of the model makes heterogeneous data streams that flow thorough always maintain consistent data model; Intelligence of the model makes middleware chain extensible and embedded in relevant to the ability of heterogeneous data source itself. According to the model, an seamless fusion framework and system has been developed and implemented, the application of heterogeneous spatial data integration in Land Use Investigation Institute of Guangxi province has achieved good results. IMLMW model has been verified and proved to be viable and practical.
Prototype of software to support diagnosis for illness through blood samples results
Authors: Gina Alexandra Alzate Gaitán, Diana Carolina Machado Useche, Jorge Enrique Rodríguez Rodríguez
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

In this paper, it is showed the development of software to support diagnosis for illness through blood samples results, specifically a Haematic table which results commonly in an examination required by a doctor. An artificial neuronal network was used in the develop of this software applying Backpropagation algorithm because its good ability in generalization and giving a system capable to learn in base of patterns provided. On the other hand it brings a lot of advantages so warrants this choice technique and it will be shown throughout this paper. So analysis and results prove software effectiveness and fulfillment of project objective, those based on results of all system users.