ppxscal/embedding_network huggingface dataset:
An Image Processing System Research on Target and Rendezvous Status Identification of Missile and Plane
Authors: Chengtian Song, Keyong Wang, Lian Zheng
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

Approach of feature extraction about image rendezvous status recognition has been presented. Applying the algorithm about thinning image to rendezvous angel recognition, laser imaging fuze has been designed. This kind of image processing system including plane target identification and the engagement of missile and plane identification. The validity of the system has been validated.
The cost of doing science on the cloud: the Montage example
Authors: Ewa Deelman, Gurmeet Singh, Miron Livny, Bruce Berriman, John Good
Venue: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008)

Utility grids such as the Amazon EC2 cloud and Amazon S3 offer computational and storage resources that can be used on-demand for a fee by compute and data-intensive applications. The cost of running an application on such a cloud depends on the compute, storage and communication resources it will provision and consume. Different execution plans of the same application may result in significantly different costs. Using the Amazon cloud fee structure and a real-life astronomy application, we study via simulation the cost performance tradeoffs of different execution and resource provisioning plans. We also study these trade-offs in the context of the storage and communication fees of Amazon S3 when used for long-term application data archival. Our results show that by provisioning the right amount of storage and compute resources, cost can be significantly reduced with no significant impact on application performance.
Czech Pitch Contour Modeling Using Linear Prediction
Authors: Petr Horák
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

Present Czech TTS systems can produce synthetic speech with high intelligibility but low naturalness. The difference between natural and synthetic speech is still too high. Naturalness of the synthetic speech is given by the signal modeling and by the prosody modeling. This paper deals with the improving of the synthetic prosody modeling especially with the improving of the intonation modeling. A mathematical model of the pitch contour modeling can significantly limit the complexity of intonational rules creation and increase the naturalness of resulting synthetic speech. The linear prediction inonational model has been implemented into TTS system Epos for practical use. This built-in inonational model uses excitation by rules and provides in conjunction with a new triphone time domain inventories more naturalness synthetic speech than previous direct intonational rules.
Statistical Debugging Using Latent Topic Models
Authors: David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu
Venue: Proceedings of the 18th European conference on Machine Learning (2007)

Statistical debugging uses machine learning to model program failures and help identify root causes of bugs. We approach this task using a novel Delta-Latent-Dirichlet-Allocation model. We model execution traces attributed to failed runs of a program as being generated by two types of latent topics: normal usage topics and bug topics. Execution traces attributed to successful runs of the same program, however, are modeled by usage topics only. Joint modeling of both kinds of traces allows us to identify weak bug topics that would otherwise remain undetected. We perform model inference with collapsed Gibbs sampling. In quantitative evaluations on four real programs, our model produces bug topics highly correlated to the true bugs, as measured by the Rand index. Qualitative evaluation by domain experts suggests that our model outperforms existing statistical methods for bug cause identification, and may help support other software tasks not addressed by earlier models.
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Authors: Elzbieta Krepska, Nicola Bonzanni, Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri Bal, Jaap Heringa
Venue: Proceedings of the 1st international workshop on Formal Methods in Systems Biology (2008)

Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets for further analyses and in-silico experiments. Instead of extending the formalism with ,,colours" or rates, as is most often done, we focus on preserving the simplicity of the formalism and developing an execution semantics which resembles biology --- we apply a principle of maximal parallelism and introduce the novel concept of bounded execution with overshooting. A number of modelling solutions are demonstrated using the example of the well-studied C. elegans vulval development process. To date our model is still under development, but first results, based on Monte Carlo simulations, are promising.
Complete algorithm for fragmentation in data warehouse
Authors: Ziyati Elhoussaine, Driss Aboutajdine, El Qadi Abderrahim
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

On-line analytical processing (OLAP) queries are strongly affected by the amount data needed to be accessed from the disk. Therefore, there is a need to employ techniques that can facilitate efficient execution of these queries. Data partitioning concept that has been studied in the context of relational databases aims to reduce query execution time and facilitate the parallel execution of queries. In this paper, we develop a new framework based on genetic algorithm for applying the partitioning technique on relational DW schema (star schema) to reduce the total query execution cost. We develop an analytical cost model for executing a set of OLAP queries on a partitioned star schema. We conduct experiments to evaluate the utility of partitioning in efficiently executing OLAP queries. Finally, we show how partitioning can be used to facilitate parallel execution of OLAP queries.
Letters: Adaptive filtering under maximum mutual information criterion
Authors: Badong Chen, Jinchun Hu, Hongbo Li, Zengqi Sun
Venue: Neurocomputing (2008)

The maximum mutual information (MaxMI) criterion is used as the adaptation cost for the adaptive filtering. This criterion is robust to measure distortions, and has strong connection with traditional mean-square error (MSE) criterion. Under Gaussian assumption, the closed-form solution of the finite impulse response (FIR) filter is obtained. Further, based on the kernel density estimation, the stochastic mutual information gradient (SMIG) algorithm is derived. Simulation results emphasize the robustness of this new algorithm.
Asynchronous Tele-education and Computer-Enhanced Learning Services in the Greek School Network
Authors: Michael N. Kalochristianakis, Michael Paraskevas, Emmanouel Varvarigos
Venue: Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society (2008)

The Greek School Network (GSN) has developed and put into production a number of e-learning services, including synchronous and asynchronous tele-education, electronic class management, blogs, video-on-demand, podcasts and multimedia libraries. These new services complement established and accepted e-learning services, such as teleconferencing, user wikis, forums, email, electronic publishing, and e-magazines. This report presents the most prominent digital e-learning services offered by GSN, with emphasis on the asynchronous tele-education service, which is presented in detail. Its implementation platform, the Moodle course management system, is compared against well-known asynchronous open source tele-education platforms such as COSE, Claroline, Fle3, ILIAS, Manhattan, KEWL, Comentor, e-Class and Eledge. The evaluation of the asynchronous tele-education platforms is based on detailed comparisons of their characteristics and of the methodology they adopt in order to deliver educational services. The comparison is based on evaluation criteria derived from the documented experiences of research institutes and educational bodies and also from the experience of GSN itself. The paper concludes with the presentation of an extension to Moodle for implementing communities of practice (CoPs) that facilitate the creation and delivery of electronic educational open content for teachers in a synergetic manner.
Papers and discussions presented at the Dec. 10-12, 1951, joint AIEE-IRE computer conference: Review of electronic digital computers
Venue: AFIPS Joint Computer Conferences (1951)

The AIEE-IRE Computer Conference met on December 10-12, 1951, at Philadelphia to discuss the characteristics and performance of working, large-scale, electronic digital computers. The conference was arranged by a joint committee appointed early in 1951 by the Committee on Computing Devices of the American Institute of Electrical Engineers and the Electronic Computers Committee of the Institute of Radio Engineers. It was felt that the development of these machines had reached a point where useful engineering information could be drawn from the experience of the designers and users of these machines and that a published account of these machines, assembled in a report of this meeting, would be of permanent value in the development of engineering knowledge of this new field of activity. The joint committee invited the co-operation of the Association for Computing Machinery, and representatives of that organization joined in the planning of the meeting and participated in the conference. The extent of interest in the subject can be appreciated from the attendance at the conference, which totalled 877 members. Descriptions of ten large-scale electronic computers of varying design and performance were presented, giving a cross-section of the varying designs to date of both parallel and serial types of electronic computers using storage devices including mercury delay lines, magnetic drums, and cathode-ray tubes. Other papers discussed detailed operating and component experience on certain of these calculators, and the final session summarized the present state of computer development and indicated some of the future possibilities of the Transistor in computer design. At the luncheon meeting on the last day of the conference, an inspiring picture of the rapidly expanding use of large-scale computers in engineering design and analysis of our new airplanes, both commercial and military, gave the members of the conference a better understanding of the ultimate usefulness of their efforts, During the conference, inspection trips gave many of the participants an opportunity to view the UNIVAC and the Burroughs Computer, and to visit the computer activities of the Moore School of Electrical Engineering of the University of Pennsylvania and of the Technitrol Engineering Company.
Inequalities from Two Rows of a Simplex Tableau
Authors: Kent Andersen, Quentin Louveaux, Robert Weismantel, Laurence A. Wolsey
Venue: Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization (2007)

In this paper we explore the geometry of the integer points in a cone rooted at a rational point. This basic geometric object allows us to establish some links between lattice point free bodies and the derivation of inequalities for mixed integer linear programs by considering two rows of a simplex tableau simultaneously.
A Model for the Basic Block Protocol of the Cambridge Ring
Authors: G. Harrus
Venue: IEEE Transactions on Software Engineering (1985)

In this paper, we study a model of the Basic Block Protocol of the Cambridge Ring. The model is close to the real behavior so that, with statistically, identical stations and light or moderate load assumptions. we obtain good approximate results of the Ring characteristics. These results are partially validated by a simulation.
Atrial Arrhythmias Detection Based on Neural Network Combining Fuzzy Classifiers
Authors: Rongrong Sun, Yuanyuan Wang
Venue: Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks (2007)

Accurate detection of atrial arrhythmias is important for implantable devices to treat them. A novel method is proposed to identify sinus rhythm, atrial flutter and atrial fibrillation. Here three different feature sets are firstly extracted based on the frequency-domain, the time-frequency domain and the symbolic dynamics. Then a classifier with two sub-layers is proposed. Three fuzzy classifiers are used as the first layer to perform pre-classification task corresponding to different feature sets respectively. A multilayer perceptron neural network is used as the final classifier. The performance of this algorithm is evaluated with two databases. One is the MIT-BIH arrhythmia database and the other is the endocardial electrogram database. A comparative assessment of the performance of the proposed classifier with individual fuzzy classifier shows that the algorithm can improve the overall accuracy for atrial arrhythmias classification. The implementation of this algorithm in implantable devices may provide accurate detection of atrial arrhythmias.
The Pervasive Learning Platform of a Shanghai Online College --- A Large-Scale Test-Bed for Hybrid Learning
Authors: Liping Shen, Ruimin Shen
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

The rapid evolution of Information and Communication Technologies has led to new ways of learning and education. In Shanghai, researchers and developers of an online college actively seek technological interventions to provide first-class e-learning services for about 17,000 enrolled students. They developed a cutting-edge pervasive learning platform that provide "always on" education. It aims to support "Learning Anytime, Anywhere", which is accomplished through extending the real classrooms and also supporting web-based self-paced learning. The platform is composed of three components: a) distributed Standard Natural Classrooms, the smart spaces to provide natural interaction for teachers and students; b) large-scale media streaming for multi-mode terminals delivering fully interactive lectures to PCs and mobile devices; c) dynamic and personalized web-based learning systems. Multi-modal interactions are supported that students learning on this platform change from passive learners to truly engaged learners who are behaviorally, intellectually, and emotionally involved in their learning activities.
Using Evolving Agents to Critique Subjective Music Compositions
Authors: Chuen-Tsai Sun, Ji-Lung Hsieh, Chung-Yuan Huang
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

The authors describe a recommender model that uses intermediate agents to evaluate a large body of subjective data according to a set of rules and make recommendations to users. After scoring recommended items, agents adapt their own selection rules via interactive evolutionary computing to fit user tastes, even when user preferences undergo a rapid change. The model can be applied to such tasks as critiquing large numbers of music or written compositions. In this paper we use musical selections to illustrate how agents make recommendations and report the results of several experiments designed to test the model's ability to adapt to rapidly changing conditions yet still make appropriate decisions and recommendations.
Networked Virtual Marionette Theater
Authors: Daisuke Ninomiya, Kohji Miyazaki, Ryohei Nakatsu
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part I (2008)

This paper describes a system that allows users to control virtual marionette characters based on computer graphics (CG marionette characters) with their hand and finger movements and thus perform a marionette theatrical play. The system consists of several subsystems, and each subsystem consists of a web camera and a PC. It can recognize a hand gesture of its user and transform it into a gesture of a CG marionette character. These subsystems are connected through the Internet, so they can exchange the information of the CG marionette character's movements at each subsystem and display the movements of all characters throughout the entire system. Accordingly, multiple users can join the networked virtual marionette theater and enjoy the marionette play together.
Universal Authoring System for Braille Materials by Collaboration of UMCL and Infty
Authors: Toshihiro Kanahori, Dominique Archambault, Masakazu Suzuki
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

We are developing a universal authoring system for Braille materials by collaboration of UMCL and Infty. The UMCL provides conversion modules from MathML to various Braille notations. The Infty system is an integrated suite for scientific documents, which recognizes image or PDF files of a scientific document including mathematical expressions and provides easy interfaces to edit those documents. Combining these systems, we obtain the universal authoring system. Using the system, users can make mathematical materials in various Braille notations without any knowledge of those notations.
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Authors: Mikołaj Bojańczyk, Luc Segoufin
Venue: Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II (2008)

We study tree languages that can be defined in Δ 2. These are tree languages definable by a first-order formula whose quantifier prefix is $\exists^*\forall^*$, and simultaneously by a first-order formula whose quantifier prefix is $\forall^*\exists^*$, both formulas over the signature with the descendant relation. We provide an effective characterization of tree languages definable in Δ 2. This characterization is in terms of algebraic equations. Over words, the class of word languages definable in Δ 2 forms a robust class, which was given an effective algebraic characterization by Pin and Weil [11].
The Effect of Tomosynthesis X-Ray Pulse Width on Measured Beam Quality
Authors: Baorui Ren, Andrew Smith, David Aizer, Don Kennedy, Jeffrey Yorker, Zhenxue Jing
Venue: Proceedings of the 9th international workshop on Digital Mammography (2008)

Tomosynthesis acquisition typically consists of a set of short x-ray pulses from an x-ray tube moved to different locations relative to the object being imaged. The pulsed x-rays used in the acquisition exhibit a "pulsing effect" on the beam quality results that is different from conventional mammography. We found that the measured exposure rates in term of mR per mAs are notably dependent on the width of x-ray pulse, while the half-value layer is weakly dependent on the pulse width. This phenomenon is due to the finite rise and fall time of kV and mA of the generator, and becomes significant for very short x-ray pulses. The pulsing effect, if ignored, gives incorrect tomosynthesis beam quality results and introduces errors in dose calculation. In this study, the phenomenon is fully characterized and two practical methods are introduced to account for the effect, which could also help to reduce the beam quality test time for tomosynthesis.
Clustering Techniques in Automated Purchase Negotiations
Authors: Miguel A. Lopez-Carmona, Juan R. Velasco, Ivan Marsa-Maestre
Venue: Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V (2007)

In this paper we propose a modification to a fuzzy constraint based framework for automated purchase negotiations in competitive trading environments. The goal of this work is to improve the performance of the negotiation processes in terms of computation time and joint utility. This modification is based on the use of clustering techniques in the seller's decision mechanisms.
Overcoming performance bottlenecks in using OpenMP on SMP clusters
Authors: Woo-Chul Jeun, Yang-Suk Kee, Soonhoi Ha, Changdon Kee
Venue: Parallel Computing (2008)

This paper presents a new parallel programming environment called ParADE to enable easy, portable, and high-performance computing for SMP clusters. Different from the prior studies, ParADE separates the programming model from the execution model: it enables shared-address-space programming while it realizes hybrid execution of message-passing and shared-address-space. To overcome the poor performance of conventional OpenMP on SDSM (Software Distributed Shared Memory), ParADE implements an intelligent OpenMP translator supporting efficient mutual exclusion and efficient page transmission. The experimental results on a Linux cluster demonstrate that ParADE reduces mutual exclusion overhead and overall execution time.
Measuring Shape Circularity
Authors: Joviša Žunić, Kaoru Hirota
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

In this paper we define a new circularity measure. The new measure is easy to compute and, being area based, is robust with respect to noise. It ranges over (0,1] and gives the measured circularity equal to 1 if and only if the measured shape is a circle. The new measure is invariant with respect to translations, rotations and scaling.
The Grammar of Scope
Authors: Mark Steedman
Venue: Proceedings of the 15th international workshop on Logic, Language, Information and Computation (2008)

The program of research that seeks a "Natural Logic" to which the forms of natural language are transparent has been frustrated by the existence of ambiguities of scope in interpretations for multiply quantified sentences, which appear to require grammatical operations that compromise the strong assumptions of syntactic/semantic transparency and monotonicity made under that program. Examples of such operations include covert movement at the level of logical form, abstraction or storage mechanisms, and proliferating type-changing operations.The paper examines some interactions of scope alternation with syntactic phenomena including coordination, binding, and relativization. Starting from the assumption of Fodor and Sag, and others, that many expressions that have been treated as generalized quantifiers are in reality non-quantificational, expressions, and using Combinatory Categorial Grammar (CCG) as a grammatical framework, the paper presents an account of quantifier scope ambiguities according to which the available readings are projected directly from the lexicon by the combinatorics of the syntactic derivation, without any independent manipulation of logical form and without recourse to syntactically unmotivated type-changing operations.