ppxscal/embedding_network huggingface dataset:
Cognition, Age, and Web Browsing
Authors: Vicki L Hanson
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

The literature on Web browsing indicates that older adults exhibit a number of deficiencies when compared with younger users. But have we, perhaps, been looking at the question in the wrong way when considering technology skills of older users? What are the strengths of older users that can be leveraged to support technology use? This paper considers cognitive aging with respect to distinctions in abilities that decline, and those that do not, with age. A look at specific abilities and their interactions may serve to help designers create software that meets the needs of older users.
Stochastic realisation ranking for a free word order language
Authors: Aoife Cahill, Martin Forst, Christian Rohrer
Venue: Proceedings of the Eleventh European Workshop on Natural Language Generation (2007)

We present a log-linear model that is used for ranking the string realisations produced for given corpus f-structures by a reversible broad-coverage LFG for German and compare its results with the ones achieved by the application of a language model (LM). Like other authors that have developed log-linear models for realisation ranking, we use a hybrid model that uses linguistically motivated learning features and a LM (whose score is simply integrated into the log-linear model as an additional feature) for the task of realisation ranking. We carry out a large evaluation of the model, training on over 8,600 structures and testing on 323. We observe that the contribution that the structural features make to the quality of the output is slightly greater in the case of a free word order language like German than it is in the case of English. The exact match metric improves from 27% to 37% when going from the LM-based realisation ranking to the hybrid model, BLEU score improves from 0.7306 to 0.7939.
Preparing network configurations for IPv6 renumbering
Authors: Damien Leroy, Olivier Bonaventure
Venue: International Journal of Network Management (2009)

The difficulty of renumbering a network--i.e., adding and removing an Internet Protocol (IP) prefix due to a provider change or a network merger--is a real issue for most network administrators. In this paper, we propose a set of macros that can be used in configuration files. These allow network administrators to write generic configurations that are independent of the public IPv6 prefixes allocated to their network. We explain how to apply our macros to key configuration files, namely firewall access lists, Domain Name Service and Dynamic Host Configuration Protocol, and how to use this mechanism in a full renumbering process.
Glaze: A Visualization Framework for Mobile Devices
Authors: Roberto Sousa, Valentina Nisi, Ian Oakley
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

The processing power of mobile devices is increasing steadily; their screen size suffers more fundamental limits. Given this contrast, we identify mobile information visualization which maximizes the effectiveness of small screen displays as a key area for future development. To achieve this, we present an overview of Glaze, a plug-in based visualization framework for mobile devices based on the information visualization reference model. We discuss two prototype visualizations implemented using Glaze and designed based on the output of concept generation interviews with users.
Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules
Authors: Nadja Betzler, Britta Dorn
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated according to a voting protocol. However, in realistic settings, the voters may often only provide partial orders. This directly leads to the Possible Winner problem that asks, given a set of partial votes, if a distinguished candidate can still become a winner. In this work, we consider the computational complexity of Possible Winner for the broad class of voting protocols defined by scoring rules. A scoring rule provides a score value for every position which a candidate can have in a linear order. Prominent examples include plurality, k-approval, and Borda. Generalizing previous NP-hardness results for some special cases and providing new many-one reductions, we settle the computational complexity for all but one scoring rule. More precisely, for an unbounded number of candidates and unweighted voters, we show that Possible Winner is NP-complete for all pure scoring rules except plurality, veto, and the scoring rule defined by the scoring vector (2,1,...,1,0), while it is solvable in polynomial time for plurality and veto.
Real-time Motion Stabilization with B-mode Ultrasound Using Image Speckle Information and Visual Servoing
Authors: Alexandre Krupa, Gabor Fichtinger, Gregory D. Hager
Venue: International Journal of Robotics Research (2009)

We develop visual servo control to stabilize the image of moving soft tissue in B-mode ultrasound (US) imaging. We define the target region in a B-mode US image, and automatically control a robot to manipulate a an US probe by minimizing the difference between the target and the most recently acquired US image. We exploit tissue speckle information to compute the relative pose between the probe and the target region. In-plane motion is handled by image region tracking and out-of-plane motion recovered by speckle tracking using speckle decorrelation. A visual servo control scheme is then applied to manipulate the US probe to stabilize the target region in the live US image. In a first experiment involving only translational motion, an US phan-In a first experiment involving only translational motion, an US phantom was moved by one robot while stabilizing the target with a second robot holding the US probe. In a second experiment, large six-degree-of-freedom (DOF) motions were manually applied to an US phantom while a six-DOF medical robot was controlled automatically to compensate for the probe displacement. The obtained results support the hypothesis that automated motion stabilization shows promise for a variety of US-guided medical procedures such as prostate cancer brachytherapy.
Research on Fault Diagnosis of Fork Lift Truck Hydraulic System Based on Artificial Neural Network
Authors: Heqing Li, Qing Tan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The structure and algorithm of BP neural net were described, the realization process of the fault diagnosis of hydraulic system based on BP neural net was discussed. According to the experiment and test of fault of fork lift truck hydraulic system, the BP net has better learning function, high net convergence rate and high stability of learning and memory. The diagnosis results indicate that the presented diagnosis method has high reliability and can attain the expected results, which can be applied to fault diagnosis of hydraulic system.
Algorithm Engineering --- An Attempt at a Definition
Authors: Peter Sanders
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

This paper defines algorithm engineering as a general methodology for algorithmic research. The main process in this methodology is a cycle consisting of algorithm design, analysis, implementation and experimental evaluation that resembles Popper's scientific method. Important additional issues are realistic models, algorithm libraries, benchmarks with real-world problem instances, and a strong coupling to applications. Algorithm theory with its process of subsequent modelling, design, and analysis is not a competing approach to algorithmics but an important ingredient of algorithm engineering.
Cryptanalysis of KSAm-like Algorithms
Authors: Bogdan Crainicu, Barna László Iantovics
Venue: Proceedings of the 2008 First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems. Medical Applications of the Complex Systems. Biomedical Computing (2008)

RC4 is one of the most widely used stream cipher. It is fairly simple and efficient, and is used, among other things, in WEP, TKIP and SSL/TLS protocols. Fluhrer, Mantin and Shamir show that RC4 is completely insecure in the WEP mode of operation, and most of the discovered weaknesses are related to the Key-Scheduling Algorithm (KSA) part of RC4. Crainicu and Boian propose a new variant of Key-Scheduling Algoritm, called KSAm, whose primary goal is to address the Fluhrer-Mantin-Shamir (FMS) weakness of WEP-like cryptosystems, where IV (Initialization Vector) precedes the secret key. Cryptanalysis of KSAm reveals that the FMS IV weakness is removed by destroying the FMS resolved condition. This paper summarizes the previous security analyses of KSAm, examines KSAm in the WEP mode of operation, where IV follows the secret key, and discusses new security aspects like the effect of other FMS weak keys and Roos weak keys on KSAm and the randomness of the state table’ first entries after KSAm completion.
Computing regions of interest for geometric features in digital images
Authors: Kristof Teelen, Peter Veelaert
Venue: Discrete Applied Mathematics (2009)

We present an uncertainty model for geometric transformations based on polygonal uncertainty regions and transformation polytopes. The main contribution of this paper is a systematic approach for the computation of regions of interest for features by using the uncertainty model for affine and projective transformations. The focus is on the solution of transformation problems for geometric primitives, especially lines, so that regions of interest can be computed for corresponding geometric features in distinct images.
Multi-objective Optimization of Power Control and Resource Allocation for Cognitive Wireless Networks
Authors: Yujun Bao, Hong Jiang, Yuqing Huang, Rongchun Hu
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Resource optimization is a very important aspect in cognitive radio network (CRN). It is a typical multi-objective optimization problem. This paper proposes a mixed multi-objective immune cloning genetic algorithm (MMGA) to solve the optimization of resource allocation in CRNs. Based on the genetic algorithm of non-domination sort, the MMGA adds external memory immune operator and cloning operator to effectively improve the searching performance. To evaluate the performance of MMGA, we compare it to NSGA-II with three typical test functions. From the results, the MMGA can solve multi-objective optimization problems more effectively than the NSGA-II. Simultaneously, the MMGA is used to optimize the frequency bandwidths and bandwidth–footprint product in CRNs. The simulation results show that MMGA can effectively solve the optimization of resource allocation in CRNs.
Data Integration and Exchange for Scientific Collaboration
Authors: Zachary G. Ives
Venue: Proceedings of the 6th International Workshop on Data Integration in the Life Sciences (2009)

As the sciences have become increasingly data driven, it is clear that information integration is critical to their advancement. By integrating diverse data, we can allow biologists to discover big-picture patterns or behaviors, or to do comparative analyses among different organisms or systems. By enabling collaborative editing and annotation of integrated data -- incorporating contributions from parties with different viewpoints -- we can facilitate higher-quality, better-understood data. One of the open challenges, however, lies in developing the right architectures and models for supporting effective data integration and exchange in science.
Captology and the friendly art of persuasion
Authors: Lynn Greiner
Venue: netWorker (2009)

Click here to continue.
Factor Analysis on Subjective Attributes Affecting Knitted Fabric's Comfort Sensation
Authors: Min Li, Dong-Ping Li, Wei-Yuan Zhang, Xiao-Zhong Tang
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Clothing comfort is a state of satisfaction indicating physiological, psychological and physical balance among the person. Subjective experiment is rated an end-use performance test to collect the comfort sensation of wears. In this paper, 20 samples are chosen, then subjective experiment with four processes rest, walking, running and rest is taken and questionnaire is designed to test 10 comfort properties of knitwear fabric including thermal, moisture, clinging, stifling, rough, soft, drape, prickle, tight and overall comfort. Through factor analysis, 9 kinds of subjective sensations are abstracted into 3 main factors. Factor 1 is named tactile factor including rough, prickle, soft and drape. Factor 2 is named heat-moisture factor including thermal, stifling, moisture and clinging. Factor 3 is named pressure factor including tight. Based on experimental data, a multiple regression model for predicting comfort sensations of knitted fabric is established and proved to have good predictability.
On Benchmarking Transaction Managers
Authors: Pavel Strnad, Michal Valenta
Venue: Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 (2009)

We describe an idea of measuring the performance of a transaction manager's performance. We design a very simple benchmark intended for evaluating this important component of a DB engine. Then we apply it to our own transaction manager's implementation. We also describe the implementation of the transaction manager itself. It is done as a software layer over the eXist database engine. It is a standalone module which can be used to extend eXist functionality by transactional processing when it is needed.
FRESG: A Kind of Fuzzy Description Logic Reasoner
Authors: Hailong Wang, Z. M. Ma, Junfu Yin
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Based on the fuzzy description logic F-ALC(G), we design and implement a fuzzy description logic reasoner, named FRESG1.0. FRESG1.0 can support the representation and reasoning of fuzzy data information with customized fuzzy data types and customized fuzzy data type predicates. We briefly introduce the reasoning services provided by FRESG1.0. Then, we particularize the overall architecture of FRESG1.0 and its design and implementation of the major components. In the paper, we pay more attention to illustrate the features of the reasoner as well as the algorithms and technologies adopted in the implementations.
The Allocation Optimization of Project Human Resource Based on Particle Swarm Optimization Algorithm
Authors: Shao-Qiang Wang, Li-Hua Gong, Shi-Liang Yan
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The allocation optimization of project human resource is one of the most essential aspects in a project management. A situation with employees working on tasks that they are not well-suited for can lead to a significant loss of time and resources in addition to a sub-par product or service. This paper present a project human resource allocation method based on particle swarm optimization (PSO) in a project organization. We developed the mathematical model of project human resource optimization allocation using the competency model theory, and then in order to obtain a solution efficiently, we proposed a particle swarm optimization algorithm (PSO) approach based on the decision-making model for solving the allocation optimization problem of project human resource. According to the proposed method, we applied the PSO to seek feasible solution for the problem. The effectiveness of the proposed algorithm was validated by its application to an illustrative example dealing with project human resource allocation problem.
DCN@MPLS: A Network Architectural Model for Dynamic Circuit Networking at Multiple Protocol Label Switching
Authors: Javed I. Khan, Omar Y. Tahboub
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

In this paper, we present DCN@MPLS as a architectural extension to Multi-protocol Label Switching MPLS technology that can dynamically assign time activated future routes to an MPLS-enabled routing infrastructure. Moreover, we assume that efficient route schedules have been computed by a separate optimization algorithm module linked to the DCN@MPLS route server.
The Importance of Being Formal
Authors: Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

This paper presents work in the context of the certification of a safety component for autonomous service robots, and investigates the potential advantages offered by formally modelling the domain knowledge, specification and implementation in a theorem prover in higher-order logic. This allows safety properties to be stated in an abstract manner close to textbook mathematics. The automatic proof checking alleviates correctness concerns, and provides a seamless development process from high-level safety requirements down to concrete implementation. Moreover, the formalisation can be checked for correctness automatically, and the certification review process can focus on the correctness of the specification and safety cases.
Agenda-based user simulation for bootstrapping a POMDP dialogue system
Authors: Jost Schatzmann, Blaise Thomson, Karl Weilhammer, Hui Ye, Steve Young
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)

This paper investigates the problem of bootstrapping a statistical dialogue manager without access to training data and proposes a new probabilistic agenda-based method for simulating user behaviour. In experiments with a statistical POMDP dialogue system, the simulator was realistic enough to successfully test the prototype system and train a dialogue policy. An extensive study with human subjects showed that the learned policy was highly competitive, with task completion rates above 90%.
Why People Use Social Networking Sites
Authors: Petter Bae Brandtzæg, Jan Heim
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

One of the recent popular social media platforms is the social networking site (SNS). Thus far, few previous studies have empirically investigated people's motivations for SNS usage, especially not outside the U.S. This study combines a large-scale quantitative and qualitative research design, by asking 1,200 SNS users an open question regarding their reasons for using SNSs. An important conclusion drawn from a preliminary content analysis is that people often report many motivational reasons for using SNSs. The most important reason is to get in contact with new people (31%). The second most valued was to keep in touch with their friends (21%), whereas the third was general socializing (14%). A total of 11 different reasons and several sub-reasons were identified; that all give insight into the personal incentives that drive people to use SNSs and thus contribute to our understanding of how to develop successful social networking online.
A Study of Innovation Design on Taiwan Culture Creative Product --- A Case Study of the Facial Mask of Ba Ja Jang
Authors: Chi-Hsiung Chen, Being-Chenem Chen, Cheng-Dar Jan
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

In the trend of advocating the cultural and creative industry in recent years, Taiwan elevates the people's spiritual satisfaction and the value of cultural products through the mutual impact of art/culture and the creative design. This is just a new-type industry that all nations worldwide pay attention to in recent years. This research studies on Taiwan's local Ja Jang culture transforming in the innovative design of cultural and creative products. Besides actually developing the product design of Ja Jang culture, we emphasize much more the discussion on the essence of cultural products and the construction of designing mode. According to the research result, there are four conclusions: 1. In terms of the development of Taiwan's cultural and creative industry, the focus should be on (1) centering on key industries, (2) cultivating the cultural industries with Taiwan's specialties, (3) introducing international capital, having international communication, making good use of China's resources, and (4) founding a platform of information integration. 2. The designing meanings of cultural products should contain three levels, which are the exterior level (visible and material), the middle level (of using behavior and ritual/customary), and the interior level (ideological and spiritual). 3. Comparing to attributes of general product design, the cultural product design generally changes from use-base to the elevation of symbol value to bring out the product's peculiarity and its differentiation. 4. The design mode of Taiwan's local culture is constructed, and products of global culture are brought from the age of technology to the age of design for "heart" of humanistic culture.
Personalized and Deformed Avatars for Realizing Avatar-Mediated Real Person-to-Person Communication
Authors: Masayuki Heike, Kinya Fujita, Takahiro Tanaka
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

In avatar-mediated communication, there is a potential risk of familiarity detraction caused by differences between the appearance of the user and the avatar. However, the personalized avatars did not produce familiarity against the expectation. In this study, deformation rules extracted independently of the aspects of the models are discussed by comparing seven cartoon portraits to the originals. An avatar personalizing tool based on the averaged deformation proportions was developed. It was experimentally confirmed that the personalized and deformed avatars produce more familiarity.