ppxscal/embedding_network huggingface dataset:
Reconfigurable SAD tree architecture based on adaptive sub-sampling in HDTV application
Authors: Yiqing Huang, Qin Liu, Satoshi Goto, Takeshi Ikenaga
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

In H.264/AVC based integer motion estimation engine, fixed architectures based on full pixel or direct sub-sampling pattern are widely used for HDTV application. However, these architectures suffer from either high complexity or quality loss problems. In this paper, an adaptive sub-sampling based reconfigurable architecture is given out. Firstly, by executing pixel difference analysis, the adaptive sub-sampling scheme which uses three hardware friendly patterns is applied on homogeneous macroblock (MB). Secondly, the related architecture introduces one more pipeline stage to build up configurable partial SAD values so that system performance is enhanced. Thirdly, a two-level pixel data organization scheme is proposed to solve data reuse and hardware utilization problems caused by adaptive algorithm. Moreover, one cross based SAD generation structure is introduced to achieve adaptive output results with less hardware cost. Experimental results show that, the proposed architecture can averagely save 61.71% clock cycles and accomplish twice or four times processing capability for homogeneous MBs. The maximum clock frequency is 208MHz under the TSMC 0.18um technology in worst case conditions(1.62V, 125 C).
Cicero Designer: An Environment for End-User Development of Multi-Device Museum Guides
Authors: Giuseppe Ghiani, Fabio Paternò, Lucio Davide Spano
Venue: Proceedings of the 2nd International Symposium on End-User Development (2009)

This paper describes the design and implementation of a tool to allow people without programming experience to customize the functionality and user interface of a multi-device museum guide. It consists of a direct-manipulation visual environment that supports editing of the main features of a museum guide and the creation of the associated interactive games. The tool then generates application versions for access through both mobile and large screen stationary devices. We also report on a first empirical evaluation carried out with museum curators.
Designing social tools for the bees, the buzz and the beehive
Authors: Angela Button
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

Urban master-planned communities, designed for demographically mixed populations, do not necessarily give rise to meaningful social interactions that enable residents to take advantage of social and cultural diversity. This paper discusses design considerations emerging from an ongoing case study that investigates how living in a diverse master-planned community influences residents' communicative ecology. The challenge of the study is to create a design intervention that can not only facilitate the collection, visualisation and analysis of data for researchers, but also promote social connectivity among residents of the Kelvin Grove Urban Village (KGUV), Brisbane, Australia. By leveraging mashups and interest in participatory culture, it may be possible to create a novel dynamic visualisation that can capture the social, discursive and technological characteristics---"the bees, the buzz and the beehive"---of urban communities. This has the potential to create a powerful analytical research tool for user-centred, participatory research that brings us one step closer to understanding the ever-changing communicative ecology of our research participants. It may also reveal innovative ways in which we can use social media to support the social sustainability of diverse urban neighbourhoods.
Novel Method of Interconnect Worstcase Establishment with Statistically-Based Approaches
Authors: Won-Young Jung, Hyungon Kim, Yong-Ju Kim, Jae-Kyung Wee
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

In order for the interconnect effects due to process-induced variations to be applied to the designs in 0.13 μm and below, it is necessary to determine and characterize the realistic interconnect worstcase models with high accuracy and speed. This paper proposes new statistically-based approaches to the characterization of realistic interconnect worstcase models which take into account process-induced variations. The Effective Common Geometry (ECG) and Accumulated Maximum Probability (AMP) algorithms have been developed and implemented into the new statistical interconnect worstcase design environment. To verify this statistical interconnect worstcase design environment, the 31-stage ring oscillators are fabricated and measured with UMC 0.13 μm Logic process. The 15-stage ring oscillators are fabricated and measured with 0.18 μm standard CMOS process for investigating its flexibility in other technologies. The results show that the relative errors of the new method are less than 1.00%, which is two times more accurate than the conventional worstcase method. Furthermore, the new interconnect worstcase design environment improves optimization speed by 29.61–32.01% compared to that of the conventional worstcase optimization. The new statistical interconnect worstcase design environment accurately predicts the worstcase and bestcase corners of non-normal distribution where conventional methods cannot do well.
StPowla: SOA, Policies and Workflows
Authors: S. Gorton, C. Montangero, S. Reiff-Marganiec, L. Semini
Venue: Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers (2009)

We introduce StPowla, a workflow based approach to business process modelling that integrates a simple graphical notation, to ease the presentation of the core business process, a user---friendly policy language, Appel, to provide the necessary adaptation to the varied expectations of the various business stakeholders, and the Service Oriented Architecture, to assemble and orchestrate available services in the business process. We illustrate the approach with a loan approval process.
Advanced Software Testing - Vol. 1: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst (Rockynook Computing)
Authors: Rex Black
Venue:  (2008)

This book is written for the test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to put a test strategy into action. Learn how to analyze the system, taking into account the user s quality expectations. Additionally, learn how to evaluate system requirements as part of formal and informal reviews, using an understanding of the business domain to determine requirement validity. You will be able to analyze, design, implement, and execute tests, using risk considerations to determine the appropriate effort and priority for tests. You will learn how to report on testing progress and provide necessary evidence to support your evaluations of system quality.
On the inverse scattering problem in the acoustic environment
Authors: Yu Chen, Ran Duan, Vladimir Rokhlin
Venue: Journal of Computational Physics (2009)

In this paper, we construct numerical algorithms for the solution of inverse scattering problems in layered acoustic media. Our inverse scattering schemes are based on a collection of so-called trace formulae. The speed c of propagation of sound, the density @r, and the attenuation @c are the three parameters reconstructed by the algorithm, given that all of them are laterally invariant. For a medium whose parameters c,@r, and @c have m>=1 continuous derivatives, and data measured for frequencies between 0 and a>0, the error of our scheme decays as 1/a^m^-^1 as a->~. In this respect, the algorithm is similar to the Fourier Transform. Our results are illustrated with several numerical examples.
Testing Semantics for RTPA
Authors: Luis Llana, Manuel Núuñez
Venue: Fundamenta Informaticae (2009)

The language RTPA, Real Time Process Algebra, has been created to enable rigorous treatment of knowledge representation and manipulation in terms of to be I to have / to do in a formal and coherent framework. This language has been designed to cope with the three dimensions involved in the problem of software specification: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulation. In this paper we focus on giving a testing semantics to the second dimension: Process timing dimension. First, we will provide a SOS like operational semantics for the process relations of RTPA. Next, we will define what a test is and we will introduce a relation based on which tests are passed by processes. Finally, we will obtain an operational characterization that can be used as a first step to define a denotational sematics sound and complete with respect the testing semantics.
Hybrid ARQ technique employing a signal constellation rearrangement based on 256-QAM
Authors: Bin Pang, Xian-hua Dai, Han Zhang, Chang-juan Chen, Jian-qiang Liao, Zhou Xiao
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

In this paper, we introduce a Hybrid ARQ (HARQ) technique based on 256-QAM. By employing signal constellation rearrangement, the diversity of bit reliabilities caused by M-QAM signal constellation can be reduced and, thus the corresponding performance of HARQ could be enhanced. We present the standard signal constellation (Gray Mapping) of 256-QAM, in which 3 signal constellations are rearranged to derived 4 types of constellation mapping rules of 256-QAM. Simulation results confirm that the proposed techniqueperforms a noticeable gain in HARQ performance wit a lower complexity.
Design and Application of Water Displacing Oil Physical Simulation System Based on Radial Basic Function Network
Authors: Jingwen Tian, Erhong Lu, Meijuan Gao
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

The water displacing oil physical simulation system and modeling method based on radial basic function network is presented in this paper. The 512 routes strobe circuit and the constant current source which can adjust the range intelligently are designed in this simulation system. According to the approximate linear relationship between the resistance rate value and the water saturation, the resistivity is measured using four wire method. The radial basic function network was used to establish the water displacing remaining oil model. We construct the structure of radial basic function network, and adopt the K-Nearest Neighbor algorithm and least square method to train the network. The experimental results show that this simulation system and modeling method is feasible and effective.
Using a similarity measure for credible classification
Authors: M. Subasi, E. Subasi, M. Anthony, P. L. Hammer
Venue: Discrete Applied Mathematics (2009)

This paper concerns classification by Boolean functions. We investigate the classification accuracy obtained by standard classification techniques on unseen points (elements of the domain, {0,1}^n, for some n) that are similar, in particular senses, to the points that have been observed as training observations. Explicitly, we use a new measure of how similar a point x@?{0,1}^n is to a set of such points to restrict the domain of points on which we offer a classification. For points sufficiently dissimilar, no classification is given. We report on experimental results which indicate that the classification accuracies obtained on the resulting restricted domains are better than those obtained without restriction. These experiments involve a number of standard data-sets and classification techniques. We also compare the classification accuracies with those obtained by restricting the domain on which classification is given by using the Hamming distance.
Loitering Detection Using Bayesian Appearance Tracker and List of Visitors
Authors: Chung-Hsien Huang, Ming-Yu Shih, Yi-Ta Wu, Jau-Hong Kao
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

This paper presents a framework of detecting loitering pedestrians in a video surveillance system. When a pedestrian appears in the field of view of the monitoring camera, he/she is tracked by a Bayesian appearance tracker (BAT). The tracker takes the advantage of Bayesian decision to associate the detected pedestrians according to their color appearances among consecutive frames. The pedestrian's appearance is modeled as a multivariate normal distribution and recorded in a table called list of visitors (LV). LV also records time stamps when the pedestrian appears as an appearing history. Therefore, even though the pedestrian leaves and returns to the scene, he/she can still be recognized and re-identified as a locally or globally loitering suspect by using different rules. A 10-minute video about three loitering pedestrians is used to test the proposed system. They are successfully detected and recognized from other passing-by pedestrians.
Topology aware task mapping techniques: an api and case study
Authors: Abhinav Bhatelé, Eric Bohm, Laxmikant V. Kalé
Venue: Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming (2009)

Optimal network performance is critical to efficient parallel scaling for communication-bound applications on large machines. With wormhole routing, no-load latencies do not increase significantly with number of hops traveled. Yet, we, and others have recently shown that in presence of contention, message latencies can grow substantially large. Hence task mapping strategies should take the topology of the machine into account on large machines. This poster presents a uniform API which provides topology information on 3D tori like IBM Blue Gene and Cray XT machines. We present techniques to use this API to improve performance. The API can be used by user-level codes to obtain information about allocated partitions at runtime which is essential for mapping. We motivate why it is important to consider network topology, using a simple 3D Stencil kernel. We then present mapping strategies for a production code, OpenAtom, running on three-dimensional torus and mesh topologies. OpenAtom presents complex communication scenarios of interaction between multiple groups of objects. Results are presented in the context of 3D Stencil and OpenAtom on up to 16,384 processors of Blue Gene/L, 8,192 processors of Blue Gene/P and 2,048 processors of Cray XT3.
A Study on Channel Estimation Using Two-Dimensional Interpolation Filters for Mobile Digital Terrestrial Television Broadcasting
Authors: Yusuke Sakaguchi, Yuhei Nagao, Masayuki Kurosaki, Hiroshi Ochi
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

This paper presents discussion about channel fluctuation on channel estimation in digital terrestrial television broadcasting. This channel estimation uses a two-dimensional (2D) filter. In our previous work, only a structure of a lattice is considered for generation of nonrectangular 2D filter. We investigate generation of nonrectangular 2D filter with adaptive method, because we should refer to not only a lattice but also channel conditions. From the computer simulations, we show that bit error rate of the proposed filter is improved compared to that of the filter depending on only lattices.
Nonlinear Pricing with Network Externalities
Authors: Dawen Meng, Guoqiang Tian, Lei Sun
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

This paper considers the screening problem faced by a monopolist of a network good in a general setting. We fully characterize the optimal contracts in the joint presence of network externalities and asymmetric information about agents' types. We find that the pattern of consumption distortion crucially depends on the degree of network congestability. It is shown that an optimal consumption scheme exhibits a two-way distortion, no distortion on the top, or one-way distortion if and only if network is congestible, neutral-congestible or discongestible.
A fuzzy back propagation network ensemble with example classification for lot output time prediction in a wafer fab
Authors: Toly Chen, Yu-Cheng Lin
Venue: Applied Soft Computing (2009)

Lot output time prediction is a critical task to a wafer fabrication plant (wafer fab). To further enhance the accuracy of wafer lot output time prediction, the concept of clustering is applied to Chen's fuzzy back propagation network (FBPN) approach in this study by pre-classifying wafer lots before predicting their output times with several FBPNs that have the same topology. Each wafer lot category has a corresponding FBPN that is applied to predict the output times of all lots belonging to the category. In choosing the learning examples of each category, whether a wafer lot can be unambiguously classified or not and the accuracy of predicting the output time of the lot are simultaneously taken into account. To validate the effectiveness of the proposed methodology and to make comparison with some existing approaches, the actual data in a wafer fab were collected. According to experimental results, the prediction accuracy of the proposed methodology was significantly better than those of some existing approaches in most cases by achieving a 19-52% (and an average of 38%) reduction in the root-mean-square-error (RMSE). On the other hand, compared with the fuzzy c-means (FCM)-BPN-ensemble approach, the performance of the proposed methodology in the efficiency respect was indeed improved.
Efficient tail estimation for sums of correlated lognormals
Authors: Jose Blanchet, Sandeep Juneja
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Our focus is on efficient estimation of tail probabilities of sums of correlated lognormals. This problem is motivated by the tail analysis of portfolios of assets driven by correlated Black-Scholes models. We propose three different procedures that can be rigorously shown to be asymptotically optimal as the tail probability of interest decreases to zero. The first algorithm is based on importance sampling and is as easy to implement as crude Monte Carlo. The second algorithm is based on an elegant conditional Monte Carlo strategy which involves polar coordinates and the third one is an importance sampling algorithm that can be shown to be strongly efficient.
Building a Digital Forensic Laboratory
Authors: Andrew Jones, Craig Valli
Venue:  (2008)

The need to professionally and successfully conduct computer forensic investigations of incidents and crimes has never been greater. This has caused an increased requirement for information about the creation and management of computer forensic laboratories and the investigations themselves. This includes a great need for information on how to cost-effectively establish and manage a computer forensics laboratory. This book meets that need: a clearly written, non-technical book on the topic of computer forensics with emphasis on the establishment and management of a computer forensics laboratory and its subsequent support to successfully conducting computer-related crime investigations.* Provides guidance on creating and managing a computer forensics lab* Covers the regulatory and legislative environment in the US and Europe* Meets the needs of IT professionals and law enforcement as well as consultants
Reference model for devolution in e-governance
Authors: M Kashif Farooq, Shafay Shamail, Awais M. Mian
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

Centralized e-Government needs devolution similar to traditional devolutions in political, administrative and fiscal systems. Devolution in e-Governance leads towards a transformational government that provides opportunity for local governments to participate, take ownership and localize the e-services. In this paper, we present a reference model for devolution in e-Governance based on the Reference Model - Open Distributed Processing (RM-ODP). We propose a reference model for devolution in e-Government based on devolution of its major elements - enterprise, information, computational, engineering and technology viewpoints. IT and governance experts may use the proposed approach for effective achieving devolution in e-governance programs.
On the Downlink Capacity of Distributed Antenna Systems with Random Antenna Layout
Authors: Wei Feng, Yunzhou Li, Shidong Zhou, Jing Wang, Minghua Xia
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

In this paper, the downlink capacity of distributed antenna systems (DAS) with random antenna layout is investigated. When the channel state information is only available at the receiver (CSIR), a good approximation of the downlink capacity is derived by adopting random matrix theory. We also propose an iterative method to calculate the unknown parameters in the approximation. The validity of our analysis is well verified by simulations. The approximation is illustrated to be accurate and the iterative method is verified to be efficient.
Circumscribed Polygons of Small Area
Authors: Sergey Bereg, Prosenjit Bose, Adrian Dumitrescu, Ferran Hurtado, Pavel Valtr
Venue: Discrete Computational Geometry (2009)

Given any plane strictly convex region K and any positive integer n&ge; 3, there exists an inscribed 2n-gon Q 2n and a circumscribed n-gon Pn such that The inequality is the best possible, as can be easily seen by letting K be an ellipse. As a corollary, it follows that for any convex region K and any n&ge;3, there exists a circumscribed n-gon Pn such that This improves the existing bounds for 5&le;n&le;11.
A Novel Approach to the Design of Memory-Reduced Direct Digital Frequency Synthesizer for OFDM Receiver
Authors: Xiaojin Li, Linhui Lai, Ao Lei, Zongsheng Lai
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

Carrier frequency offset (CFO), whose estimation and recovery are essential important in OFDM receiver, can be corrected by tuning the frequency control word of the digital direct frequency synthesizer (DDFS). Traditional DDFS make use of modulus 2N arithmetic and may provide fine frequency tuning capabilities using a sine/cosine look up table. However, straightforward implementation results in enormous amounts of memory and power consumption. In this paper, a novel DDFS has been proposed. Its phase accumulator and ROM are split into three smaller parts based on the trigonometric function transform, and also are compressed and optimized. Performance analysis has been carried out and shows that 96% and 61% memory reduction can be achieved compared with Moran and Memoyo's method and Kesoulis's method, respectively. The design will be implemented in OFDM such as DVB-T receiver systems
A multiscale Eulerian&#x2013;Lagrangian localized adjoint method for transient advection&#x2013;diffusion equations with oscillatory coefficients
Authors: Hong Wang, Yabin Ding, Kaixin Wang, Richard E. Ewing, Yalchin R. Efendiev
Venue: Computing and Visualization in Science (2009)

We develop a multiscale Eulerian&#x2013;Lagrangian localized adjoint method for transient linear advection&#x2013; diffusion equations with oscillatory coefficients, which arise in mathematical models for describing flow and transport through heterogeneous porous media, composite material design, and other applications.