ppxscal/embedding_network huggingface dataset:
Face Recognition Based on Near-Infrared Light Using Mobile Phone
Authors: Song-Yi Han, Hyun-Ae Park, Dal-Ho Cho, Kang Ryoung Park, Sangyoun Lee
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part II (2007)

Recently, many companies have attempted to adopt biometric technology in their mobile phones. In this paper, we propose a new NIR (Near-Infra-Red) lighting face recognition method for mobile phones by using mega-pixel camera image. This paper presents four advantages and contributions over previous research. First, we propose a new eye detection method for face localization for mobile phones based on corneal specular reflections. To detect these SRs (Specular Reflections) (even for users with glasses), we propose successive On/Off activation of the dual NIR illuminators of mobile phone. Second, because the face image is captured by the NIR illuminator, the nose area can be highly saturated, which can degrade face recognition accuracy. To overcome this problem, we use a simple logarithmic image enhancement method, which is suitable for mobile phones with low processing power. Third, considering the low processing speed of mobile phones, we adopt integer-based PCA (Principal Component Analysis) method for face recognition excluding floating-point operation. Fouth, by comparing the recognition performance using the integer-based PCA to those using LDA (Linear Discriminant Analysis) and ICA (Independent Component Analysis) methods, we could know that the integer-based PCA showed better performance apt for mobile phone with NIR image.
A Hamming Maxnet That Determines all the Maxima
Authors: Konstantinos Koutroumbas
Venue: Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications (2008)

In this paper the problem of the determination of the maximum among the M members of a set of positive real numbers S is considered. More specifically, a version of the Hamming Maxnet is proposed that is able to determine all maxima of S, in contrast to the original Hamming Maxnet and most of its variants, which can not deal with multiple maxima in S. A detailed convergence analysis of the proposed network is provided. Also, the proposed version is compared with other variants of the Hamming Maxnet via simulations.
Z2SAL - Building a Model Checker for Z
Authors: John Derrick, Siobhán North, Anthony J. Simons
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

In this paper we discuss our progress towards building a model-checker for Z. The approach we take in our Z2SAL project involves implementing a translation from Z into the SAL input language, upon which the SAL toolset can be applied. The toolset includes a number of model-checkers together with a simulator. In this paper we discuss our progress towards implementing as complete as a translation as possible, the limitations we have reached and the optimizations we have made. We illustrate with a small example.
When Service Computing Meets Software Engineering
Authors: Yuhong Yan
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

Service oriented vision changes the way people design software systems, as well as how IT engineers provide services to their clients. Education in software engineering needs to respond to the new demands of service computing. In this paper, we discuss how to integrate knowledge and techniques related to service computing into the current curricula of software engineering.
Adventures in Personalized Information Access
Authors: Barry Smyth
Venue: Proceedings of the 11th European conference on Principles and Practice of Knowledge Discovery in Databases (2007)

Access to information plays an increasingly important role in our everyday lives and we have come to rely more and more on a variety of information access services to bring us the right information at the right time. Recently the traditional one-size-fits-all approach, which has informed the development of the majority of today's information access services, from search engines to portals, has been brought in to question as researchers consider the advantages of more personalized services. Such services can respond to the learned needs and preferences of individuals and groups of like-minded users. They provide for a more proactive model of information supply in place of today's reactive models of information search. In this talk we will consider the key challenges that motivate the need for a new generation of personalized information services, as well as the pitfalls that lie in wait. We will focus on a number of different information access scenarios, from e-commerce recommender systems and personalized mobile portals to community-based web search. In each case we will describe how different machine learning and data mining ideas have been harnessed to take advantage of key domain constraints in order to deliver information access interfaces that are capable of adapting to the changing needs and preferences of their users. In addition, we will describe the results of a number of user studies that highlight the potential for such technologies to significantly enhance the user experience and the ability of users to locate relevant information quickly and reliably.
Fault-tolerant sensor coverage for achieving desired coverage lifetime with minimum cost
Authors: Jie Wang
Venue:  (2008)

A wireless sensor network (WSN) is a network of sensor nodes equipped with sensing devices, embedded processors, and wireless communication devices, which provides a new way to gather data in the physical environment. Sensor nodes may fail due to component or software malfunctions, signal interference, severe weather, or other harsh physical conditions in the environment. This dissertation focuses on minimizing the cost of providing fault-tolerant sensor coverage in wireless sensor networks. In particular, this dissertation studies how to select and arrange multiple types of wireless sensors to meet the coverage requirement, the lifetime requirement, the fault-tolerance requirement, and the minimum-cost requirement, where the wireless sensor network lifetime, the acceptable failure probability of the network, and the failure rate of each type of sensors are given as parameters. This problem is NP-hard. We propose an analytical model based on reliability theory, and formulate an integer linear programming (ILP) model for the minimization problem. We present an efficient approximation algorithm to find a feasible solution to the ILP model, which provides a sensor arrangement including sensor types, the number of sensors at each site, and a sensor sleep/active schedule. We show that our approximation provides solutions with approximation ratios less than 1.4 through numerical experiments.
Like a (School of) Fish in Water (or ICT-Enhanced Skills in Action)
Authors: Evgenia Sendova, Eliza Stefanova, Nikolina Nikolova, Eugenia Kovatcheva
Venue: Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking (2008)

The paper presents pilot experiences related to an educational methodology developed within the European Innovative Teacher (I*Teach) project for building ICT-enhanced skills [1]. The methodology is presented in the context of a workshop for teachers in mathematics and informatics with a special focus on enhancing presentation skills. The authors share their experience in treating the very workshop as a project with specific stages - analyzing the audience's interests, developing a presentation scenario around a leading metaphor in harmony with the setting, distributing different roles among the presenters, involving the audience in an active reasoning and sharing. Thus the workshop has demonstrated at a meta-level how the collective intelligence of teachers could be harnessed in action. The main message is: such an approach makes teachers feel like co-creators of the I*Teach project´s ideas and teachers need only a bit of praise or encouragement to recognize themselves as innovative teachers.
A Novel Level Set Based Shape Prior Method for Liver Segmentation from MRI Images
Authors: Kan Cheng, Lixu Gu, Jianghua Wu, Wei Li, Jianrong Xu
Venue: Proceedings of the 4th international workshop on Medical Imaging and Augmented Reality (2008)

Liver segmentation in MR Image is the first step of our automated liver perfusion analysis project. Traditional Level Set methods and active contours were often used to segment the liver, but the results were not always promising due to noise and the low gradient response on the liver boundary. In this paper we propose a novel level set based variational approach that incorporates shape prior knowledge into the improved Chan-Vese's model [1] which can overcome the leakage and over-segmentation problems. The experiments are taken on abdomen MRI series and the results reveal that our improved level set based shape prior method can segment liver shape precisely and a refined liver perfusion curve without respiration affection can be achieved.
Visualizing HLA-Based Collaborative Simulation System Modeling with a UML Profile
Authors: Hengye Zhu, Guangyao Li
Venue: Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering (2008)

Collaborative simulation conduces to the efficiency improvement of complex product design. Modeling, especially visualization modeling, is among the most important steps in building a collaborative simulation system. Applying Unified Modeling Language (UML) to High Level Architecture (HLA)-based collaborative simulation system will lead to a better visualization, understanding, design and construction of the system. A UML Profile for HLA-based collaborative system modeling (UML-HLA) was proposed to extend UML on the basis of HLA-specific characteristics. Firstly, we presented the overall structure of UML-HLA, and then the stereotypes, tagged value and theirs constraints in UML-HLA were introduced. Using UML-HLA may model HLA-based collaborative simulation system visually, precisely and effectively.
Using organization knowledge to improve routing performance in wireless multi-agent networks
Authors: Huzaifa Zafar, Victor Lesser, Daniel Corkill, Deepak Ganesan
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (2008)

Multi-agent systems benefit greatly from an organization design that guides agents in determining when to communicate, how often, with whom, with what priority, and so on. However, this same organization knowledge is not utilized by general-purpose wireless network routing algorithms normally used to support agent communication. We show that incorporating organization knowledge (otherwise available only to the application layer) in the network-layer routing algorithm increases bandwidth available at the application layer by as much as 35 percent. This increased bandwidth is especially important in communication-intensive application settings, such as agent-based sensor networks, where node failures and link dynamics make providing sufficient inter-agent communication especially challenging.
A Global Workspace Framework for Combining Reasoning Systems
Authors: John Charnley, Simon Colton
Venue: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics (2008)

Stand-alone Artificial Intelligence systems for performing specific types of reasoning - such as automated theorem proving and symbolic manipulation in computer algebra systems - are numerous, highly capable and constantly improving. Moreover, systems which combine various forms of reasoning have repeatedly been shown to be more effective than stand-alone systems. For example, the ICARUS system for reformulating constraint satisfaction problems [1] and the HOMER system for conjecture making in number theory [2]. However, in general, such combinations have been ad-hoc in nature and designedwith a specific task in mind. With little general design consideration or a suitable framework for combining reasoning, in general every new combination has to be built from scratch and the resulting system is often inflexible and difficult to manage. We believe it is imperative that generic frameworks are developed if the field of combining reasoning systems is to progress. Such generic frameworkswould provide standardised rule sets and toolkits to simplify the development of combined systems.
Model-Based Generation of Interlocking Controller Software from Control Tables
Authors: Cédric Chevillat, David Carrington, Paul Strooper, Jörn Guy Süß, Luke Wildman
Venue: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications (2008)

Railroad interlocking software drives specialised micro-devices, known as interlocking controllers. These controllers primarily actuate railroad points and change signal aspects in real-time, based on sensor and timer input. Due to their central function in railroad control, interlocking controllers and their firmware are safety-critical. The firmware programs, which mimic physical relays, are written in variants of domain-specific programming languages based on ladder logic. The programs have to comply with a more abstract specification of allowable states of sections of railroad track and equipment, known as a control table. The translation of a track layout and associated control tables into ladder logic-based code is manual, and hence subject to costly review and rework cycles. In this report, we describe a case study that uses a model-driven tool-chain as an automated alternative to the existing process. The two domain languages, control table and ladder logic, were modelled and transformations were implemented between the two models, and from model to program text. We report on implementation challenges, and describe the outlook and scalability of the approach in this application domain.
Self-tuning PID Temperature Controller Based on Flexible Neural Network
Authors: Le Chen, Baoming Ge, Aníbal T. Almeida
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks (2007)

A temperature control solution is proposed in this paper, which uses a self-tuning PID controller based on flexible neural network (FNN). The learning algorithm of FNN can adjust not only the connection weights but also the sigmoid function parameters. This makes FNN characterized with online learning and high learning speed. The FNN has the following advantages when applied to temperature control problems: high learning ability, which considerably reduces the controller training time; the mathematical model of the plant is not required, which eases the design process; high control performance. These advantages are verified by its application to a practical temperature controlled box, which is used in medicinal inspection. The proposed system presents better behavior than that when using traditional back-propagation neural network.
An embodied conversational agent as a lifestyle advisor
Authors: Cameron Smith, Daniel Charlton, Li Zhang, Marc Cavazza, Jaakko Hakulinen, Markku Turunen
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers (2008)

Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversational system aimed at promoting a healthier lifestyle. The system is embodied using the Nabaztag&trade; device, a wireless plastic rabbit supporting multimodal input and output. The HFC integrates a spoken dialogue system previously developed by some of the authors, and a cognitive model, based on Hierarchical Task Network (HTN) planning, which enables the ECA to reason on the user activities and generate plans for recommended activities. A typical demonstration scenario consists in two short conversation sessions between the HFC and the user. During the first the HFC helps the user to plan her day ahead, while the second involves reporting the activities actually carried out. The system has undergone early tests with generic users, which have demonstrated its usability and stability (89% successful dialogue completions).
Interoperability between MOT and Learning Management Systems: Converting CAF to IMS QTI and IMS CP
Authors: Fawaz Ghali, Alexandra I. Cristea
Venue: Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems (2008)

The chain of applying adaptivity to Learning Management Systems (LMS) is still deficient; there is a gap between authoring adaptive materials and delivering them in LMS. In this paper, we extend My Online Teacher (MOT), an adaptive authoring system, by adding compatibility with IMS Question Test Interoperability (QTI) and IMS Content Packaging (CP). Thus, the authors can utilize the authored materials for learning process adaptation on any standards-compatible LMS. From a technical perspective, we initialize the creation of adaptive LMS by converting Common Adaptation Format (CAF), XML representation of MOT database, into IMS QTI and IMS CP, to ensure a wider uptake and use of adaptive learning systems. Finally, this work represents a significant step towards the little explored avenue of adaptive collaborative systems based on extant learning standards and popular LMS.
Pan-supplier stock control in a virtual warehouse
Authors: Emad El-Deen El-Akehal, Julian Padget
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track (2008)

We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target market is (very) low volumes over a (very) large number of items, thus agility and extremely low overheads are the essential factors for a viable business model. Being a new company (established 2004), without legacy software and with the freedom to make new choices, it was decided that the agent abstraction offered both short-term software engineering and longer-term business advantages. This expectation has been borne out in practice, in that it has been possible to construct an e-trading platform, using a 4-person team over a period of a few months, and that is now part of a live business operation handling just over 12,000 transactions daily. In this paper we explain how agents helped focus attention on the responsibilities of key software functions, how different functions should interact with one another and how to identify and propagate key performance indicator information through the system to detect unexpected behaviour. Agent technology has many potential benefits for dynamic fast-moving businesses where software requirements change quickly and business needs grow rapidly, all within a dynamic environment that has entirely different rules across the axes of geography, market, customer and competitor. Using autonomous agents allowed The Book Depository to build quickly a complex network of P2P relationships with a large number of suppliers and publishers of very different sizes who each utilize a variety of different trading and data interchange standards.
Social active listening and making of expressive music: the interactive piece the bow is bent and drawn
Authors: Antonio Camurri, Corrado Canepa, Paolo Coletta, Nicola Ferrari, Barbara Mazzarino, Gualtiero Volpe
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

This paper discusses the concepts, the interaction paradigms, the system design and implementation that have been developed for the interactive dance and music performance The Bow is bent and drawn (composer Nicola Ferrari), presented at Casa Paganini, Genova, Italy, in occasion of the opening concert of the 8th Intl. Conference on New Interfaces for Musical Expression (NIME08), June 4, 2008. The Bow is bent and drawn grounds its bases on current research at Casa Paganini -- InfoMus Lab on social active listening of sound and music content and on analysis and processing of expressiveness in human full-body movement and gesture. In particular, The Bow is bent and drawn exploits our recent system Mappe per Affetti Erranti (literally Maps for Wandering Affects), which enables a novel paradigm for social active experience and dynamic molding of expressive content of a music piece. In Mappe per Affetti Erranti multiple users can physically navigate a polyphonic music piece and can intervene in real-time on the expressive content music performance conveys through their full-body movement and gesture. The research topics addressed in this paper are currently investigated in the EUICT Project SAME (Sound and Music for Everyone, Everyday, Everywhere, Every Way, www.sameproject.eu).
On the Use of Possibilistic Bases for Local Computations in Product-Based Possibilistic Networks
Authors: Salem Benferhat, Salma Smaoui
Venue: Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence (2007)

Product-based possibilistic networks allow an efficient representation of possibility distributions. However, when the graph is multiply connected, the propagation may be unfeasible because of the high space complexity problem. In this paper, we propose a new inference approach on product-based possibilistic networks based on compact representations of possibility distributions, which are possibilistic knowledge bases.
The Secret Santa Problem
Authors: Leo Liberti, Franco Raimondi
Venue: Proceedings of the 4th international conference on Algorithmic Aspects in Information and Management (2008)

Consider a digraph where the vertices represent people and an arc (i,j) represents the possibility of i giving a gift to j. The basic question we pose is whether there is an anonymity-preserving "gift assignment" such that each person makes and receives exactly one gift, and such that no person i can infer the remaining gift assignments from the fact that i is assigned to give a gift to j. We formalize this problem as a graph property involving vertex disjoint circuit covers, give a polynomial algorithm to decide this property for any given graph and provide a computational validation of the algorithm.
The Realization of the Passive Caller Resumption about Mobile System Core Pool
Authors: Qiongqin Jiang, Wenguang Song, Min Li, Youfu Du, Lin Chen, Hang Zhang
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

With the mature technologies and products, the next generation network has been more and more concerned in China. Chinese main telecom operators are beginning to associate test or structural network in order to expand their market. The article advances a new theory to solve the failure of the current communication networks that is the implementation of the passive caller resumption. It settles the problem of the passive caller resumption by part of recipient resumption and traffic. This brings forward a better plan to resolve the failure user isn't the recipient user. It can make the passive caller return to normal in one second. This is the positive promoter action for perfecting the next generation network and it makes the next generation network a further improvement on the quality.