ppxscal/embedding_network huggingface dataset:
The Cultural Creative of Product Design for Pingtung County in Taiwan
Authors: Yen-Yu Kang, Ming-Shean Wang, Wei-Shiang Hung, Han-Yu Lin
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

Research results relies on the cooperation of National Kaohsiung Normal University Industrial Design and Cultural Affairs Department of Pingtung County. Method of Cultural Creative Design shows Pingtung County cultural connotation will display in the Pingtung County villages and towns characteristic commodity design, is helpful to the designer regarding the villages and towns discussion and the understanding. Entrusts with the new annotation and the creation using the design Taiwan multi-dimensional tribal grouping tribal group culture characteristic, expected that achievement of this research will be helpful to design on the cultural commodity in the future reference.
A Simple Time Synchronization Method for Underwater Communication Receivers
Authors: Guosong Zhang, Jens M. Hovem, Hefeng Dong, Tor A. Reinen
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

A method is developed for acoustic time synchronization/pulse acquisition suitable for use in reverberant multipath environments. This scheme uses two identical broadband synchronization pulses for the acquisition, and it is motivated by passive phase conjugation. The first pulse is used as a preamble pulse and replaces the replica signal later to correlate with the second pulse. Within the coherent time interval, a fixed threshold is used to measure the correlation coefficient between the first pulse and the second one, so it is easy and robust for the receiver to make a decision in synchronization. The method overcomes the difficulties of presetting a threshold for receivers to acquire synchronization automatically.
Marketing Strategy Reseach on Tobacco Commercial Enterprise Developing E-Commerce
Authors: Guangsheng Zhao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

In the age of internet economy, tobacco commercial enterprise that is an important channel member of the marketization tobacco industry should set up e-commerce marketing concept, should accurately position its marketing object, should focus on satisfying demand of cigarette retail customers and consumer in the process of e-commerce marketing. In the product strategy, tobacco commercial enterprise should focus on satisfying demand of cigarette retail customers and consumer; In the price strategy, it should fully consider the cost that customers are willing to pay; In the place strategy, it should fully consider the convenient of customer purchasing cigarettes; In the promotion strategy, it should pay special attention to two-way communication with customer. Only thus, tobacco commercial enterprise can play its role in the marketization process of tobacco industry.
An integrated development environment and architecture for soar-based agents
Authors: Ari Yakir, Gal Kaminka
Venue: Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2 (2007)

It is well known how challenging is the task of coding complex agents for virtual environments. This difficulty in developing and maintaining complex agents has been plaguing commercial applications of advanced agent technology in virtual environments. In this paper, we discuss development of a commercial-grade integrated development environment (IDE) and agent architecture for simulation and training in a high-fidelity virtual environment. Specifically, we focus on two key areas of contribution. First, we discuss the addition of an explicit recipe mechanism to Soar, allowing reflection. Second, we discuss the development and usage of an IDE for building agents using our architecture; the approach we take is to tightly-couple the IDE to the architecture. The result is a complete development and deployment environment for agents situated in a complex dynamic virtual world.
Probabilistic community discovery using hierarchical latent Gaussian mixture model
Authors: Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often comprise of a set of loose clusters(a.k.a communities), whose members are better connected to each other than to the rest of the network. Discovering such inherent community structures can lead to deeper understanding about the networks and therefore has raised increasing interests among researchers from various disciplines. This paper describes GWN-LDA (Generic weighted network-Latent Dirichlet Allocation) model, a hierarchical Bayesian model derived from the widely-received LDA model, for discovering probabilistic community profiles in social networks. In this model, communities are modeled as latent variables and defined as distributions over the social actor space. In addition, each social actor belongs to every community with different probability. This paper also proposes two different network encoding approaches and explores the impact of these two approaches to the community discovery performance. This model is evaluated on two research collaborative networks: CiteSeer and NanoSCI. The experimental results demonstrate that this approach is promising for discovering community structures in large-scale networks.
Modified incomplete orthogonal factorization methods using Givens rotations
Authors: Zhong-Zhi Bai, Jun-Feng Yin
Venue: Computing (2009)

We present a class of new preconditioners based on the incomplete Givens orthogonalization (IGO) methods for solving large sparse systems of linear equations. In the new methods, instead of dropping entries and accepting fill-ins according to the magnitudes of values and the sparsity patterns, we adopt a diagonal compensation strategy, in which the dropped entries are re-used by adding to the main diagonal entries of the same rows of the incomplete upper-triangular factors, possibly after suitable relaxation treatments, so that certain constraints on the preconditioning matrices are further satisfied. This strategy can make the computed preconditioning matrices possess certain desired properties, e.g., having the same weighted row sums as the target matrices. Theoretical analysis shows that these modified incomplete Givens orthogonalization (MIGO) methods can preserve certain useful properties of the original matrix, and numerical results are used to verify the stability, the accuracy, and the efficiency of the MIGO methods employed to precondition the Krylov subspace iteration methods such as GMRES. Both theoretical and numerical studies show that the MIGO methods may have the potential to present high-quality preconditioners for large sparse nonsymmetric matrices.
Load Balancing Spatial Analysis in XML/GML/SVG Based WebGIS
Authors: Haosheng Huang, Yan Li
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

This paper focuses on introducing load balancing spatial analysis into XML/GML/SVG-based WebGIS. We discuss the issues of GML-based spatial data representation and analysis, and design a load balancing middleware to dispense a spatial query and analysis to the server side or the browser side based on the cost of that spatial query. Finally, this paper designs some case studies. The results of the case studies prove that the suggested methods are feasible and operable to support spatial analysis in the Web environment, and have a good performance compared to the server side solution and the browser side solution.
Fast Single-Pass Construction of a Half-Inverted Index
Authors: Marjan Celikik, Hannah Bast
Venue: Proceedings of the 16th International Symposium on String Processing and Information Retrieval (2009)

We show how a half-inverted index can be constructed twice as fast as an ordinary inverted index. As shown in a series of recent works, the half-inverted index enables very fast prefix search, which in turn is the basis for very fast processing of many other types of advanced queries. Our construction algorithm is truly single-pass in that every posting (word occurrence) is touched (read and written) only once in the whole construction by avoiding an expensive merge of the index. The algorithm has been carefully engineered, with special attention paid to cache-efficiency and disk cost. We compared our algorithm against the state-of-the-art index construction from Zettair.
A Domain Specific Approach to Network Software Architecture: Assuring Conformance between Architecture and Code
Authors: Yan Wang, Verónica Gaspes
Venue: Proceedings of the 2009 Fourth International Conference on Digital Telecommunications (2009)

Network software is typically organized according to alayered architecture that is well understood. However, writing correct and efficient code that conforms with the architecture still remains a problem. To overcome this problem we propose to use a domain specific language based approach. The architectural constraints are captured in a domain specific notation that can be used as a source for automatic program generation. Conformance with the architecture is thus assured by construction. Knowledge from the domain allows us to generate efficient code. In addition, this approach enforces reuse of both code and designs, one of the major concerns in software architecture. In this paper, we illustrate our approach with PADDLE, a tool that generates packet processing code from packet descriptions. To describe packets we use a domain specific language of dependent types that includes packet overlays. From the description we generate C libraries for packet processing that are easy to integrate with other parts of the code. We include an evaluation of our tool.
A general framework for sound and complete Floyd-Hoare logics
Authors: Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva
Venue: ACM Transactions on Computational Logic (TOCL) (2009)

This article presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of preorders and monotone relations. We give several examples of how our theory generalizes usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (runtime analysis of while programs and stream circuits).
Collaborative Optimization of Wheel Hub Reducer Based on Reliability Theory
Authors: Xun Deng, Wenming Zhang, Lingsheng Tong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Major ideas of collaborative optimization (CO) which are applied to complex system design are introduced. Wheel Hub Reducer of Collaborative optimization has been studied based on reliability theory. And reliability constraint is applied to optimization design Within the optimization of systematic level of Collaborative Optimization, the slack variable is introduced to let the constraint of consistency equality be transformed to the constraint of non-equality, and makes easily the algorithm convergent. The results of the optimization are applied to the practical project.
Voyellation automatique de l'arabe
Authors: Fathi Debili, Hadhémi Achour
Venue: Proceedings of the Workshop on Computational Approaches to Semitic Languages (1998)

We tackle the problem of automatic, or at least assisted, vocalization, a problem that arises from the almost universal absence of vowels in Arabic texts. We show that the problem of vocalization resides in the fact that the majority of Arabic words accept several potential vocalizations and are therefore ambiguous. In essence, the problem reduces to choosing, in context, the correct vocalization from among several. We focus here on the results obtained by starting with morphological analysis and proceeding to a grammatical (part-of-speech) tagging. In the proposed system, the vocalic ambiguity is detected by means of a double dictionary of voweled and non-voweled forms. The process of resolution is set in motion starting with morphological analysis and continuing through subsequent steps. The experiments described here concern the treatment as far as grammatical (part-of-speech) tagging.
A Framework of Multi-modal Corpus for Mandarin Learning
Authors: Yang Liu, Chunting Yang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

The multi-modal corpus is established on the "theory of speech”. In this paper, a framework of multi-modal corpus for mandarin learning system is presented. The system included five layers which are the physical storage layer, the data description layer, the network layer, the filter layer and the user layer. This system framework is based on the J2EE technologies. The principles of data structure design and the information retrieval model are discussed. This multi-modal corpus covered the entire speech activity that included language, sound, image and action, so it is suitable for the computer-assisted language learning.
Implementation of ECG signal processing and analysis techniques in digital signal processor based system
Authors: D. Balasubramaniam, D. Nedumaran
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

This work describes the implementation of wavelet-based de noising algorithm on electrocardiogram (ECG) signal and detection of important parameter such as heart rate, amplitude, timings of the ECG, etc. The algorithm is implemented in DSP (TI TMS320C67x) based starter kit (DSK) with a two-electrode ECG preamplifier. The signal from the ECG preamplifier is acquired through the Codec input of the DSP starter kit. The acquired data is subjected to signal processing techniques such as removal of power line frequencies and high frequency component removal using wavelet-denoising technique. ECG component analysis such as QRS peak detection, heart rate calculation, etc is performed using nonlinear filter technique called first order derivative and moving average filter. The performance of the algorithm (such as speed, calculation efficiency, accuracy, etc) is studied in the DSP environment as well as MATLAB environment for comparison. The results of this study reveal the potentiality of the DSP system for routine clinical use.
Modeling blast wave propagation using artificial neural network methods
Authors: Ian Flood, Bryan T Bewick, Robert J Dinan, Hani A Salim
Venue: Advanced Engineering Informatics (2009)

The paper reports on work concerned with the development of artificial neural network approaches to modeling the propagation of bomb blast waves in a built-up environment. A review of current methods of modeling blast wave propagation identifies a need for a modeling system that is both fast and versatile in its scope of application. This is followed by a description of a preliminary study that used artificial neural networks to estimate peak pressures on buildings protected by simple blast barriers, using data generated from, first, an existing empirical model and, second, miniature bomb-barrier-building experiments. The first of these studies demonstrates the viability of the approach in terms of producing accurate results very rapidly. However, the study using data from live miniature bomb-barrier-building experiments was inconclusive due to a poor distribution of the sample data. The paper then describes on-going research refining this artificial neural network approach to allow the modeling of the time-wise progress of the blast wave over the surfaces of critical structures, facilitating a three-dimensional visualization of the problem. Finally, the paper outlines a proposed novel method of modeling blast wave propagation that uses a coarse-grain simulation approach combined with artificial neural networks, which has the goal of extending modeling to complicated geometries while maintaining rapid processing.
It's for you!: an iPhone development primer for the busy college professor
Authors: Michael Rogers
Venue: Journal of Computing Sciences in Colleges (2009)

The iPhone is a magnificent development platform. If your students are not already clamoring for a course or advice on how to write iPhone (as well as iPod Touch) applications, they soon will. This paper describes how you can prepare for that moment by providing a roadmap, outlining key technologies that you and your students will need to master, to be able to develop (and sell!) iPhone applications.
Computer Users Activity Analysis Using Recurrence Plot
Authors: Tomasz Rybak, Romuald Mosdorf
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

We can currently observe trend of gathering vast amounts of data about systems and users behavior. Gathered data is analyzed to get insight about behavior of users and then to detect traits of users.Currently many different methods are used to analyze data and there is still no one best method for analyzing different parameters of computer systems. We use non-linear methods to analyze gathered data because we assume that computer system is the non-linear one because of inter-program dependencies in current multi-program, multi-user operating systems. To best describe behavior of entire system we choose number of interrupts per second as analyzed variable because this value shows overall state of activity of programs being run on the system.We show that using recurrence plot can show some similarities in behavior of system, and therefore can be used to detect similarities and differences in users behavior.
Constraint-Based Case-Based Planning Using Weighted MAX-SAT
Authors: Hankui Zhuo, Qiang Yang, Lei Li
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some other cases that provide helpful knowledge in building the new solution plan. Likewise, from each existing case there may be only certain parts that can be adapted for solving the new problem. In this paper, we propose a novel constraint-based case-based planning framework that can consider all similar plans in a case base to the current problem, and take only portions of their solutions in adaptation. Our solution is to convert all similar plan cases to constraints, and use them to solve the current problem by maximally exploiting the reusable knowledge from all the similar plan cases using a weighted MAX-SAT solver. We first encode a new planning problem as a satisfiability problem, and then extract constraints from plan cases. After that, we solve the SAT problem, including the extracted constraints, using a weighted MAX-SAT solver and convert the solution to a plan to solve the new planning problem. In our experiments, we test our algorithm in three different domains from International Planning Competition (IPC) to demonstrate the efficiency and effectiveness of our approach.
On the Relationship between η-Calculus and Finite Place/Transition Petri Nets
Authors: Roland Meyer, Roberto Gorrieri
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

We clarify the relationship between &eta;-calculus and finite p/t Petri nets. The first insight is that the concurrency view to processes taken in [Eng96, AM02, BG09] and the structural view in [Mey09] are orthogonal. This allows us to define a new concurrency p/t net semantics that can be combined with the structural semantics in [Mey09]. The result is a more expressive mixed semantics, which translates precisely the so-called mixed-bounded processes into finite p/t nets. Technically, the translation relies on typing of restricted names. As second main result we show that mixed-bounded processes form the borderline to finite p/t nets. For processes just beyond this class reachability becomes undecidable and so no faithful translation into finite p/t nets exists.
Probabilistic Corner Detection for Facial Feature Extraction
Authors: Edoardo Ardizzone, Marco Cascia, Marco Morana
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

After more than 35 years of resarch, face processing is considered nowadays as one of the most important application of image analysis. It can be considered as a collection of problems (i.e., face detection, normalization, recognition and so on) each of which can be treated separately. Some face detection and face recognition techniques have reached a certain level of maturity, however facial feature extraction still represents the bottleneck of the entire process. In this paper we present a novel facial feature extraction approach that could be used for normalizing Viola-Jones detected faces and let them be recognized by an appearance-based face recognition method. For each observed feature a prior distribution is computed and used as boost map to filter the Harris corner detector response producing more feature candidates on interest region while discarding external values. Tests have been performed on both AR and BioID database using approximately 1750 faces and experimental results are very encouraging.
Educational Sound Symbols for the Visually Impaired
Authors: Steve Mannheimer, Mexhid Ferati, Davide Bolchini, Mathew Palakal
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)

Acoustic-based computer interactivity offers great potential [1], particularly with blind and visually impaired users [2]. At Indiana University's School of Informatics at IUPUI, we have developed an innovative educational approach relying on "audemes," short, nonverbal sound symbols made up of 2-5 individual sounds lasting 3-7 seconds - like expanded "earcons"[3] - to encode and prompt memory. To illustrate: An audeme for "American Civil War" includes a 3-second snippet of the song Dixie partially overlapped by a snippet of Battle Hymn of the Republic, followed by battle sounds, together lasting 5 seconds. Our focus on non-verbal sound explores the mnemonic impact of metaphoric rather than literal signification. Working for a year with BVI students, we found audemes improved encoding and long-term memory of verbal educational content, even after five months, and engaged the students in stimulating ways.
An RTSJ-based reconfigurable server component
Authors: Mohammed Alrahmawy, Andy Wellings
Venue: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (2009)

The Real-time Specification for Java provides predictable memory and scheduling models for developing real-time systems using the Java language. However, it is silent on providing communication mechanisms suitable for distributed real-time systems. In this paper we define a synchronous and asynchronous communication component model to support different synchronous and asynchronous services and show how this model can be integrated with Java RMI in order to provide high predictability and better performance.