ppxscal/embedding_network huggingface dataset:
Combining Facial Appearance and Dynamics for Face Recognition
Authors: Ning Ye, Terence Sim
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

In this paper, we present a novel hybrid feature for face recognition. This hybrid feature is created by combining the traditional holistic facial appearance feature with a recently proposed facial dynamics feature. We measure and compare the inherent discriminating power of this hybrid feature and the holistic facial appearance feature by the statistical separability between genuine feature distance and impostor feature distance. Our measurement indicates that the hybrid feature is more discriminative than the appearance feature.
Contrastive summarization: an experiment with consumer reviews
Authors: Kevin Lerman, Ryan McDonald
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)

Contrastive summarization is the problem of jointly generating summaries for two entities in order to highlight their differences. In this paper we present an investigation into contrastive summarization through an implementation and evaluation of a contrastive opinion summarizer in the consumer reviews domain.
Active Semi-Supervised Clustering Based on Multi-View Learning
Authors: Xue Zhang, Dong-yan Zhao, Shan Wei, Wang-xin Xiao
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

This paper proposes two new semi-supervised clustering methods based on the combination of multiview,active and semi-supervised learning. Farthest-first traversal scheme is proposed to select the seed set for each cluster. Under the multi-view framework,these two proposed algorithms explore the active learning from two aspects, that is, active seed set selection and active query construction. Experimental results on both Chinese and English data sets show that our proposed algorithms outperform the baseline Constrained KMeans(CKM) and its active version(ACKM).
Experiences in Global Software Development - A Framework-Based Analysis of Distributed Product Development Projects
Authors: Michael T. Lane, Pär J. Agerfalk
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Many authors have reported on various challenges and benefits encountered by teams engaged in Global software development (GSD). Previous research has proposed a framework to structure these challenges and benefits within dimensions of distance and process. In this paper, the framework was used as an analytic device to investigate various projects performed by distributed teams in order to explore further the mechanisms used in industry both to overcome obstacles posed by distance and process challenges and also to exploit potential benefits enabled by global software development.
Building and Browsing Tropos Models: The AVI Design
Authors: Tania Mascio, Anna Perini, Luca Sabatucci, Angelo Susi
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 paper proposes the use of the HCI paradigm and techniques to support software system designers in building and browsing visual models during the development of complex distributed systems. In particular, we adopt Usability Evaluation Methods (UEMs) to analyse the first version of the interface of TAOM4E, the tool supporting the Tropos Agent-Oriented methodology. Using the results of this usability study, we collect different requirements to design an Advanced Visual Interface (AVI) of TAOM4E taking into account requirements of supporting software designers during Tropos models design process browsing.
Social Default Theories
Authors: Chiaki Sakama
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

This paper studies a default logic for social reasoning in multiagent systems. A social default theory is a collection of default theories with which each agent reasons and behaves by taking attitudes of other agents into account. The semantics of a social default theory is given as social extensions which represent the agreement of beliefs of individual agents in a society. We show the use of social default theories for representing social attitudes of agents and for reasoning in cooperative planning and negotiation among multiple agents.
Discovering Relevant Cross-Graph Cliques in Dynamic Networks
Authors: Loïc Cerf, Tran Bao Nguyen, Jean-François Boulicaut
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

Several algorithms, namely CubeMiner, Trias, and Data-Peeler, have been recently proposed to mine closed patterns in ternary relations. We consider here the specific context where a ternary relation denotes the value of a graph adjacency matrix at different timestamps. Then, we discuss the constraint-based extraction of patterns in such dynamic graphs. We formalize the concept of ¿-contiguous closed 3-clique and we discuss the availability of a complete algorithm for mining them. It is based on a specialization of the enumeration strategy implemented in Data-Peeler. Indeed, clique relevancy can be specified by means of a conjunction of constraints which can be efficiently exploited. The added-value of our strategy is assessed on a real dataset about a public bicycle renting system. The raw data encode the relationships between the renting stations during one year. The extracted ¿-contiguous closed 3-cliques are shown to be consistent with our domain knowledge on the considered city.
Modelling of hot-carrier degradation and its application for analog design for reliability
Authors: Benoit Dubois, Jean-Baptiste Kammerer, Luc Hébrard, Francis Braun
Venue: Microelectronics Journal (2009)

An analytical CMOS transistor ageing model is presented and a new procedure that allows the extraction of its parameters are presented in this paper. Then, we show how this model can be used to forecast and understand the drifts of the main characteristics of a CMOS circuit. Further, we demonstrate that this model can also be used to help the analog designer to choose and/or modify a circuit in order to minimise the hot-carrier induced degradations. Finally, we use an ageing simulation tool realised in VHDL-AMS to validate the analytical study, and we present our first experimental results.
Hyperequivalence of logic programs with respect to supported models
Authors: Mirosław Truszczynski, Stefan Woltran
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the stable-model semantics. However, other semantics for logic programs are also of interest, especially the semantics of supported models which, when properly generalized, is closely related to the autoepistemic logic of Moore. In this paper, we consider a framework of equivalence notions for logic programs under the supported (minimal) model-semantics and provide characterizations for this framework in model-theoretic terms. We use these characterizations to derive complexity results concerning testing hyperequivalence of logic programs wrt supported (minimal) models.
Usability evaluation of a Volkswagen Group in-vehicle speech system
Authors: Jackie C. Chang, Annie Lien, Brian Lathrop, Holger Hees
Venue: Proceedings of the 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications (2009)

Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at the cost of the driver splitting attention between the primary task of driving and other secondary tasks. To demonstrate one process we use for generating continuous improvements to the usability of our infotainment systems, we discuss a study where 30 participants were asked to interact with the speech dialogue system of a Volkswagen Group in-vehicle speech system. Participants performed tasks in telephone, navigation, and map contexts. Tasks were timed and videotaped for analysis of three performance measures: 1) Task Completion, 2) Task Time, and 3) participant rating of Task Difficulty. From this analysis, we identified issues that are especially important to the interaction between the system and the driver, which we categorized into a few broad areas: System Organization, Push-To-Talk Functionality, Data Entry, and Speech Commands. Analysis of the issues specific to each category and usability recommendations for each are discussed.
The Module Design of Map Projection Transformation Based on Object-Oriented
Authors: Wang Jiechen, Chen Yanming, Li Li, Li Lifan
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Map projection transformation is the important part of cartography, and plays the key role in GIS. With the continuous updating and improvement on geographical data, it has become very urgent to meet the demand of assimilating geographic information by map projection transformation. Projection transformation is one of the essential models for lots of widely used GIS software and the development of GIS software available. In the paper, the object-oriented method is introduced to realize the module design of map projection transformation, the process of design and implementation is discussed in details, and advantages of this method applying to map projection transformation is also analyzed. In all, the method is beneficial to the implementation of fast and efficient programming, and has such advantages as strong scalability and easy maintenance.
Camera-Based Online Signature Verification with Sequential Marginal Likelihood Change Detector
Authors: Daigo Muramatsu, Kumiko Yasuda, Satoshi Shirato, Takashi Matsumoto
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

Several online signature verification systems that use cameras have been proposed. These systems obtain online signature data from video images by tracking the pen tip. Such systems are very useful because special devices such as pen-operated digital tablets are not necessary. One drawback, however, is that if the captured images are blurred, pen tip tracking may fail, which causes performance degradation. To solve this problem, here we propose a scheme to detect such images and re-estimate the pen tip position associated with the blurred images. Our pen tracking algorithm is implemented by using the sequential Monte Carlo method, and a sequential marginal likelihood is used for blurred image detection. Preliminary experiments were performed using private data consisting of 390 genuine signatures and 1560 forged signatures. The experimental results show that the proposed algorithm improved performance in terms of verification accuracy. 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
Applications of lexical information for algorithmically composing multiple-choice cloze items
Authors: Chao-Lin Liu, Chun-Hung Wang, Zhao-Ming Gao, Shang-Ming Huang
Venue: Proceedings of the second workshop on Building Educational Applications Using NLP (2005)

We report experience in applying techniques for natural language processing to algorithmically generating test items for both reading and listening cloze items. We propose a word sense disambiguation-based method for locating sentences in which designated words carry specific senses, and apply a collocation-based method for selecting distractors that are necessary for multiple-choice cloze items. Experimental results indicate that our system was able to produce a usable item for every 1.6 items it returned. We also attempt to measure distance between sounds of words by considering phonetic features of the words. With the help of voice synthesizers, we were able to assist the task of composing listening cloze items. By providing both reading and listening cloze items, we would like to offer a somewhat adaptive system for assisting Taiwanese children in learning English vocabulary.
Downlink resource allocation for autonomous infrastructure-based multihop cellular networks
Authors: Mahdi Shabany, Elvino S. Sousa
Venue: EURASIP Journal on Advances in Signal Processing (2009)

Considering a multihop cellular system with one relay per sector, an effective modeling for the joint base-station/relay assignment, rate allocation, and routing scheme is proposed and formulated under a single problem for the downlink. This problem is then formulated as a multidimensional multichoice knapsack problem (MMKP) to maximize the total achieved throughput in the network. The well-known MMKP algorithm based on Lagrange multipliers is modified, which results in a near-optimal solution with a linear complexity. The notion of the infeasibility factor is also introduced to adjust the transmit power of base stations and relays adaptively. To reduce the complexity, and in order to analyze the underlying key factors in the system, the framework is restricted to a two-base-station two-relay system. In fact, the output of the proposed algorithm is the joint optimization of the routing path, and base-station selection to achieve the maximum total throughput in the system, which in conjunction with the proposed adaptive scheme leads to the implementation of the cell breathing via allocating the proper transmit power to the base-stations and relays.
Cluster Ensemble Based on Particle Swarm Optimization
Authors: Li-ying Yang, Jun-ying Zhang, Wen-jun Wang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Motivated by the success of ensemble methods in supervised learning problem, cluster ensembles have started to gain an increasing interest. Since the absence of labeled training data, cluster ensemble is a more challenging task than multiple classifiers system. In this paper, a novel weighted combination model of multiple partitions was proposed, in which Particle swarm optimization algorithm was used to optimize the parameter. Adopting error rate as the fitness function, weights vector was treated as a particle in the search space. Then the task is converted into an optimization problem for minimum. An experimental investigation was performed on UCI Repository and encouraging results were obtained. The proposed combination model obtained the best performance on 8 out of 9 data sets. On the remained one data, which is relatively smaller, its performance is between the best individual and the worst. Over fitting might be the answer for the worse behavior on smaller data set. So the proposed model is superior given larger data sets.
Multi-objective Immune Optimization in Dynamic Environments and Its Application to Signal Simulation
Authors: Zhuhong Zhang, Shuqu Qian
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

A novel immune optimization technique, associated toPareto optimality and the humoral immunity of the immunesystem is proposed to solve a class of multi-objective optimization problems with the time-dependent decision space. Four immune operators, elitism evolution, rearrangement, immune regulation and memory pool, are designed to adapt to the changing environment so that the technique can achieve a reasonable tradeoff between convergence and diversity. Experimental results show that the proposed algorithm performs well over the algorithms compared.
Reliability-Aware Energy Management for Periodic Real-Time Tasks
Authors: Dakai Zhu, Hakan Aydin
Venue: IEEE Transactions on Computers (2009)

Dynamic Voltage and Frequency Scaling (DVFS) has been widely used to manage energy in real-time embedded systems. However, it was recently shown that DVFS has direct and adverse effects on system reliability. In this work, we investigate static and dynamic reliability-aware energy management schemes to minimize energy consumption for periodic real-time systems while preserving system reliability. Focusing on earliest deadline first (EDF) scheduling, we first show that the static version of the problem is NP-hard and propose two task-level utilization-based heuristics. Then, we develop a job-level online scheme by building on the idea of wrapper-tasks, to monitor and manage dynamic slack efficiently in reliability-aware settings. The feasibility of the dynamic scheme is formally proved. Finally, we present two integrated approaches to reclaim both static and dynamic slack at runtime. To preserve system reliability, the proposed schemes incorporate recovery tasks/jobs into the schedule as needed, while still using the remaining slack for energy savings. The proposed schemes are evaluated through extensive simulations. The results confirm that all the proposed schemes can preserve the system reliability, while the ordinary (but reliability-ignorant) energy management schemes result in drastically decreased system reliability. For the static heuristics, the energy savings are close to what can be achieved by an optimal solution by a margin of 5 percent. By effectively exploiting the runtime slack, the dynamic schemes can achieve additional energy savings while preserving system reliability.
Remote Sensing Images Fusion Algorithm Based on Shearlet Transform
Authors: Chengzhi Deng, Shengqian Wang, Xi Chen
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

The shearlet can give an asymptotic optimal representation of edges and contours in images by virtue of it characteristics of good multiresolution and high directionality. In this paper, a novel image fusion strategy is presented for panchromatic high resolution images and multispectral images in shearlet transform domain. The fusion algorithm use the intensity component addition strategy based on LHS transform to preserve spatial resolution and color content. The experimental results demonstrate that the proposed algorithm, compared to intensity-hue-saturation (IHS) transform technique, corresponding wavelet transform-based fusion method, and contourlet transform-based fusion method, can improve spatial resolution and keep spectral information. In addition, the proposed algorithm can extract more useful information from source images, and make the fused image with higher performance in terms of both visual quality and objective evaluation criteria.
Functional Integrity of Multi-agent Computational System Supported by Component-Based Implementation
Authors: Kamil Piętak, Adam Woś, Aleksander Byrski, Marek Kisiel-Dorohinicki
Venue: Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2009)

In the paper a formalism is proposed to describe the hierarchy of multi-agent systems, particularly suitable for the design of a certain class of distributed computational intelligence systems. The notions of algorithms and dependencies among them are introduced, which allow for the formulation of functional integrity conditions for the whole system. General considerations are illustrated by modeling a specific case of an evolutionary multi-agent system. Component techniques introduced in AgE computing environment facilitate the implementation of the system in such a way that algorithm dependencies are represented as contracts, which support checking of the system's functional integrity.
Implementation and Comparison of AODV and OLSR Routing Protocols in an Ad-Hoc Network over Bluetooth
Authors: Gorka Hernando, José María Cabero, José Luis Jodrá, Susana Pérez
Venue: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (2009)

Ad-Hoc networking is one of the most impacting architectures in the development of the Future Internet, where the nodes are expected to be wireless and mobile. Unlike the traditional IP-based and simulation-based approaches inside the Ad-Hoc research field, this work presents a real implementation of proactive (OLSR) and reactive protocols (AODV) over real Bluetooth devices (non-IP approach) in static and dynamic scenarios. Along the paper we point out many handicaps that have been solved in order to make Bluetooth work as supporting technology (the need for a previously established connection to, the lack of broadcast messages, the overhead...). We have carried out a set of experiments to compare the potential and limitations of both protocols.This work was developed inside the Future Internet project supported by the Basque Government within the ETORTEK Programme and the FuSeN project supported by the Spanish Ministerio de Ciencia e Innovación.
Real-time Visual Tracker by Stream Processing
Authors: Oscar Mateo Lozano, Kazuhiro Otsuka
Venue: Journal of Signal Processing Systems (2009)

In this work, we implement a real-time visual tracker that targets the position and 3D pose of objects in video sequences, specifically faces. The use of stream processors for the computations and efficient Sparse-Template-based particle filtering allows us to achieve real-time processing even when tracking multiple objects simultaneously in high-resolution video frames. Stream processing is a relatively new computing paradigm that permits the expression and execution of data-parallel algorithms with great efficiency and minimum effort. Using a GPU (graphics processing unit, a consumer-grade stream processor) and the NVIDIA CUDA¿ technology, we can achieve performance improvements as large as ten times compared to a similar CPU-only tracker. At the same time, the Stream processing approach opens the door to other computing devices, like the Cell/BE¿ or other multicore CPUs.
A Clinical Decision Support System for Metabolism Synthesis
Authors: Qunyi Zhou
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Improving the quality of healthcare, reducing medical errors, guarantying the safety of patients is the most serious duty of the hospital. In this paper, a practical guideline-based clinical decision support system for metabolism synthesis is proposed. Firstly, the medical logic model was established; secondly, the model was automatically converted to the ruler sets which could be used in computer for inference; further, integrating with the clinical information system, a clinical decision support was realized. Through the clinical evaluation, the system can provide the valid clinical decision-making support service.
FAXtrac: Fast Extraction of Disk Layout
Authors: Xiaowen Chu, Kai Ouyang, Xiaolei Chang
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

The low-level disk characteristics play a vital role for the I/O performance optimization in disk storage systems. This paper presents FAXtrac, a tool for automatically and efficiently extracting the exact disk layout, i.e., the number of sectors of each disk track. FAXtrac includes three algorithms, namely SptExplore, TrackExplore, and RemoveNoise, to ensure the correctness and speediness of the extraction of disk layout. We tested FAXtrac on a number of different disk models. It took only 75 minutes to extract the detailed disk layout for a 250GB SATA disk, which shortened the time by two orders of magnitude as compared with an existing solution. We believe that FAXtrac is a valuable tool for the hard disk storage research community.