ppxscal/embedding_network huggingface dataset:
Real-Time Gesture Recognition Using Maskable Template Model
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

In this paper we describe a new method for real-time gesture recognition and its application. The key idea of the method is that we use multiple template models for specific feature parts of body such as arms and estimate the pose of this part by comparing similarities of an input image to the models. To calculate the similarity for the part, we developed Maskable Template Model(MTM) with which both masking and template matching operations are simultaneously completed. As an application of this method, we realize a real-time interactive system, Gesture Game System, which can activate the characters of video game by gestures in real-time. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Electromagnetic analysis of band-pass filters using half wavelength hollow resonators
Authors: Pablo L. Lopez, Jose M. Zamanillo, Rocio Sanchez, Jose F. Pasamon, Francisco Calvo, Carlos Perez
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

In this paper we present the study of electromagnetic simulation as a research tool for microwave filters. We have started from the classic coupled lines filter. This way, we can obtain the frequency response and also the electric field distribution. Later, we have introduced ladder line and hollow structures into the classic filter to show the variations in the filter behaviour. These structures have been used to reduce filter size or to improve the insertion losses. Several filters have been constructed and measured to validate the results obtained by simulation.
Field emission from tungsten carbide on W tips
Authors: Sun Jianping
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

Field emission patterns of tungsten carbide film formed on a tungsten tip surface were observed after the tungsten tip was annealed at appropriate experimental conditions. Current voltage characteristic of the tungsten carbide film was measured in situ, and its work function was self-consistently calculated to be 3.73 eV according to the Fowler-Nordheim theory. Compared with clean tungsten tips, the work function of the tungsten tip coated with tungsten carbide film is lowered and the emission current stability is improved, which indicates the usefulness of tungsten carbide in the development of field emitters.
SOA Governance
Authors: Todd Biske
Venue:  (2008)

This book is for enterprise architects, technical leaders, and senior IT managers who wish to implement SOA Governance into their companies. This book assumes that the reader has a basic familiarity with service-oriented architecture and software development lifecycle methodologies. The reader does not need detailed knowledge of web services technologies.
Key technology research and analysis of H.264/AVC suitable for wireless network
Authors: Yun-Peng Liu, San-Yuan Zhang, Shu-Chang Xu, Yin Zhang
Venue: Proceedings of the 3rd WSEAS international conference on Circuits, systems, signal and telecommunications (2009)

The emergence of H.264/AVC video compression standard provides better support functions for wireless network. The characteristics of limited bandwidth, high error rate of wireless channel and the constraints of computing and storage capacity of most mobile devices make the key technology of video codec in error resilience strategies, rate control, mode decision and scalable extension more important. In this paper, we first analyze the main and popular strategies in the key technology, and then we propose a method to choose and combine these strategies to validate the results and performance by experiment. Experiment shows the rational use of these technologies improves the quality of video transmission and provides reference for the video service evaluation.
A software requirements analysis and definition methodology for business data processing
Authors: Isao Miyamoto, Raymond T. Yeh
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

A well-defined set of work breakdown structures for requirements analysis and definition activities, three levels of system modeling techniques, and the application methodologies are proposed. The experimental result in using the proposed requirements-engineering methodology is introduced and shows remarkable improvement in the quality of requirements documents. The methodology was originally developed for the business data processings.
Research of PWM drive method for high gray scale TFT-LCD
Authors: Ran Feng, Yao Ruipeng, Tang Zhijie, Xu Meihua
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

This paper presents an efficient pulse width modulation (EPWM) drive method, which is used to implement the driving controller for TFT-LCD with high gray scale. To solve the time redundancy issues in the traditional pulse width modulation (TPWM) drive method, the proposed method divides the display panel into several sub-partitions and scans the sub-partitions alternately, and the gray data and vanishing signals are transmitted with separate wires in driving controllers. It's theoretically proved that the drive efficiency can achieve 100% for any gray scale display systems with EPWM, and the implementation also shows that, comparing with the TPWM method, the minimum clock frequency in the TFT-LCD systems can greatly reduced with the proposed method.
Proceedings of the 40th Conference on Winter Simulation
Authors: Scott Mason, Ray Hill, Lars Mönch, Oliver Rose
Venue: Winter Simulation Conference (2008)

The Winter Simulation Conference (WSC) is recognized as the premiere international conference for simulation professionals in discrete and combined discrete-continuous simulation. WSC is always located in stimulating locations, and in 2008 we are delighted to hold the conference in Miami, Florida. WSC 2008 marks the first time since 1978 that the conference has been held in Miami. The conference theme this year is Global Gateway to Discovery, a reference to the unlimited discoveries that are possible through the application of simulation, the international appeal of the conference, and the historical role that the host location has played for generations of explorers. WSC 2008 features a comprehensive program ranging from introductory tutorials to state-of-the-art research and practice. WSC 2008 will also incorporate, for the first time, the MASM (Modeling and Analysis for Semiconductor Manufacturing) Conference, the leading modeling and analysis conference for global semiconductor manufacturing and supply chain operations. MASM will feature an international panel discussion titled "Modeling and Analysis of Semiconductor Manufacturing in a Shrinking World: Challenges and Successes". As part of the conference theme of 'Global Gateway to Discovery', WSC 2008 will feature a track titled 'Simulation Around the World', highlighting the uses of simulation in different global regions. WSC 2008 will also offer a pre-conference workshop on simulation, Simulation 101, where participants learn about discrete-event simulation in a day-long setting that includes lecture and hands-on laboratory exercises.
Semantic Externalism and the Mechanics of Thought
Authors: Carrie Figdor
Venue: Minds and Machines (2009)

I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.
Some complexity problems on single input double output controllers
Authors: K. M. Hangos, Zs. Tuza, A. Yeo
Venue: Discrete Applied Mathematics (2009)

We investigate the time complexity of constructing single input double output state feedback controller structures, given the directed structure graph G of a system. Such a controller structure defines a restricted type of P"3-partition of the graph G. A necessary condition (*) is described and some classes of graphs are identified where the search problem of finding a feasible P"3-partition is polynomially solvable and, in addition, (*) is not only necessary but also sufficient for the existence of a P"3-partition. It is also proved that the decision problem on two particular graph classes - defined in terms of forbidden subgraphs - remains NP-complete, but is polynomially solvable on the intersection of those two classes. The polynomial-time solvability of some further related problems is shown, too.
Interference Suppression Capability of Array Antenna Using Cyclic Prefix in Block Transmission
Authors: Hiroaki Watahiki, Teruyuki Miyajima
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

In block transmission systems, performance degrades due to inter-block interference (IBI) when there are multipaths with delays exceeding cyclic prefix (CP) length. An interesting technique to overcome this problem is an array antenna proposed by Hori et al., which restores the CP property by minimizing a cost function. However, its performance has not been theoretically cleared. In this letter, the performance of a method which minimizes the cost function under a unit norm constraint is analyzed. It is shown that the method can suppress IBI and its interference suppression capability depends on a certain parameter. The analytical result is verified through computer simulation.
A class of bivariate exponential distributions
Authors: Giuliana Regoli
Venue: Journal of Multivariate Analysis (2009)

We introduce a class of absolutely continuous bivariate exponential distributions, generated from quadratic forms of standard multivariate normal variates. This class is quite flexible and tractable, since it is regulated by two parameters only, derived from the matrices of the quadratic forms: the correlation and the correlation of the squares of marginal components. A simple representation of the whole class is given in terms of 4-dimensional matrices. Integral forms allow evaluating the distribution function and the density function in most of the cases. The class is introduced as a subclass of bivariate distributions with chi-square marginals; bounds for the dimension of the generating normal variable are underlined in the general case. Finally, we sketch the extension to the multivariate case.
Formal Verification of Out-of-Order Processor
Authors: Yanyan Gao, Xi Li
Venue: Proceedings of the 2009 International Conference on Computer Modeling and Simulation (2009)

Out-of-order execution is a fundamental technique to achieve instruction-level parallelization in processor designs. The verification of out-of-order processor is a main challenge in processor design. This paper presents a formal method to model and check the correctness of out-of-order design at instruction level. This method is based on model checking, a widely used formal verification technique. The rules to generate properties an out-of-order design should satisfy are also provided. The abstracted model can be verified with NuSMV, a popular model checking tool. If the properties cannot be satisfied, a counterexample is created to help correct the design.
Interspliced transcription chimeras: Neglected pathological mechanism infiltrating gene accession queries?
Authors: Martti Tolvanen, Pauli J. Ojala, Petri Törönen, Heidi Anderson, Jukka Partanen, Hannu Turpeinen
Venue: Journal of Biomedical Informatics (2009)

Over half of the DNA of mammalian genomes is transcribed, and one of the emerging enigmas in the field of RNA research is intergenic splicing or transcription induced chimerism. We argue that fused low-copy-number transcripts constitute neglected pathological mechanism akin to copy number variation, due to loss of stoichiometric subunit ratios in protein complexes. An obstacle for transcriptomics meta-analysis of published microarrays is the traditional nomenclature of merged transcript neighbors under same accession codes. Tandem transcripts cover 4-20% of genomes but are only loosely overlapping in population. They were most enriched in systems medicine annotations concerning neurology, thalassemia and genital disorders in the GeneGo Inc. MetaCore-MetaDrug^T^M knowledgebase, evaluated with external randomizations here. Clinical transcriptomics is good news since new disease etiologies offer new remedies. We identified homeotic HOX-transfactors centered around BMI-1, the Grb2 adaptor network, the kallikrein system, and thalassemia RNA surveillance as vulnerable hotspot chimeras. As a cure, RNA interference would require verification of chimerism from symptomatic tissue contra healthy control tissue from the same patient.
Bridging distance between actual and potential development: A case of using ICT mediated consultation tool
Authors: D. Ng'Ambi, S. Goodman
Venue: Education and Information Technologies (2009)

It is an ongoing challenge in higher education context to design appropriate learning tasks for students that balances the diversity in student knowledge and variable skills with student's potential to learn under guidance. Obtaining feedback from students on what they know is made more complicated when students are passive during learning activities. In this paper we report on a project that ran over 2 years in which 67 students (28 in 2005; 39 in 2006) from culturally diverse socio-historical backgrounds used an anonymous knowledge sharing tool, the dynamic frequently asked questions (DFAQ) to engage with authentic learning tasks in an Organisational Learning Module. The module was part of the Organisational Psychology honours degree programme at a higher learning institution. The students used the DFAQ tool to consult with both peers and faculty staff. DFAQ is a special purpose web-based tool with a Short Message Services (SMS) interface. A thematic analysis was conducted on students' experiences gathered from focus group discussions. Artefacts from DFAQ are also analysed. The paper reports that DFAQ mediated the educator's access to the students' level of understanding and the potential to learn under guidance. The DFAQ tool therefore allowed the educator to provide students with appropriate guidance that met individual students' knowledge gaps. The paper concludes that DFAQ mediated access to the gap between actual and potential development, stimulated knowledge sharing, peer learning and impacted on pedagogical designs of learning tasks.
Providing dynamically changeable physical buttons on a visual display
Authors: Chris Harrison, Scott E. Hudson
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Physical buttons have the unique ability to provide low-attention and vision-free interactions through their intuitive tactile clues. Unfortunately, the physicality of these interfaces makes them static, limiting the number and types of user interfaces they can support. On the other hand, touch screen technologies provide the ultimate interface flexibility, but offer no inherent tactile qualities. In this paper, we describe a technique that seeks to occupy the space between these two extremes - offering some of the flexibility of touch screens, while retaining the beneficial tactile properties of physical interfaces. The outcome of our investigations is a visual display that contains deformable areas, able to produce physical buttons and other interface elements. These tactile features can be dynamically brought into and out of the interface, and otherwise manipulated under program control. The surfaces we describe provide the full dynamics of a visual display (through rear projection) as well as allowing for multitouch input (though an infrared lighting and camera setup behind the display). To illustrate the tactile capabilities of the surfaces, we describe a number of variations we uncovered in our exploration and prototyping. These go beyond simple on/off actuation and can be combined to provide a range of different possible tactile expressions. A preliminary user study indicates that our dynamic buttons perform much like physical buttons in tactile search tasks.
How big must complete XML query languages be?
Authors: Clemens Ley, Michael Benedikt
Venue: Proceedings of the 12th International Conference on Database Theory (2009)

Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete -- that is it cannot express every query definable in firstorder logic over the navigational predicates. How can one extend XPath to get a first-order complete language? Marx has shown that Conditional XPath -- an extension of XPath with an "Until" operator -- is first order complete. The completeness argument makes essential use of the presence of upward axes in Conditional XPath. We examine whether it is possible to get "forward-only" languages that are first-order complete for XML Boolean queries. It is easy to see that a variant of the temporal logic CTL* is first-order complete; the variant has path quantifiers for downward, leftward and rightward paths, while along a path one can check arbitrary formulas of linear temporal logic (LTL). This language has two major disadvantages: it requires path quantification in both horizontal directions (in particular, it requires looking backward at the prior siblings of a node), and it requires the consideration of formulas of LTL of arbitrary complexity on vertical paths. This last is in contrast with Marx's Conditional XPath, which requires only the checking of a single Until operator on a path. We investigate whether either of these restrictions can be eliminated. Our main results are negative ones. We show that if we restrict our CTL* language by having an until operator in only one horizontal direction, then we lose completeness. We also show that no restriction to a "small" subset of LTL along vertical paths is sufficient for first order completeness. Smallness here means of bounded "Until Depth", a measure of complexity of LTL formulas defined by Etessami and Wilke. In particular, it follows from our work that Conditional XPath with only forward axes is not expressively complete; this extends results proved by Rabinovich and Maoz in the context of infinite unordered trees.
Different wideband direction of arrival (DOA) estimation methods: an overview
Authors: Sandeep Santosh, O. P. Sahu, Monika Aggarwal
Venue: Proceedings of the 8th conference on Signal, Speech and image processing (2008)

This paper presents an overview of different types of wideband direction of Arrival (DOA) estimation methods. Direction-finding algorithms have straight forward applications in Sonar and Radar, and are also useful in advanced satellite and cellular communication systems for adaptive beamforming of smart antennas. Coherent Signal Subspace Processing (CSSM), one of the earliest wideband DOA estimation method constructs a single signal subspace for high resolution estimation of angles of arrival of multiple-wideband plane waves. The second approach called the Weighted Average of Signal Subspaces (WAVES) combines a robust near-optimal data-adaptive statistic. This method is used with an enhanced design of focusing matrices to ensure a statistically robust preprocessing of wideband data. Test of Orthogonality of Projected Subspaces (TOPS), the most recent wideband DOA estimation method estimates DOAs by measuring the orthogonal relation between the signal and noise subspaces of multiple frequency components of the sources. The TOPS method performs better than others in mid signal-to-noise ratio (SNR) ranges, while CSSM and WAVES work better in low SNR. Incoherent methods like IMUSIC works best at high SNR.
A New Optimization Algorithm for Weight Optimization
Authors: Hui Li, Xuesong Yan
Venue: Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence (2008)

Particle Swarm Optimization algorithm was developed under the inspiration of behavior laws of bird flocks, fish schools and human communities. Aiming at the disadvantages of Particle Swarm Optimization algorithm like being trapped easily into a local optimum, this paper improves the standard PSO and proposes a new algorithm to solve the overcomes of the standard PSO. The new algorithm keeps not only the fast convergence speed characteristic of PSO, but effectively improves the capability of overall searching as well. We use the new algorithm for the weight optimization in college student evaluation, and compared with PSO, the results show that the new algorithm is efficient.
Transforming State-Based Models to P Systems Models in Practice
Authors: Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe
Venue: Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers (2009)

We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is able to take as input a Communicating X-machine model written in an appropriately designed language (XMDL) and produce a Population P System in another notation (PPSDL). The latter contains only transformation and communication rules. However, the user can further enhance the models with more rules that deal with the reconfiguration of structure of the network of cells. XMDL, PPSDL and their accompanied compilers and animators are briefly presented. The principles of transformations and the transformation templates of the compiler are discussed. We use an example model of a biological system, namely an ant colony, to demonstrate the usefulness of this approach.
Defining Insight for Visual Analytics
Authors: Remco Chang, Caroline Ziemkiewicz, Tera Marie Green, William Ribarsky
Venue: IEEE Computer Graphics and Applications (2009)

Many have proposed that the goal of visualization is insight. However, few rigorous definitions of insight exist in the visualization community, and none have been commonly accepted. We propose that two types of insight are relevant to the visualization community. We examine the definition of insight cognitive scientists use (spontaneous insight) and compare it with the definitions the visualization community uses (knowledge-building insight). The two, although distinct, are related and contribute toward each other. Only by understanding how the two types differ and interact with each other can the visualization community accurately measure insight and determine the effectiveness of visualizations.
Energy aware dwelling: a critical survey of interaction design for eco-visualizations
Authors: James Pierce, William Odom, Eli Blevis
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

Eco-visualizations (EVs) are any kind of interactive device targeted at revealing energy use in order to promote sustainable behaviours or foster positive attitudes towards sustainable practices. There are some interesting, informative, highly creative, and delightful EVs now available. This paper provides a critical survey of several noteworthy EVs and classifies them in terms of scale and contexts of use. The paper attempts to provide a foundation for practitioners to design new EVs in more varied scales and contexts and for researchers to continue to refine understandings of how effective EVs can be and how EVs can be made to be more effective. The paper describes (i) feedback types and use-contexts for classifying EVs and (ii) strategies for designing effective EVs.