ppxscal/embedding_network huggingface dataset:
Head Orientation Estimation Using Particle Filtering in Multiview Scenarios
Authors: C. Canton-Ferrer, J. R. Casas, M. Pardàs
Venue: Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers (2008)

This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multiple calibrated cameras. Spatial redundancy is exploited and the head in the scene is approximated by an ellipsoid. Skin patches from each detected head are located in each camera view. Data fusion is performed by back-projecting skin patches from single images onto the estimated 3D head model, thus providing a synthetic reconstruction of the head appearance. A particle filter is employed to perform the estimation of the head pan angle of the person under study. A likelihood function based on the face appearance is introduced. Experimental results proving the effectiveness of the proposed algorithm are provided for the SmartRoom scenario of the CLEAR Evaluation 2007 Head Orientation dataset.
A Web-Based Remote Visualization System in Network Computing Service
Authors: Guihua Shan, Jun Liu, Xuebin Chi, Zhonghua Lu
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

Remote visualization service is an indispensable part for super computing center and network computing services. We present a web-based remote visualization system architecture - ScVisGrid. It provides a web-based interface for end users to access visualization resources in SCCAS by launching visualization tasks in interactive mode. With component-based visualization framework, the existing standalone software or new functions could be easily and flexibly integrated into remote visualization system, which makes the system convenient, flexible and scalable. Two application examples are also provided to demonstrate the usefulness of the system.
Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments
Authors: Xing Zhou, Thomas Dreibholz, Erwin P. Rathgeb
Venue: Proceedings of the 3rd Asian conference on Internet Engineering: Sustainable Internet (2007)

The IETF is currently standardizing a light-weight protocol framework for server redundancy and session failover: Reliable Server Pooling (RSerPool). It is the novel combination of ideas from different research areas into a single, resource-efficient and unified architecture. Server redundancy directly leads to the issues of load distribution and load balancing. Both are important and have to be considered for the performance of RSerPool systems. While there has already been some research on the server selection policies of RSerPool, an interesting question is still open: Is it possible to further improve the load balancing performance of the standard policies without modifying the policies --- which are well-known and widely supported --- themselves? Our approach places its focus on the session layer rather than the policies and simply lets servers reject inappropriately scheduled requests. But is this approach useful --- in particular if the server capacities increase in terms of a heterogeneous capacity distribution? Applying failover handling mechanisms of RSerPool, in this case, could choose a more appropriate server instead.In this paper, we first present a short outline of the RSerPool framework. Afterwards, we analyse and evaluate the performance of our new approach for different server capacity distributions. Especially, we are also going to analyse the impact of RSerPool protocol and system parameters on the performance of the server selection functionalities as well as on the overhead.
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
Authors: Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

We propose a formal framework based on the B method, that supports the development of secured smart card applications. Accordingly to the Common Criteria methodology, we start from a formal definition and modelling of security policies, as access control policies. At the end of the development process, smart card applications are implemented in a standardized way, based on both the life cycle of smart card applets and the APDU protocol. In this paper, we define a conformance relationship that aims at establishing how smart card applications can be related to security requirement models. This embraces both the notions of security conformance as well as traceability allowing to relate basic events appearing at the level of applications with abstract security policies. This approach has been developed in the RNTL POSÉ project, involving a smart card issuer, Gemalto.
A Hermeneutic Approach to the Notion of Information in IS
Authors: Su-Fen Wang
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

In the field of information systems (IS), `information' is probably the most important and fundamental notion. And yet, existing studies of it seem inadequate and lacking of sufficient depth, and further work is therefore desperately in need. We adopt Hermeneutics to approach the essence of information. We describe how Hermeneutics might enable us to look at the mechanism whereby information is created and information flow takes place, and explain implications this approach might have to requirement identification in IS
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems
Authors: Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha Gokhale, Thomas Damiano
Venue: Proceedings of the 4th international symposium on Service Availability (2007)

Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computing, due to the availability of real-time component middleware platforms. Traditional approaches to fault tolerance that rely on replication and recovery of a single server or a single host do not work in this paradigm since the fault management schemes must now account for the timely and simultaneous failover of groups of entities while improving system availability by minimizing the risk of simultaneous failures of replicated entities. This paper describes MDDPro, a model-driven dependability provisioning tool for DRE systems. MDDPro provides intuitive modeling abstractions to specify failover requirements of DRE systems at different granularities. MDDPro enables plugging in different replica placement algorithms to improve system availability. Finally, its generative capabilities automate the deployment and configuration of the DRE system on the underlying platforms.
Adaptive Soft-Decision Iterative Decoding Using Edge Local Complementation
Authors: Joakim Grahl Knudsen, Constanza Riera, Matthew G. Parker, Eirik Rosnes
Venue: Proceedings of the 2nd international Castle meeting on Coding Theory and Applications (2008)

We describe an operation to dynamically adapt the structure of the Tanner graph used during iterative decoding. Codes on graphs---most importantly, low-density parity-check (LDPC) codes---exploit randomness in the structure of the code. Our approach is to introduce a similar degree of controlled randomness into the operation of the message-passing decoder, to improve the performance of iterative decoding of classical structured (i.e., non-random) codes for which strong code properties are known. We use ideas similar to Halford and Chugg (IEEE Trans. on Commun., April 2008), where permutations on the columns of the parity-check matrix are drawn from the automorphism group of the code, Aut$\mathcal{(C)}$. The main contributions of our work are: 1) We maintain a graph-local perspective, which not only gives a low-complexity, distributed implementation, but also suggests novel applications of our work, and 2) we present an operation to draw from Aut$\mathcal{(C)}$ such that graph isomorphism is preserved, which maintains desirable properties while the graph is being updated. We present simulation results for the additive white Gaussian noise (AWGN) channel, which show an improvement over standard sum-product algorithm (SPA) decoding.
Algebraic structures and integrability of vector fields on R3
Authors: Stanisław P. Kasperczuk
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

In this note we discuss integrability of vector fields X: R3 → TR3 and their algebraic structures. It is shown that 3D vector fields possessing an integral of motion can be written in terms of an almost Poisson structure (R3; π′). We search the first Poisson cohomology group Hπ1(R3), which is just the the space of Poisson vector fields modulo the Hamiltonian vector fields. Then we study the Hamiltonian vector fields X = πdh on the Poisson manifold (R3; π). We define deformations of the Poisson tensor preserving Hamiltonian vector fields. At last we show that Hamiltonian systems on the Poisson manifold (R3; π) are completely integrable and always have the bi-Hamiltonian structure.
Computer simulation of topical knee cooling
Authors: Roman Trobec, Marjan Šterk, Said AlMawed, Matja Veselko
Venue: Computers in Biology and Medicine (2008)

Local topical cooling with gel-packs or cryo-cuffs is often used after surgery or after knee injuries. Mostly beneficial, but some deleterious effects have been reported in literature. The spatial distribution of heat/cold through different tissues of the knee in time may be responsible for different effects of cooling on the traumatized or inflamed tissue and have yet to be studied. Parallel computer simulation was used to study, non-invasively, temperature changes in the knee during cooling. A 3-D computer model of the knee, with a spatial resolution of 1mm, was derived from cross sections available in the visible human dataset. Heat transfer in a non-homogenous knee tissue was modeled with a diffusion equation, which was solved by the explicit finite difference method. The heat transfer between blood and tissue and tissue metabolism have also been modeled and simulated. Two different simulations were performed: cooling with a liquid at constant temperature (cryo-cuff) and topical cooling with frozen gel-packs. The simulated results were analyzed and compared with relevant measurements.
Scalable Human-Robot Interactions in Active Sensor Networks
Authors: Alexei A. Makarenko, Tobias Kaupp, Hugh F. Durrant-Whyte
Venue: IEEE Pervasive Computing (2003)

Decentralized sensor networks promise virtually unlimited scalability and can tolerate individual component failures. Interaction with human operators plays an important role in the overall system design. The authors describe an experimental active sensor network and identify modes of human-robot interaction that keep up with the network's arbitrary growth.
Energy-Efficient Simultaneous Thread Fetch from Different Cache Levels in a Soft Real-Time SMT Processor
Authors: Emre Özer, Ronald G. Dreslinski, Trevor Mudge, Stuart Biles, Krisztián Flautner
Venue: Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2008)

This paper focuses on the instruction fetch resources in a real-time SMT processor to provide an energy-efficient configuration for a soft real-time application running as a high priority thread as fast as possible while still offering decent progress in low priority or non-real-time thread(s). We propose a fetch mechanism, Fetch-around, where a high priority thread accesses the L1 ICache, and low priority threads directly access the L2. This allows both the high and low priority threads to simultaneously fetch instructions, while preventing the low priority threads from thrashing the high priority thread's ICache data. Overall, we show an energy-performance metric that is 13% better than the next best policy when the high performance thread priority is 10x that of the low performance thread.
A Bio-inspired Architecture for Cognitive Audio
Authors: Pedro Gómez-Vilda, José Manuel Ferrández-Vicente, Victoria Rodellar-Biarge, Agustín Álvarez-Marquina, Luis Miguel Mazaira-Fernández
Venue: Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks (2007)

A comprehensive view of speech and voice technologies is now demanding better and more complex tools amenable of extracting as much knowledge about sound and speech as possible. Many knowledge-extraction tasks from speech and voice share well-known procedures at the algorithmic level under the point of view of bio-inspiration. The same resources employed to decode speech phones may be used in the characterization of the speaker (gender, age, speaking group, etc.). Based on these facts the present paper examines a hierarchy of sound processing levels at the auditory and perceptual levels on the brain neural paths which can be translated into a bio-inspired audio-processing architecture. Through this paper its fundamental characteristics are analyzed in relation with current tendencies in cognitive audio processing. Examples extracted from speech processing applications in the domain of acoustic-phonetics are presented. These may find applicability in speaker's characterization, forensics, and biometry, among others.
Pattern recognition software development methodology (prsdm) based on design pattern recognition techniques and agile methodologies
Authors: Shahram Sarkani, Thomas Mazzuchi
Venue:  (2008)

Literature offers little insight into the effectiveness of the Software Development Methodologies (SDM) at different life-cycle phases of development. In comparison, plan-based methodologies, such as Waterfall, Spiral, and Iterative may offer discipline and standards in development practices. However, plan-based methodologies assume that a full listing of requirements is available prior to development and invite limited interaction with the customers prior to final product delivery. The Agile process, on the other hand, as a process, embraces the "divide and conquer" technique leading to a faster product development turn around and more client involvement. This research introduces a model that extracts and empirically tests three main software development driver constructs: Facilitating Conditions, Affect, and Perceived Consequences. These constructs are derived from a well-known human-behavior model. Our model, although it can be used for evaluating the effectiveness of different software methodologies, will be used to measure the effectiveness of the Agile methodologies at requirement, design, and implementation stages. Hypothesis testing for our model favored most the use of Agile process at implementation stage and least at design. Thus, our research introduces anew Agile methodology to enhance the effect of Agile methodologies during design life-cycle stage. We use one of Agile's methodologies, SCRUM, as a base for our methodology and then inject the Design Pattern Recognition techniques and the RAD's Time-boxed concepts to form a methodology that combines the best bred of the above-mentioned concepts.
On the Assessment of the S-Sicilia Infrastructure: A Grid-Based Business System
Authors: Carmelo Ragusa, Francesco Longo, Antonio Puliafito
Venue: Proceedings of the 5th international workshop on Grid Economics and Business Models (2008)

The enablement of the Grid paradigm for commercial solutions is a fundamental issue for both research bodies and companies. Different technologies seem to be mature to serve the purpose, but still research and experimentation is needed. In fact, the introduction of the business aspect poses new challenges such as new business models, service composition, relationships management, etc. In this paper, we present the S-Sicilia project, a 2-year collaboration between Oracle and the COMETA consortium, aiming to setup a Grid-based business infrastructure to provide business services with guaranteed QoS for companies. The system does not aim to provide answers for all business related issues, but rather be a kind of benchmark where experimentation on real cases takes place.
Towards Services Computing Curriculum
Authors: Liang-Jie Zhang, Carl K. Chang
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

Services Computing has been recognized as a new foundational discipline of the modern services industry. But there are few systematic guidelines for undergraduate and graduate programs. Services Computing Curriculum Initiative (SCCI) is an attempt to systematically integrate the best practices and result in the creation of Services Computing degree programs that are suitable for accreditation processes. Several such initiatives have been launched in a number of countries and regions. The Technical Committee on Services Computing (TC-SVC) within the IEEE Computer Society is leading the SCCI, which are being contributed by a broad, internationally based group of volunteers and participants from industry, academia, and professional societies. It is the belief of this broad based community that an innovative and agile approach to curriculum creation to meet the fast emerging needs for educating and producing more future service-centric professionals must be employed in the 21st century. This paper presents the objectives, architectural framework, body of knowledge, guidelines, recommended methods for course composition, and future directions of SCCI.
Online Estimation of Effective Delivery Capability in Delay-Tolerant Mobile Sensor Networks
Authors: Zhipeng Yang, Ha Dang, Hongyi Wu
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops (2008)

The delay-tolerant mobile sensor network (DTMSN) distinguishes itself from conventional sensor networks by several unique characteristics, such as nodal mobility, sparse connectivity, delay tolerability, and fault tolerability. Being an opportunistic network where the communication links exist with certain probabilities only and thus become the scarcest resource, the routing metrics that have been commonly adopted in conventional networks do not reflect this unique network resource of DTMSN. Therefore, they may lead to poor network performance or even failure if used for routing in DTMSN. In this work, we investigate a simple and effective online estimation approach to obtain a converged and accurate parameter that reflects the node's effective delivery capability. Specifically, we devise an exponentially weighted moving average (EWMA) approach to effectively maintain and update the routing metrics. We prove that the expectation of the EWMA parameter converges to a constant when the nodes are under statically distributed mobility and the system becomes stable as time t → ∞, and the converged value is the average data delivery rate of the node. To further validate our discussion in a close-to-realistic mobility, we conduct simulations under the CRAWDAD mobility traces. The simulation results show that EWMA closely follows the variation of the actual delivery rate and thus serves as an effective metrics for efficient routing.
Dipole polarizability and second hyperpolarizability of difluoroacetylene: Basis set dependence and electron correlation effects
Authors: Miroslav Medveď, Benoît Champagne, Jozef Noga, Eric A. Perpète
Venue: Journal of Computational Methods in Sciences and Engineering (2004)

Ab initio calculations of the static dipole polarizability and the static and dynamic second hyperpolarizabilities, including the electron correlation effects via the standard Coupled Cluster method with single and double excitations (CCSD) and non-iterative triple excitations (CCSD(T)) as well as the vibrational motion (nuclear relaxation) effects by means of the Finite Field method formulated by Kirtman and co-workers, have been carried out for difluoroacetylene (C$_2$F$_2$). The basis set dependence of the geometry parameters and molecular properties using various types of basis sets (ANO-L, POL, HyPOL, aug-cc-pVTZ) is analysed. A particular attention is devoted to the evaluation of the electron correlation effects on the vibrational contributions to the molecular properties.
Panel Beat: Layout and Timing of Comic Panels
Authors: William Bares
Venue: Proceedings of the 9th international symposium on Smart Graphics (2008)

In comic book conventions, the size of a panel is generally proportional to the amount of narrative time that passes or the amount of time a reader spends viewing the panel. This poster paper describes work in progress to develop an automated system to assist in generating comic book panel layouts from a given sequence of panel artwork, the desired narrative duration of each panel, desired reading order, and a user-provided library of preferred page layout style guidelines.
Real-Time Autostereoscopic Visualization of Registration-Generated 4D MR Image of Beating Heart
Authors: Nicholas Herlambang, Hongen Liao, Kiyoshi Matsumiya, Ken Masamune, Takeyoshi Dohi
Venue: Proceedings of the 4th international workshop on Medical Imaging and Augmented Reality (2008)

This paper presents a real-time autostereoscopic visualization system using the principle of Integral Videography(IV). We develop MIP and composite volume ray casting method for IV volume rendering, and implemented the algorithm on GPU to achieve real-time rendering. The system was used to visualize 4D MR image that was generated from registration of 3D MR image and 4D ultrasound image. The registration scheme consists of inter-modality rigid registration between 3D MR image and 3D ultrasound image and intra-modality non-rigid registration between 3D ultrasound images. Registration processes were also implemented on GPU. Evaluation of processing speed showed that GPU processing time was 48x, 13x, 21x faster than CPU processing time for IV volume rendering, rigid registration, and non-rigid registration respectively. We also enabled real-time user interactivity for IV visualization system. In the future, We plan to use this system to develop intra-operative surgery navigation system for intra-cardiac surgery on beating heart.
Existence of directed triplewhist tournaments with the three person property 3PDTWh(v)
Authors: R. J. R. Abel, F. E. Bennett, Gennian Ge
Venue: Discrete Applied Mathematics (2008)

A directed triplewhist tournament on v players, briefly DTWh(v), is said to have the three person property if no two games in the tournament have three common players. We briefly denote such a design as a 3PDTWh(v). In this paper, we show that a 3PDTWh(v) exists whenever v>17 and v=1(mod4) with few possible exceptions.
Speaker Identification by Multi-Frame Generative Models
Authors: Donato Impedovo, Mario Refice
Venue: Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security (2008)

In this paper an approach called Multi-Frame Speaker Models (MFS) is proposed, in order to cope with performance degradation generally observed over (short and medium) time and trials in Speaker Identification's task. The approach, based on generative models, uses multiple frame's length for speech processing in training and testing phase. A complete multi-expert system is also presented which is able to implement the proposed approach onthe whole set of speakers and to obtain a near optimum for the ER's reduction.