ppxscal/embedding_network huggingface dataset:
Enhancing Bidding Strategies in CDAs by Adaptive Judgement of Price Acceptability
Authors: Huiye Ma, Ho-Fung Leung
Venue: Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers (2009)

Continuous Double Auctions (CDAs) and agent technology provide great opportunities for market institutions to carry out real-world trading quickly and conveniently. There are several bidding strategies in the literature for agents in CDAs to employ, which achieve good performance. However, almost all of these strategies do not judge whether a price is acceptable before they calculate their own asks or bids. Experiment results have demonstrated that the judgement of price acceptability can enhance the performance of agents. In order to enable agents to adopt the judgement of price acceptability in dynamic CDA markets, we propose an adaptive mechanism. The core of the adaptive mechanism is eagerness, which enables agents to explore the realtime supply and demand relationship and adjust the thresholds of price acceptability accordingly. Experiment results show that agents adopting the adaptive mechanism remarkably outperform the agents without the mechanism.
Framework of Spatial Decision Support System for Large-Scale Public Building Evacuation
Authors: Zou Zhichong, Wang Yaowu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

Buildings or constructions are the basis of modern human life. While unexpected and sudden emergencies happen in large-scale public buildings bring great lost of wealth and casualties. How to control such extreme events and make efficient evacuation is quite a problem for emergency planners and decision makers. In this paper, a spatial approach based on Exploratory Spatial Data Analysis (ESDA) technology is described to build a Spatial Decision Support System (SDSS) for large-scale public building evacuation. Method and application of ESDA for building environment spatial risk appraisal is the core algorithmic model for environment analysis module and the basis of evacuation routing optimization. Framework structure of SDSS for large-scale public building evacuation is explicated. SDSS could not only bring emergency routing scheme for evacuees, but also provide reliable environment risk related spatial information for emergency management decision making.
On Index-Free Similarity Search in Metric Spaces
Authors: Tomáš Skopal, Benjamin Bustos
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Metric access methods (MAMs) serve as a tool for speeding similarity queries. However, all MAMs developed so far are index-based; they need to build an index on a given database. The indexing itself is either static (the whole database is indexed at once) or dynamic (insertions/deletions are supported), but there is always a preprocessing step needed. In this paper, we propose D-file, the first MAM that requires no indexing at all. This feature is especially beneficial in domains like data mining, streaming databases, etc., where the production of data is much more intensive than querying. Thus, in such environments the indexing is the bottleneck of the entire production/querying scheme. The idea of D-file is an extension of the trivial sequential file (an abstraction over the original database, actually) by so-called D-cache. The D-cache is a main-memory structure that keeps track of distance computations spent by processing all similarity queries so far (within a runtime session). Based on the distances stored in D-cache, the D-file can cheaply determine lower bounds of some distances while the distances alone have not to be explicitly computed, which results in faster queries. Our experimental evaluation shows that query efficiency of D-file is comparable to the index-based state-of-the-art MAMs, however, for zero indexing costs.
Robotic Scaffolds for Tissue Engineering and Organ Growth
Authors: Adrian Stoica
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

This paper proposes a robotics perspective to the design and analysis of future smart scaffolds to be used in tissue engineering and organ growth. Current biocompatible /biodegradable scaffolds provide load support, template for cell growth, and drug delivery for growth control. It is argued that future scaffolds would benefit from being able to allow/use relative movement among their components, which provides benefits by (1) improving mechanical stress of the cells, proven to stimulate better tissue growth, and (2) offering adaptive characteristics, as a platform that can (a) reconfigure shape (b) modify size to accommodate beneficial organ development, and (c) guide timed growth of complex organ structures, as well as other controlled changes over lifetime; these would become programmable scaffolds or in-vivo reconfigurable scaffolds. In addition, these may be able to sense their milieu/environment (measure and interpret physical and chemical data in-vivo), compute (to determine optimal movements and drug release) and engage in communications (correlating actions with other tissue/organs, interacting with outside the body instrumentation). Thus, future scaffolds can be treated as robots, of a new class, with specific characteristics and challenges such as being made of biodegradable components, and operating within human body; a robotics system perspective is useful in designing, producing and operating such systems. 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
Developing a low-cost driving simulator for the evaluation of in-vehicle technologies
Authors: Garrett Weinberg, Bret Harsham
Venue: Proceedings of the 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications (2009)

We present a case study concerning the development of a driving simulator at Mitsubishi Electric Research Labs. By relying largely on off-the-shelf components, we have kept the total system cost under USD 60,000, yet attained a level of fidelity comparable with more expensive, custom-built research simulators.
Clinical Usefulness of Human-Computer Interface for Training Targeted Facial Expression: Application to Patients with Cleft Lip and/or Palate
Authors: Kyoko Ito, Ai Takami, Shumpei Hanibuchi, Shogo Nishida, Masakazu Yagi, Setsuko Uematsu, Naoko Sigenaga, Kenji Takada
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

This study is toward introducing a treatment modality into clinical practice to manage facial expression. In particular, it focused on facial expression training, which has recently attracted attention. Facial expression training teaches the patient to move the facial muscles on his or her own initiative. The experiment was for patients with cleft lip and/or palate and the intent was to introduce facial expression training into clinical practice in order to determine the possibility of using the support interface. The study was planned and conducted in 2 phases. Phase 1 results demonstrated the possibility of introducing facial expression training using the method proposed in this study. In the future, by analyzing the results of the Phase 2 experiment, the usefulness of the support interface for facial expression training proposed in this study will be further examined.
Network forensics based on fuzzy logic and expert system
Authors: Niandong Liao, Shengfeng Tian, Tinghua Wang
Venue: Computer Communications (2009)

Network forensics is a research area that finds the malicious users by collecting and analyzing the intrusion or infringement evidence of computer crimes such as hacking. In the past, network forensics was only used by means of investigation. However, nowadays, due to the sharp increase of network traffic, not all the information captured or recorded will be useful for analysis or evidence. The existing methods and tools for network forensics show only simple results. The administrators have difficulty in analyzing the state of the damaged system without expert knowledge. Therefore, we need an effective and automated analyzing system for network forensics. In this paper, we firstly guarantee the evidence reliability as far as possible by collecting different forensic information of detection sensors. Secondly, we propose an approach based on fuzzy logic and expert system for network forensics that can analyze computer crimes in network environment and make digital evidences automatically. At the end of the paper, the experimental comparison results between our proposed method and other popular methods are presented. Experimental results show that the system can classify most kinds of attack types (91.5% correct classification rate on average) and provide analyzable and comprehensible information for forensic experts.
Kernel regression based machine translation
Authors: Zhuoran Wang, John Shawe-Taylor, Sandor Szedmak
Venue: Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers on XX (2007)

We present a novel machine translation framework based on kernel regression techniques. In our model, the translation task is viewed as a string-to-string mapping, for which a regression type learning is employed with both the source and the target sentences embedded into their kernel induced feature spaces. We report the experiments on a French-English translation task showing encouraging results.
Generating natural language descriptions of ontology concepts
Authors: Niels Schütte
Venue: Proceedings of the 12th European Workshop on Natural Language Generation (2009)

This paper gives an overview of ongoing work on a system for the generation of NL descriptions of classes defined in OWL ontologies. We present a general structuring approach for such descriptions. Since OWL ontologies do not by default contain the information necessary for lexicalization, lexical information has to be added to the data via annotations. A rule-based mechanism for automatically deriving these annotations is presented.
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
Authors: Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer
Venue: Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers (2009)

Cyber physical systems are examples of a new emerging modelling paradigm that can be defined as multi-dimensional system co-engineering (MScE). In MScE, different aspects of complex systems are considered altogether, producing emergent properties, or loosing some useful ones. This holistic approach requires interdisciplinary methods that result from formal mathematical and AI co-engineering. In this paper, we propose a formal framework consisting of a reference model for multi-agent cyber physical systems, and a formal logic for expressing safety properties. The agents we consider are enabled with continuous physical mobility and evolve in an uncertain physical environment. Moreover, the model is user centric, by defining a complex control that considers the output of a runtime verification process, and possible commands of a human controller. The formal logic, called safety analysis logic (SafAL), combines probabilities with epistemic operators. In SafAL, one can specify the reachability properties of one agent, as well as prescriptive commands to the user. We define symmetry reduction semantics and a new concept of bisimulation for agents. A full abstraction theorem is presented, and it is proved that SafAL represents a logical characterization of bisimulation. A foundational study is carried out for model checking SafAL formulae against Markov models. A fundamental result states that the bisimulation preserves the probabilities of the reachable state sets.
Synthesis of space optimal systolic arrays for band matrix-vector multiplication
Authors: E. I. Milovanović, M. P. Bekakos, I. Ž. Milovanović
Venue: The Journal of Supercomputing (2009)

In this paper, we consider the implementation of a product c=A b, where A is N1×N3 band matrix with bandwidth ω and b is a vector of size N 3×1, on bidirectional and unidirectional linear systolic arrays (BLSA and ULSA, respectively). We distinguish the cases when the matrix bandwidth ω is 1≤ω≤N 3 and N3≤ω≤N 1+N3-1. A modification of the systolic array synthesis procedure based on data dependencies and space-time transformations of data dependency graph is proposed. The modification enables obtaining both BLSA and ULSA with an optimal number of processing elements (PEs) regardless of the matrix bandwidth. The execution time of the synthesized arrays has been minimized. We derive explicit formulas for the synthesis of these arrays. The performances of the designed arrays are discussed and compared to the performances of the arrays obtained by the standard design procedure.
Abstraction Refinement for Quantified Array Assertions
Authors: Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies
Venue: Proceedings of the 16th International Symposium on Static Analysis (2009)

We present an abstraction refinement technique for the verification of universally quantified array assertions such as "all elements in the array are sorted". Our technique can be seamlessly combined with existing software model checking algorithms. We implemented our technique in the ACSAR software model checker and successfully verified quantified array assertions for both text book examples and real-life examples taken from the Linux operating system kernel.
A novel heuristic for multi-objective optimization of analog circuit performances
Authors: Mourad Fakhfakh, Mourad Loulou, Nouri Masmoudi
Venue: Analog Integrated Circuits and Signal Processing (2009)

We present a novel heuristic for optimizing analog circuit performances. It deals with generating the Pareto front using the topological properties of the feasible solution space. This heuristic allows us generating optimal values of circuit parameters in reduced computation time and memory consumption. Unlike basic metaheuristics, it does not need optimization background from the user in order to be easily adapted to different applications. It can thus be smoothly integrated into an automated design flow. This novel approach enables us to further improve (good) performances that were already reached using other optimizing techniques. Robustness of the algorithm was proved using specific difficult test problems.
QoS Driven for CAD-Grid Integrated System
Authors: Lamei Yan, Gengsheng Hu
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

This paper describes the distributed resource management for QoS driven for CAD-Grid integrated system. In this work, system actualization mode, architecture and function module are discussed in building a distributed QoS driven for CAD-Grid system. An emphasis has been placed on making the tools interactive, in an effort to create a user friendly environment. The goal is to provide an efficient and reliable method for model development, visualization, and CAD model quality evaluation. Numerical simulations are given to illustrate that the system is completely open mode, expansibility, compatibility with high safety which can support cooperative dynamic work and realize resource sharing.
Problem of reconstructing input signals under communication constraints
Authors: B. I. Anan'Ev, S. A. Anikin
Venue: Automation and Remote Control (2009)

For a linear controllable system, the problem of reconstruction of all input signals, which are compatible with the measured signal, is considered. It is assumed that information can be transmitted in a processing center only via digital communication channel at discrete time instants, and the word length is limited. In this connection, there are encoding and decoding devices in the communication channel. For simplicity, the communication channel is assumed to be noiseless and delay-free. Defining relationships are obtained for the set of compatible input signals, as well as relationships between reconstruction precision, length of transmitted word and transmission frequency.
Placing pipeline stages on a Grid: Single path and multipath pipeline execution
Authors: Ekasit Kijsipongse, Sudsanguan Ngamsuriyaroj
Venue: Future Generation Computer Systems (2010)

In a Grid computing environment, several applications such as scientific data analysis and visualization are naturally computation and communication intensive. These applications can be decomposed into a sequence of pipeline stages which can be placed on different Grid nodes for concurrent execution. Due to the aggregation of the computation and communication costs involved, finding the way to place such pipeline stages on a Grid in order to achieve the maximum application throughput becomes a challenging problem. This paper proposes a solution that considers both the pipeline placement and the data movement between stages. Specifically, we try to minimize the computation cost of the pipeline stages while preventing the communication overhead between successive stages from dominating the entire processing time. Our proposed solution consists of two novel methods. The first method is single path pipeline execution, which exploits only temporal parallelism, and the second method is multipath pipeline execution, which considers both temporal and spatial parallelism inherent in any pipeline applications. We evaluate our work in a simulated environment and also conduct a set of experiments in a real Grid computing system. When compared with the results from several traditional placement methods, our proposed methods give the highest throughput.
The Effect of Cutting Parameters on Surface Roughness when Diamond Cutting Stainless Steel
Authors: Zhou Zhi-min, Zhang Yuan-liang, Li Xiao-yan, Hong Shao-jun, Xia Zhi-hui
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

When using diamond tool to cut the special stainless steel, the influence of cutting parameters on machining surface roughness is so great. Experiments of cutting special stainless steel by ultrasonic vibration were taken to develop the law that cutting parameters influence on surface roughness of the work piece. The relation curves between cutting parameters and the work piece surface roughness were achieved by contrast experiments with different cutting speed, tool feeds, cutting depth and vibration parameters. The result shows that cutting parameters have an obvious effect on surface roughness. Under given Conditions, the smaller amplitude of the vibration, the worse the surface roughness, and the higher vibrating frequency, the better surface roughness, and the more cutting depth and feeds, the worse surface roughness. Among these parameters, tool feeds was main effect on the surface roughness.
Predicting learning in tutoring with the landscape model of memory
Authors: Arthur Ward, Diane Litman
Venue: Proceedings of the second workshop on Building Educational Applications Using NLP (2005)

A Landscape Model analysis, adopted from the text processing literature, was run on transcripts of tutoring sessions, and a technique developed to count the occurrence of key physics points in the resulting connection matrices. This point-count measure was found to be well correlated with learning.
Examination System Based on Script Engine Technology
Authors: Jialing Zhao, Weifeng Jiao, Wenwen Sheng
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

This paper analyses the defects of traditional web-based examination systems, and then discusses the implementation of an examination system based on script engine technology.
Effects of a context awareness tool on students' cognition of their team-mates learning time in a distance learning project activity
Authors: Margarida Romero, André Tricot, Claudette Mariné
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

Aiming to understand and enhance metacognition in Computer Supported Collaborative Learning (CSCL), we considered time management as one of students' major challenges in CSCL. In collaborative activities, students need to know and regulate their individual and collective time being aware about their own and their team-mates expected availabilities. Aiming to understand and enhance time awareness in distance learning context we introduced a methodology for the assessment of Group Time Awareness, based on the comparison of subjective and inter-subjective students' learning time perceptions. Assuming that enhancing awareness will help the collaborative learning process (McCarthy and Garavan, 2008) we hypothesize that group awareness could be improved by enhancing the reflexive properties of the Computer Learning Environment. For this purpose, we conducted an experimental study introducing a context-awareness tool in order to evaluate its impact on group time awareness scores.
Conservation of alternative paths as a method to simplify large networks
Authors: Ling Liu, Raúl J. Mondragón
Venue: Proceedings of the 1st Annual Workshop on Simplifying Complex Network for Practitioners (2009)

We introduce an algorithm to reduce the size of a network conserving the number of alternative paths. The algorithm is based on node contraction and it can take into consideration properties like direction, capacity or flow that goes through the network's link. The algorithm is applied to the Internet network to detect bottlenecks in the number of alternative paths in parts of the network.
Neuro-fuzzy icu ventilator patients modeling
Authors: Abdul Wahab, Quek Chai, Luah A H
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

Artificial ventilation is an important treatment for the patients in the intensive care unit (ICU). An important step in building an efficient decision support system for intelligent ventilation is to develop a patient model. The patient model gives an idea of how the patient will behave under different ventilator settings. The feasibility of using neuro-fuzzy systems to model the physiology of the ventilated patient was assessed. Feature selection was also performed to explore other important input variables that could model the physiological state of the patients more accurately. Even though the overall patient model do not provide a good matched prediction of the patient's arterial oxygen tension, but it is still able to provide satisfactory arterial carbon dioxide tension predictions. This thus opens up new opportunity to model the ventilated patient.