ppxscal/embedding_network huggingface dataset:
Route Planning for Unmanned Air Vehicles with Multiple Missions Using an Evolutionary Algorithm
Authors: Ruoding Zhang, Changwen Zheng, Ping Yan
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

In this paper, the route-planning problem for unmanned air vehicles with multiple missions is studied with the proposal of a novel evolutionary route planner. In the new planner, the individual candidates are evaluated with respect to the workspace. Therefore the computation of the configuration space is avoided. With Digital Terrain Elevation Data, our approach can find a near-optimal route that can increase the surviving probability efficiently. By using a problem-specific representation of candidate solutions and genetic operators, our algorithm can take into account different kinds of mission constraints and generate the solutions in real-time.
A Hybrid Model for Computational Morphology Application
Authors: Xu Yang, Wang Hou-feng
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 02 (2007)

Computational morphology is a core component in many different types of natural language processing, such as the alignment techniques. This paper describes a method for morphological processing. Based on both rules and statistical models, a lemmatizer is constructed to analyze the English inflectional morphology, and automatically derives the lemmas of the words. The rule model incorporates data from various corpora, machine- readable dictionaries, and an empirical metamorphose rule set, and the statistical model applies mainly the maximum entropy principles to deal with unknown words and ambiguous cases effectively. The knowledge used in our lemmatizer is convenient to update to support the development of natural language processing. Experiments show that the lemmatizer has a wide coverage and high accuracy.
A Distributed Trust-based Reputation Model in P2P System
Authors: Yu-mei Liu, Shou-bao Yang, Lei-tao Guo, Wan-ming Chen, Liang-min Guo
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

The P2P system is an anonymous and dynamic system, thus, some malicious behaviour can't be punished. In order to restrict the malicious behaviour in the P2P system, researchers have focused on establishing effective reputation systems. However, the present reputation system can't avoid the trick of the false reputation feedback. We propose a distributed trust-based reputation model in p2p system (TBRM) to avoid it. The TBRM algorithm differentiated the node's capability of providing honest quality by the nodes reputation value, and the honest evaluation by the trust value. In our model, the reputation value represented the resource quality of the provider, thus, other nodes would like this node have low reputation value. At this time, the false reputation feedback happened. In this paper, we used the trust value to restrict the false reputation feedback. For the nodes with low trust value was difficult to get the required resource, we punished the false reputation feedback by low their trust value. We show by both theoretical analysis and simulations that the proposed TBRM algorithm can get quick convergence which is 11 times, high equity for both low and high reputation nodes, and can get a high successful rate of file-downloading. When the malicious nodes' rate is 80%, the proposed TBRM is about 95% successful rate, compared to the algorithm without reputation who is only 27%.
Motivations and challenges for M-business transformation: a multiple-case study
Authors: Heng-Sheng Tsai, Raj Gururajan
Venue: Journal of Theoretical and Applied Electronic Commerce Research (2007)

With the advance of wireless technology in recent years, issues of mobile (m-) business transformation become more important for researchers and practitioners. Subsequent to e-business transformation, mobile technology creates another opportunity of innovation inside and outside businesses. However, there is still limited information for m-business transformation. Hence, this study investigates the phenomenon by answering the questions: 'Why do businesses transform into m-businesses?' And 'What are the possible challenges during the process of m-transformation?' This study uses a multiple case study method, and reports the consolidated results of 17 interviews with 6 Australian organisations depicted as a framework, and aims at identifying the factors that influence the motivations for m-transformation, as well as the possible challenges during the process. The findings of this study can provide more understanding of the phenomenon, and further form the basis for a successful m-business transformation.
Understanding awareness in mixed presence collaboration
Authors: Gregor Mcewan, Markus Rittenbruch, Tim Mansfield
Venue: Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces (2007)

Mixed presence collaboration combines distributed and collocated collaboration -- there are multiple distributed sites, each with a collocated group. While collocated collaboration and purely distributed collaboration are each the subject of rich bodies of research, the combination is less well explored. In this paper we present our initial concepts of awareness support in mixed presence collaboration. We present this as a first version model of awareness. The selected literature we have used to inform the model is drawn from collocated research and distributed research as well as the small body of work addressing mixed presence collaboration directly. In this paper we present a discussion of this relevant literature and use it to explain our model. We also offer a sample of applying the model through the use of a scenario.
Functional Test-Case Generation by a Control Transaction Graph for TLM Verification
Authors: Mohammad Reza Kakoee, M. H. Neishaburi, Siamak Mohammadi
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

Transaction level modeling allows exploring several SoC design architectures leading to better performance and easier verification of the final product. Test cases play an important role in determining the quality of a design. Inadequate test-cases may cause bugs to remain after verification. Although TLM expedites the verification of a hardware design, the problem of having high coverage test cases remains unsettled at this level of abstraction. In this paper, first, in order to generate test-cases for a TL model we present a Control-Transaction Graph (CTG) describing the behavior of a TL Model. A Control Graph is a control flow graph of a module in the design and Transactions represent the interactions such as synchronization between the modules. Second, we define dependent paths (DePaths) on the CTG as test-cases for a transaction level model. The generated DePaths can find some communication errors in simulation and detect unreachable statements concerning interactions. We also give coverage metrics for a TL model to measure the quality of the generated test-cases. Finally, we apply our method on the SystemC model of AMBA-AHB bus as a case study and generate testcases based on the CTG of this model.
Security analysis of the diebold AccuVote-TS voting machine
Authors: Ariel J. Feldman, J. Alex Halderman, Edward W. Felten
Venue: Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology (2007)

This paper presents a fully independent security study of a Diebold AccuVote-TS voting machine, including its hardware and software. We obtained the machine from a private party. Analysis of the machine, in light of real election procedures, shows that it is vulnerable to extremely serious attacks. For example, an attacker who gets physical access to a machine or its removable memory card for as little as one minute could install malicious code; malicious code on a machine could steal votes undetectably, modifying all records, logs, and counters to be consistent with the fraudulent vote count it creates. An attacker could also create malicious code that spreads automatically and silently from machine to machine during normal election activities--a voting-machine virus. We have constructed working demonstrations of these attacks in our lab. Mitigating these threats will require changes to the voting machine's hardware and software and the adoption of more rigorous election procedures.
An Improved IDEA Algorithm Based on USB Security Key
Authors: Suying Yang, Hongyan Piao, Li Zhang, Xiaobing Zheng
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

Since the IDEA algorithm has the advantage of resisting difference analysis and correlation analysis, its work pattern of random feedback is applied to USB security key to improve the system security. By distributing key based on grouping by sum checkout and using low-high-bit method to simplify the modular exponentiation, it can improve operation efficiency of IDEA algorithm. Experiments show that this algorithm can present better performance for diffusivity.
Shaded Display of Digital Maps
Authors: Sabine Coquillart, Michel Gangnet
Venue: IEEE Computer Graphics and Applications (1984)

Improved techniques of surface interpolation, clipping, and hidden-surface elimination help solve some problems in generating perspective views of digital terrain data.
The Egloo Fuzzy Web Data Source Selection Tool
Authors: Marlene Goncalves, Leonid Tineo
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

The WWW is a very large repository composed of many documents that are stored by several data sources. Web search engines allow retrieval based on keywords. Nevertheless, published documents may be incomplete, obsolete or huge. Therefore, search also might include quality criteria such as completeness, recentness, update frequency, and granularity. Traditional DBMS rigidity does not allow the expression of user preferences based on soft criteria. Fuzzy DBMS, such as SQLfi, are necessary instead. Here we present a tool for the selection of the best data sources and documents in terms of user preferences. Documents and data sources would be described according to quality parameters stored in a catalog. Retrieval would be done by means of fuzzy SQLf queries. Our tool offers a user-oriented wizard to allow the expression of requirements.
PowerPoint at 20: back to basics
Authors: Robert Gaskins
Venue: Communications of the ACM (2007)

Let simplicity inspire, and resist the lure of unreadable fonts, stock clip art, sound effects, and flying bullet points.
Security and QoS Optimization for Distributed Real Time Environment
Authors: A. Jalal, Mian Ahmad Zeb
Venue: Proceedings of the 7th IEEE International Conference on Computer and Information Technology (2007)

This paper describes the security features of Real time Transport Protocol features like confidentiality, integrity and authentication. The main goal of this research is the confidentiality to provide security to data, authentication which identify legal users, and optimization of multiple paths for Quality of Service (QoS). In multimedia application it is expected that the router should be able to forward the packet according to the demand of the packet and that packet must be confidential in all aspects. We proposed to use MARS and RIPEMD -160 for the enhanced security. MARS accommodate confidentiality while RIPEMD-160 capture overall secure authentication. For Quality of Service (QoS) we use QoS aware IP Routing protocol which maintain manual routing table for the multiple suitable paths for multicasting. By using proposed algorithms, QoS and security on internet is upgrading their performance level as compared to all the conventional IP routing for the over all multimedia wireless transmission. Keywords -- MARS, RIPEMD-160, IP Routing Protocol, Quality of Service (QoS).
Aesthetics and credibility in web site design
Authors: David Robins, Jason Holmes
Venue: Information Processing and Management: an International Journal (2008)

Web sites often provide the first impression of an organization. For many organizations, web sites are crucial to ensure sales or to procure services within. When a person opens a web site, the first impression is probably made in a few seconds, and the user will either stay or move on to the next site on the basis of many factors. One of the factors that may influence users to stay or go is the page aesthetics. Another reason may involve a user's judgment about the site's credibility. This study explores the possible link between page aesthetics and a user's judgment of the site's credibility. Our findings indicate that when the same content is presented using different levels of aesthetic treatment, the content with a higher aesthetic treatment was judged as having higher credibility. We call this the amelioration effect of visual design and aesthetics on content credibility. Our study suggests that this effect is operational within the first few seconds in which a user views a web page. Given the same content, a higher aesthetic treatment will increase perceived credibility.
Designing strategy for multi-agent system based large structural health monitoring
Authors: Xia Zhao, Shenfang Yuan, Zhenhua Yu, Weisong Ye, Jun Cao
Venue: Expert Systems with Applications: An International Journal (2008)

Density and different kinds of sensors have to be adopted to have a reliable monitoring of large scale engineering structures. To deal with the diverse, heterogeneous and distributed information obtained by these sensors at different sites on the structure, multi-agent system (MAS) based structural health monitoring (SHM) technology is researched in detail in this paper. A general framework to design the multi-agent system for large scale structural health monitoring is proposed. Compared to past work, this framework is typical and flexible, which is easy to be referenced by other researchers to develop their own multi-agent based SHM system. The design strategy of the MAS based SHM is discussed in detail, including function design, ontology design, individual agent design, facilitator design, society behavior and learning behavior design. A MAS based composite SHM system is researched as a case study to evaluate the efficiency of the proposed MAS based SHM system design strategy and the advantages of the MAS based SHM system. Very detail introduction of the implementation of this system is given in the paper.
Promoting personal responsibility for internet safety
Authors: Robert LaRose, Nora J. Rifon, Richard Enbody
Venue: Communications of the ACM (2008)

Online safety is everyone's responsibility---a concept much easier to preach than to practice.
An algol-based language for defining collateral execution of procedures in general and hybrid programming in particular
Authors: John B. Roberts
Venue: ACM SIGPLAN Notices (1969)

Augmentations to Algol 60 are presented which in the first place provide statements for the operation devices by referring to them as reserved Algol identifiers, and for the collateral execution of procedures which use different devices. While explicit sharing of a common data area is not allowed, interaction is permitted if it can be expressed through statements (syntactically similar to the device statements) which address specially defined linking primitives. In this way, reproducible behaviour is guaranteed for programmes, operating ideally asynchronous devices. Further facilities need to be defined, however, for time critical operations associated in particular with hybrid computing. Most of the facilities have been implemented by using a macro-generator.
Constrained ECG compression algorithm using the block-based discrete cosine transform
Authors: R. Benzid, A. Messaoudi, A. Boussaad
Venue: Digital Signal Processing (2008)

Presented is a novel method dedicated to ECG compression. It uses the block-based discrete cosine transform (DCT) and considers the percent root-mean-square difference (PRD) as a controlled quality criterion. The simple and efficient resulting lookup table coding in coordination with the non-zero resulting DCT coefficients adaptive linear quantization, proffer to the method a high performance. The experiments carried out on the MIT-BIH arrhythmia records point out its effectiveness and classify it as a valid concurrent to some recently published powerful methods.
Construction of a Real-time Urban Inundation Analysis System based on UIS using SWMM
Authors: Ki Uk Kim, Sung Woo Park, Seong Hyun Shin, Hyun Suk Hwang, Tae Gun Jeon, Chang Soo Kim
Venue: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications (2007)

Inundation disasters have directly affected human's lives such as traffic confusion and loss of life. Many current researches of urban flooding analysis have been focused on model development and representation methods based on Geographical Information Systems (GIS). We try to develop an integrated inundation analysis system using Urban Information Systems (UIS), Storm Water management Model(SWMM), and Ubiquitous Sensor Networks(USN) Systems. The developed system uses real-time inflow discharge data through sensors and geographical information of drainage devices. The system can provide road route information as well as inundated streets and zones based on UIS. Also, we develop a map viewer to integrate real-time and geographical data with drainage information, and the system provides detail inundation information according to users' location.
Model-based system analysis using Chi and Uppaal: An industrial case study
Authors: N. C. W. M. Braspenning, E. M. Bortnik, J. M. van de Mortel-Fronczak, J. E. Rooda
Venue: Computers in Industry (2008)

New methods and techniques are needed to reduce the integration and test effort (lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, a method called model-based integration and testing is being developed. The method allows to integrate formal and executable models of system components that are not yet physically realized with available realizations of other components. The combination of models and realizations is then used for early analysis of the integrated system by means of validation, verification, and testing. The analysis enables early detection and prevention of problems that would otherwise occur during real integration, resulting in a significant reduction of effort invested in the real integration and testing phases. This paper illustrates the application of the method to a realistic industrial case study, focusing on verification of the models obtained. We show how a system model has been developed for model-based integration and testing in the timed process algebra @g (Chi), and how certain behavioral properties of this model have been verified by the Uppaal model checker.
A CMOS optical PSD with submicrometer resolution
Authors: Ricardo Doldán, Eduardo Peralías, Alberto Yúfera, Adoración Rueda
Venue: Analog Integrated Circuits and Signal Processing (2007)

This paper presents the design of an optical Position Sensing Detector (PSD) for application in biological material gene identification. The system is able to measure changes in the position of a light spot emitted by a Vertical Cavity Surface Emitting Laser (VCSEL). Changes in spot position are produced by the deflections of a microcantilever used to sense the hybridisation process of the biological material. Detection of these deflections requires submicrometer resolution. The photodetectors and the detection algorithm proposed in this paper have been designed and optimized for this resolution. A 0.35 μm CMOS prototype consisting of an array of 22 PSDs has been implemented and experimentally characterized. The obtained results confirm that displacements of the light spot position as low as 0.15 μm can be detected.
Study on Interpolation Principle and Method for 1PS+4TPS Type Hybrid Machine Tool
Authors: Shouwen Fan, Xiaobing Wang, Mingquan Shi, Hongzhong Huang
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

This paper presents a novel hybrid machine tool (HMT) based on a 4-dof 1PS+4TPS type spatial hybrid mechanism and a x-y worktable. This type HMT enjoys some advantages relative to its conventional counterparts: large workspace, good dexterity, etc. Closed-form solutions for both the inverse displacement model and inverse kinematic model are derived. A computerized numerical control (CNC) system scheme for motion control of HMTs is proposed focusing on motion control characteristics of HMTs and based on research fruits of traditional numerical control machine tool. Real-time five-axis interpolator, which is composed of cutter path calculation, inverse displacement analysis model, inverse kinematic analysis model and PVT fine interpolation mode, are constructed. Cutter path interval calculation and interpolate error analysis are also discussed, Feasibility and efficiency of above real-time interpolator are confirmed by numerical examples.
New perspectives in autonomic design patterns for stream-classification-systems
Authors: Patrizio Dazzi, Francesco Nidito, Marco Pasquali
Venue: Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE) (2007)

Nowadays, systems are growing in size and are becoming more and more complex. Such a complexity suggests a new need for mechanisms that enable the system to self-manage, freeing administrators of low-level task management whilst delivering an optimized system. Autonomic systems sense their operating environment and automatically take action to change the environment or their own behavior. They are able to achieve it with a minimum of human effort. This is because they are: self-configuring, self-healing, self-optimizing and self-protecting. Current autonomic systems are ad hoc solutions: each system is designed and implemented from scratch i.e., there are not standard (or well-established) methodologies that autonomic system designers and/or programmers can exploit to drive their work. In this paper, we propose a design pattern that can be easily exploited by the stream-classification-systems designer to achieve autonomicity with a minimal effort. The pattern is described using a java-like notation for the classes and interfaces. A simple UML class diagram is depicted.
Designing tangible artefacts for playful interactions and dialogues
Authors: Frank Feltham, Frank Vetere, Stephan Wensveen
Venue: Proceedings of the 2007 conference on Designing pleasurable products and interfaces (2007)

This paper reports on the design process and iterative development of two tangible artefacts that aim to encourage and explore playful interactions and dialogues between grandchildren and grandparents living at separate locations. These designed prototypes respond to the Magic Box which is a cultural probe specifically created to explore playful activity at-a-distance in a non-electronic way. This paper reports on the process of project definition, technical design requirements, scenario creation and iterative prototype development. We interpret the ethnographic data from the Magic Box research; we develop activity scenarios to describe potential activities; and we design and develop working interaction prototypes to be tested in the field in future studies.