ppxscal/embedding_network huggingface dataset:
The haunted book
Authors: Camille Scherrer, Julien Pilet, Pascal Fua, Vincent Lepetit
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

This paper describes an artwork that relies on recent Computer Vision and Augmented Reality techniques to animate the illustrations of a poetry book. Because we don’t need markers, we can achieve seamless integration of real and virtual elements to create the desired atmosphere. The visualization is done on a computer screen to avoid cumbersome Head-Mounted Displays. The camera is hidden into a desk lamp for easing even more the spectator immersion.
Aesthetically-driven layout engine
Authors: Helen Y. Balinsky, Jonathan R. Howes, Anthony J. Wiley
Venue: Proceedings of the 9th ACM symposium on Document engineering (2009)

A novel Aesthetically-Driven Layout (ADL) engine for automatic production of highly customized, non-flow documents is proposed. In a non-flow document, where each page is composed of separable images and text blocks, aesthetic considerations may take precedence over the sequencing of the content. Such layout methods are most suitable for the construction of personalized catalogues, advertising flyers and sales and marketing material, all of which rely heavily on their aesthetics in order to successfully reach their intended audience. The non-flow algorithm described here permits the dynamic creation of page layouts around pre-existing static page content. Pages pre-populated with static content may include reserved areas which are filled at run-time. The remainder of a page, which is neither convex, nor simply-connected, is automatically filled with customer-relevant content by following the professional manual design strategy of multiple levels of layout resolution. The page designers preference, style and aesthetic rules are taken into account at every stage with the highest scoring layout being selected.
A Possibility-Probability Based Model for Distribution System Reliability
Authors: Jeeng-Min Ling
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

A conceptual possibility-Probability Based framework is proposed to manage the uncertainties encountered in distribution system reliability. Probability distribution of reliability parameters, the failure rate, the load point outage duration and the power injection of feeder branch are transformed consistently into the corresponding possibilistic distribution function. Under the proposed framework, a compromise between transformation consistency and human updating experience about probability reliability parameter can be satisfied. The derived possibility distribution functions are achieved for both of mean intervals and reasonable spread intervals. Three fuzzy indices, the energy not supplied (ENS) index, the system average interruption frequency index (SAIFI) and the system average interruption duration index (SAIDI), are conducted for assessing the reliability of a distribution system. A radial distribution network with 43 branches is used to demonstrate the effectiveness of the proposed fuzzy-probabilistic model.
An AGM-based belief revision mechanism for probabilistic spatio-temporal logics
Authors: Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

There is now extensive interest in reasoning about moving objects. A PST knowledge base is a set of PST-atoms which are statements of the form "Object o is/was/will be at location L at time t with probability in the interval [L,U]". In this paper, we study mechanisms for belief revision in PST-KBs. We propose multiple methods for revising PST-KBs. These methods involve finding maximally consistent subsets, as well as changing the spatial, temporal, and probabilistic components of the atoms. We show that some methods cannot satisfy the AGM axioms for belief revision, while others do but are coNP-hard. Finally we present an algorithm for revision through probability change which runs in polynomial time and satisfies the AGM axioms.
An online spatio-temporal association rule mining framework for analyzing and estimating sensor data
Authors: Hamed Chok, Le Gruenwald
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

A sensor network is a valuable new form of collective computational instrumentation by virtue of its ability to sense physical quantities of interest and to transmit such readings via sub-networks of nodes/computers for processing. Such computing environment typically generates massive amounts of data rapidly in real-time. These infinite volumes of online time-series are formally characterized as data streams. The wealth of fast incoming data streams presents both overhead and logistic challenges for sensor network applications. In this research, we introduce an online data mining framework to serve as an overhead-bounded knowledge discovery tool for sensornet applications. Our framework extends the notions of traditional association rules to multivariate continuous data and uses spatio-temporal correlations to make intelligent inferences about the monitored variables. Our mining framework is additionally pertinent to data estimation, which is an important capability given the inevitability of data loss/corruption with the current sensornet technology. Experimentation shows efficiency of our approach both in terms of overhead cost and quality of missing data estimates.
A cycle-accurate transaction level SystemC model for a serial communication bus
Authors: Syed Mahfuzul Aziz
Venue: Computers and Electrical Engineering (2009)

This paper presents a transaction level SystemC model of an avionics mission system data bus that provides cycle-accurate simulation of the bus. The mission system is a complex distributed computer network consisting of a mission control computer, radars, an array of subsystems and sensors. The data bus plays a critical role in the system as it carries all the information between the system components. Therefore modelling the bus at an appropriate level of abstraction using appropriate technology is important for evaluation of the performance of both the bus and the entire system. While models based on traditional hardware description languages (HDL) provide cycle-accurate performance estimates they are very slow and have high code complexity. In order to enhance model performance this paper presents a transaction level model (TLM) utilizing the enhanced SystemC features and levels of abstraction. The TLM model incorporates a clock-based synchronisation strategy thereby providing cycle-accurate performance estimates like the HDL models. The developed model has been validated for various payloads and system sizes. Simulation results show that the proposed SystemC transaction level model is much more efficient than models developed using conventional hardware description languages.
An analysis on crossovers for real number chromosomes in an infinite population size
Authors: Tatsuya Nomura
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

In this paper, as one approach for mathematical analysis of evolutionary algorithms with real number chromosomes, we focus our attention on crossovers, give a general framework of the description for the change of the distribution of the population through them, and verify the properties of crossovers based on the framework. This framework includes various crossover which have been proposed and we apply our result to these crossover methods.
Triplet Based Multi-core Interconnection Network and its Computational Efficiency
Authors: Haroon-Ur-Rashid, Shi Feng, Ji Wei Xing
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Any communication model can be well characterized by locality properties and, any topology has its intrinsic, structural, locality characteristics. Spatial locality of processing cores in a multi-core chip can be exploited to gain computational efficiency of a network on chip. In this paper we propose a new criterion in performance evaluation of NoC architecture that is based on the concept of group locality in an interconnection network, the "lower layer complete connect". TriBA a new idea in multi-core architectures and a direct interconnection network (DIN), is compared with 2D Mesh on single chip multi core architecture. TriBA consists of a 2D grid of small, programmable processing units, each physically connected to its three neighbors so that advantageous features of group locality can be fully and efficiently utilized for getting maximum out of an on-chip interconnection of cores. Cores on the same chip are connected via triplet-based hierarchical interconnection network (THIN), which has simple topology and computing locality characteristic. We have modeled execution of dense matrix and sorting algorithm on an on-chip multi core interconnection network. Our results show that Triplet Based interconnection architecture has strong spatial locality characteristics in comparison to the conventional 2D mesh. The computational efficiency of Triplet based interconnection is remarkable when the number of processing cores increase substantially.
Creating a 2+2 information technology degree program: the bachelor of applied science in information technology
Authors: Rebecca H. Rutherfoord, Han Reichgelt
Venue: Proceedings of the 10th ACM conference on SIG-information technology education (2009)

One of the tasks that most universities face is the problem of transfer credits for students coming from other schools. This is particularly problematic with students who attend accredited two year technical schools and receive an AAS or AAT degree. Our university has just completed an articulation agreement with technical two year colleges who offer AAS and AAT degrees. This paper will examine one of the 2+2 programs in the articulation - the BASIT (Bachelor of Applied Science in Information Technology).
Computing Stuttering Simulations
Authors: Francesco Ranzato, Francesco Tapparo
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioural equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators. While stuttering bisimulation equivalence can be computed by the well-known Groote and Vaandrager's algorithm, to the best of our knowledge, no algorithm for computing the stuttering simulation preorder and equivalence is available. This paper presents such an algorithm for finite state systems.
Immunomagnetical Reduction Using High Tc Superconducting Quantum Interference Device (SQUID)
Authors: Jen-Jie Chieh, Chi-How Chen, Shieh-Yueh Yang, Herng-Er Horng, Chin-Yih Hong, Hong-Chang Yang
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Bioinformatics and Bioengineering (2009)

In this work, we develop a platform for assaying biomolecules involving the measurement of alternating current ac magnetoreduction of magnetic reagent mixed with a detected sample. The magnetic reagent contains magnetic nanoparticles coated with a given kind of antibody, which associates with conjugated biomolecules. Then, the biomolecules can be quantitatively detected by measuring the ac magnetoreduction of magnetic reagent. To achieve hyper-high-sensitivity assay, a system utilizing a high-transition-temperature rf superconducting quantum interference device (SQUID) as a sensor to probe the magnetoreduction of reagent due to the association between biomolecules and magnetic nanoparticles. Examples to assay human CRP are given to demonstrate the validity of the assay platform, as well as the hyper-high sensitivity.
Enhancement of Mixing by Microbubble Emission Boiling in a Microfluidic Device
Authors: H. Kato, M. Yamaguchi
Venue: Journal of Visualization (2009)

The effect of microbubble emission boiling (MEB) on the mixing of two fluids in a microfluidic device was studied experimentally. When MEB occurred on an electric heater made of a platinum wire with a diameter of 30 micrometers, the mixing of the two fluids increased markedly. However, nucleate boiling had no significant effect on the mixing. A high-speed video showed that the very rapid growth and collapse of micro boiling bubbles on the heater causes the strong mixing of the two fluids. The coexistence of highly superheated and highly subcooled water near the heater seems to be the reason for such enhanced mixing.
A Hardware Accelerated Algorithm for Terrain Visualization
Authors: Mao-Jin Xie, Wei-Qun Cao
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

In recent years, rapid development of graphics hardware technology made it possible to render a large scale model in real-time. In this paper, we present a hardware accelerated algorithm for large scale terrain model visualization based on the ROAM (Real-time Optimally Adaptive Meshes) algorithm to create LOD models. GPU programming is therefore employed to calculate the vertices' transform, normal vector, texture coordinate, texture sampling and fragment lighting, and to accomplish terrain rendering. Experimental results indicate that the presented algorithm works efficiently for real-time roaming of large scale terrain.
Adaptive integration for multi-factor portfolio credit loss models
Authors: Xinzheng Huang, Cornelis W. Oosterlee
Venue: Journal of Computational and Applied Mathematics (2009)

We propose algorithms of adaptive integration for calculation of the tail probability in multi-factor credit portfolio loss models. We first modify the classical Genz-Malik rule, a deterministic multiple integration rule suitable for portfolio credit models with number of factors less than 8. Later on we arrive at the adaptive Monte Carlo integration, which essentially replaces the deterministic integration rule by antithetic random numbers. The latter can not only handle higher-dimensional models but is also able to provide reliable probabilistic error bounds. Both algorithms are asymptotic convergent and consistently outperform the plain Monte Carlo method.
A hand-arm vibration meter monitoring the percussion exposure for health risk prevention applications
Authors: Claudio De Capua, Antonella Meduri, Rosario Morello
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

In the paper a vibration meter estimating the hand-arm exposure of worker using percussion machines is proposed. The device is able to check the safety requirements and the health risk during the machine use. A recurrent exposure to high vibration levels may be cause of pathologies affecting vascular and neurological systems. With the passing of time syndromes to hand-arm bones and muscles may occur. By means of national and international regulations, maximum exposure levels to vibration are fixed so to prevent possible health risks. The projected vibration meter is equipped with three orthogonal transducers sensing the acceleration transmitted to the hand-arm system. A DSP unit processes data so to estimate the daily worker exposure to vibration according to the guidelines of the Standard ISO 5349. A memory device has the task to identify the user and to store data and information about the worker's vibration absorption. An acoustic alarm and a warning message on device display alert the worker when the ISO safety limits are exceeded. In this circumstance the worker has to stop the use of the machine. The projected system represents a tool able to assure the safety conditions during the percussion machines use. It assists the worker in order to avoid absorption of high levels of vibration according to the regulations. Trace on the vibration exposure history of the worker is kept by means of a Web page.
Influences of Age and Experience on Web-Based Problem Solving Strategies
Authors: Peter G. Fairweather
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)

Older adults experience the World Wide Web differently than younger ones do. For example, they move more slowly from page to page, take more time to complete tasks, make more repeated visits to pages, and take more time to select link targets. Age-related cognitive and physical changes have been held responsible for these differences, engendering the view that older adults do the same sorts of things as younger ones but with less efficiency, speed and precision. This paper challenges that position. To accomplish their purposes, older adults may systematically undertake different activities and use different parts of websites than younger adults do. We examined the ways a group of adults aged 18 to 73 moved through an intricate website to solve a multipart problem. As they moved through the website, users followed different paths than younger ones. However, the number of years of their experience with computers and the web did not differentiate their paths. We discuss the results and reconsider our "tally sheet" definition of experience.
A Set of Rules and Strategies for UNSAM Virtual Campus
Authors: Jorge Fernández Niello, Francisco V. Cipolla Ficarra, Mario Greco, Rodolfo Fernández-Ziegler, Silvia Bernatené, Maria Villarreal
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

We present a first set of strategies for the establishment of a virtual campus. Additionally, a set of pedagogic and communicative rules is established with the purpose of achieving a better diffusion of the university contents among the students. These rules are constantly updated according to the teaching supply and demand, and the requirements of the teachers and the students. Additionally the different components of interactive education are present as well as their main functions in the virtual campus.
The Characteristics of Orthogonal Vector-Valued Three-Dimensional Wavelet Packets with Six-Scale Dilation Factor
Authors: Suluo Song, Hong-e Wu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Wavelet analysis has been developing a widely used mathematical branch for twenty years. In this work, the notion of orthogonal vector-valued wavelet packets in higher dimensions is introduced. A feasible procedure for designing them is presented. Their properties are characterized by using time-frequency analysis method, matrix theory and finite group theory. Orthogonality formulas are established.
Environment Classification for Indoor/Outdoor Robotic Mapping
Authors: Jack Collier, Alejandro Ramirez-Serrano
Venue: Proceedings of the 2009 Canadian Conference on Computer and Robot Vision (2009)

We present a novel perception system for mapping of indoor/outdoor environments with an Unmanned GroundVehicle (UGV). The system uses image classification techniques to determine the operational environment of theUGV (indoor or outdoor). Based on the classification results, the appropriate mapping system is then deployed.Image features are extracted from video imagery andused to train a classification function using supervisedlearning techniques. This classification function is thenused to classify new imagery. A perception module observesthe classification results and switches the UGV's perception system, according to current needs and available (reliable) data as the UGV transitions from indoors to outdoors or vice versa. A terrain map that exploits GPS and Inertial Measurement Unit (IMU) data is used when operatingoutdoors, while a 2D laser based Simultaneous Localization and Mapping (SLAM) technique is used when operating indoors. Globally consistent maps are generated bytransforming the indoor map data into the global referenceframe, a capability unique to this algorithm.
Dealing with Music in Intelligent Ways
Authors: Gerhard Widmer
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

Music is not just a product of human creativity and a uniquely human means of expression, it is also a commodity of great commercial relevance. The rapid digitisation of the music market, with the global availability of ever larger amounts of music, is creating a need for musically intelligent computer systems, and lots of opportunities for exciting research.The presentation gives an impression of latest research in the field of intelligent music processing and music information retrieval. Based (mostly) on our own recent work, I discuss what it means for a computer to be musically intelligent, describe some of the techniques that are being developed, and demonstrate how entirely new musical interfaces and devices become possible with such methods --- devices that, in effect, will change the way we listen to, and interact with, music.
Asymptotics of Canonical RNA Secondary Structures
Authors: Peter Clote, Evangelos Kranakis, Danny Krizanc
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Bioinformatics and Bioengineering (2009)

It is a classical result of Stein and Waterman that the asymptotic number S(n) of RNA secondary structures is 1.104366 * pow(n,-3/2) * pow(2.61803,n),where the combinatorial model of RNA concerns a length n homopolymer, such that any base can pair with any other base, subject to the usual convention that hairpin loops must contain at least = 1 unpaired bases. The result of Stein and Waterman is proved by developing recursions,using generating functions and applying Bender's theorem. These recursions form the basis to compute the minimum free energy secondary structure for a given RNA sequence, with respect to the Nussinov energy model, later extended by Zuker to substantially more complicated resursions for the Turner nearest neighbor energy model.In this paper, we study combinatorial asymptotic for two special subclasses of RNA secondary structures - canonical and saturated structures.Canonical secondary structures are defined to have no lonely (isolated) base pairs. This class of secondary structures was introduced b y Bompfuenewerer et al., who noted that the runtime of Vienna RNA Package is substantially decreased when restricting computations to canonical structures. Here we provide an explanation for the speed-up, by proving that the asymptotic number of canonical RNA secondary structures is2.1614 * pow(n,-3/2)* pow(1.96798,n), a result obtained using different methods by Hofacker et al. Saturated secondary structures have the property that no base pairs can be added without violating the definition of secondary structure (i.e. introducing a pseudoknotor base triple). In the Nussinov energy model,where the energy for a base pair is -1, saturated structures correspond to kinetic traps.n prior work, we showed that the asymptotic number of saturated structures of a length n homopolymer is 1.07427 * pow(n,-3/2) * pow(2.35467,n). Here we determine the asymptotic expected number of base pairs in (quasi-) random saturated structures.