ppxscal/embedding_network huggingface dataset:
The Real MCTS SQL Server 2008 Exam 70-433 Prep Kit: Database Design, 1st edition
Authors: Herleson Pontes, Valentine Boiarkine
Venue:  (2009)

SQL Server 2008 is the latest update to Microsoft's flagship database management system. This is the largest update since SQL Server 2005, and it brings increased ability to deliver data across more platforms, and thus many different types of devices. New functionality also allows for easy storage and retrieval of digitized images and video. These attributes address the recent explosion in the popularity of web-based video and server and desktop virtualization. The Real MCTS SQL Server 2008 Exam 70-433 Prep Kit prepares readers for the Microsoft Certified Technology Specialist exam: SQL Server 2008, Database Development. This is a new exam in the SQL Server product family, and is comprised of some objectives from exam 70-431 from SQL Server 2005, and covers new, expanded query capabilities in SQL Server 2008. According to Microsoft:? Exam 70-431 for SQL Server 2005 was passed by over 35,000 people. ? ~ 150,000 people passed a similar exam for SQL Server 2000. Additionally, this exam is a pre-requisite for those going on to obtain the MCITP: Database Developer 2008:? successful candidates for the SQL Server 2005 MCITP ~ 2,500.The Prep Kit offerspractice exams via the book's companion site. This is The 'Real' Microsoft Exam Prep Kit, and provides the reader with independent and unbiased exam tips and warnings everything they need to know to ensure certification success. Authored by Mark Horninger, a nationally recognized leader in SQL Server with over 50 Microsoft certifications to his credit; Mark knows what it takes to successfully navigate Microsoft exams. Complete study package offers Syngress proven pedagogy including practice exams via the book's companion site
Appearance Based Extraction of Planar Structure in Monocular SLAM
Authors: José Martínez-Carranza, Andrew Calway
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

This paper concerns the building of enhanced scene maps during real-time monocular SLAM. Specifically, we present a novel algorithm for detecting and estimating planar structure in a scene based on both geometric and appearance and information. We adopt a hypothesis testing framework, in which the validity of planar patches within a triangulation of the point based scene map are assessed against an appearance metric. A key contribution is that the metric incorporates the uncertainties available within the SLAM filter through the use of a test statistic assessing error distribution against predicted covariances, hence maintaining a coherent probabilistic formulation. Experimental results indicate that the approach is effective, having good detection and discrimination properties, and leading to convincing planar feature representations.
An Adaptive Method for Recovering Image from Mixed Noisy Data
Authors: Jun Liu, Zhongdan Huan, Haiyang Huang, Haili Zhang
Venue: International Journal of Computer Vision (2009)

In this paper, we present a new version of the famous Rudin-Osher-Fatemi (ROF) model to restore image. The key point of the model is that it could reconstruct images with blur and non-uniformly distributed noise. We develop this approach by adding several statistical control parameters to the cost functional, and these parameters could be adaptively determined by the given observed image. In this way, we could adaptively balance the performance of the fit-to-data term and the regularization term. The Numerical experiments have demonstrated the significant effectiveness and robustness of our model in restoring blurred images with mixed Gaussian noise or salt-and-pepper noise.
Specialized models and ranking for coreference resolution
Authors: Pascal Denis, Jason Baldridge
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

This paper investigates two strategies for improving coreference resolution: (1) training separate models that specialize in particular types of mentions (e.g., pronouns versus proper nouns) and (2) using a ranking loss function rather than a classification function. In addition to being conceptually simple, these modifications of the standard single-model, classification-based approach also deliver significant performance improvements. Specifically, we show that on the ACE corpus both strategies produce f-score gains of more than 3% across the three coreference evaluation metrics (MUC, B3, and CEAF).
Effect of Body Movement on Music Expressivity in Jazz Performances
Authors: Mamiko Sakata, Sayaka Wakamiya, Naoki Odaka, Kozaburo Hachimura
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

In this study, we tried to examine empirically how body motion contributes to music expressivity, both in terms of intensity and manners, during impromptu jazz performances. Psychological rating experiments showed that music expressivity in jazz performances are assessed in two aspects, namely power and aesthetic quality. In the assessment of musical performances, the music itself basically contributed to how observers evaluated its expressivity. However, it was also shown that body motion had a greater influence on assessing the quality of music in terms of "hard or soft" and "light or heavy."As a result of the three-dimensional motion analysis using motion capture, we learned that the characteristics of the player's body motions changed with the playing style and the playing dynamics. The player, therefore, is making music not only by producing the "sound," but by also showing "body motions" for creating that sound.
Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines
Authors: Chung-Chih Li
Venue: Theory of Computing Systems (2009)

A classic result known as the speed-up theorem in machine-independent complexity theory shows that there exist some computable functions that do not have best programs for them (Blum in J. ACM 14(2):322&#x2013;336, 1967 and J. ACM 18(2):290&#x2013;305, 1971). In this paper we lift this result into type-2 computations. Although the speed-up phenomenon is essentially inherited from type-1 computations, we observe that a direct application of the original proof to our type-2 speed-up theorem is problematic because the oracle queries can interfere with the speed of the programs and hence the cancellation strategy used in the original proof is no longer correct at type-2. We also argue that a type-2 analog of the operator speed-up theorem (Meyer and Fischer in J. Symb. Log. 37:55&#x2013;68, 1972) does not hold, which suggests that this curious speed-up phenomenon disappears in higher-typed computations beyond type-2. The result of this paper adds one more piece of evidence to support the general type-2 complexity theory under the framework proposed in Li (Proceedings of the Third International Conference on Theoretical Computer Science, pp.&#x00a0;471&#x2013;484, 2004 and Proceedings of Computability in Europe: Logical Approach to Computational Barriers, pp.&#x00a0;182&#x2013;192, 2006) and Li and Royer (On type-2 complexity classes: Preliminary report, pp.&#x00a0;123&#x2013;138, 2001) as a reasonable setup.
A Frequency Band Energy Analysis of Vibration Signals for Tool Condition Monitoring
Authors: Chuangwen Xu, Zhe Liu, Wencui Luo
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The cutting vibration signals in different milling wear conditions are decomposed and reconstructed by using the wavelet packet transform and feature extraction with conditions information is obtained by using proper and scientific methods to extract from signals. The effect of cutting parameters on energy parameters was taken into account while extracting energy parameters of tool wear characteristic vector, this made the extracted parameters of characteristic vector be more sensitive to tool wear and the sensitivity to cutting parameters be the minimum. The recognition method for tool wear condition was studied through artificial neural network and wavelet packet analysis, and relevant RBF network was established. The results showed that RBFN can be successfully used to recognize and analyze tool wear conditions.
Panel Discussion on Formal Methods in Commercial Software Development Tools
Authors: Alessandro Fantechi, Alessio Ferrari
Venue: Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (2009)

Research on formal methods for software verification currently has decades of history within academia, and it is a central topic in software engineering. Nevertheless, usage of formal methods in companies is still at its embryonic stage. The reasons of this discrepancy have to be explored and solutions have to be found in order to increase adoption of formalized verification within industry.
Design Creation Based on KANSEI in Toshiba
Authors: Yosoko Nishizawa, Kanya Hiroi
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

In endeavoring to increase the quality of design, Toshiba has outlined a concept of "perceived quality," and evaluates designs on the basis of achieving a higher level of perceived quality. We defined six indices from the result of the image research into the design by the user. These six indicators of perceived quality were used in the creation and evaluation of designs, and a number of products were put on the market and evaluated.
AstroSim: Collaborative Visualization of an Astrophysics Simulation in Second Life
Authors: Arturo Nakasone, Helmut Prendinger, Simon Holland, Piet Hut, Jun Makino, Ken Miura
Venue: IEEE Computer Graphics and Applications (2009)

Developed in the Second Life 3D online multiuser environment, AstroSim (astrophysics simulation) provides synchronous collaborative visualization for astronomers. Users can play, halt, and rewind simulations and annotate stars interactively to track individual stars and gain a better understanding of stellar dynamics and astrophysics phenomena. This article is part of a special issue on collaborative visualization.
Acceleration of Cloth Simulation Utilizing Cell/B.E.
Authors: Shigeru Inui, Akihiro Rokugawa, Yosuke Horiba
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

A system the final goal of which is to design feelings of fabrics has been developed. For this purpose, cloth was modeled based on thread model and geometrical arrangement of threads of cloth. A simulation system was constructed with the cloth model. In the system, a lot of calculating time is required when wide range of cloth is treated. The system was accelerated with a Cell/B.E. processor. By SIMD instructions and parallelism, speeding up of about 40 times was performed.
Influence of the Development in Wuhan City on Lake Resource
Authors: Hong Si, Cheng Liwei
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

By analyzing the development of Wuhan city and the change of Wuhan’s lake resource, this paper gained the results that the main reasons of lake atrophy are large area of lake filling ,the industrial sewage and the house refuse contaminating and negative effects of putting up dykes,and among them the most outstanding one is the invading and occupying of buildings. At the end of this paper there are some countermeasures which aim at these Wuhan City lake resource primal problems in order to lighten the destroying of city lake resource,and ultimately achieves the purpose of protecting and making use of the Wuhan city lake (especially the urban area lakes) rationally and effectively.
Introduction to Abstract Algebra, 1st edition
Authors: Jonathan Smith
Venue: Textbooks In Mathematics (2008)

Taking a slightly different approach from similar texts, Introduction to Abstract Algebra presents abstract algebra as the main tool underlying discrete mathematics and the digital world. It helps students fully understand groups, rings, semigroups, and monoids by rigorously building concepts from first principles. A Quick Introduction to Algebra The first three chapters of the book show how functional composition, cycle notation for permutations, and matrix notation for linear functions provide techniques for practical computation. The author also uses equivalence relations to introduce rational numbers and modular arithmetic as well as to present the first isomorphism theorem at the set level. The Basics of Abstract Algebra for a First-Semester Course Subsequent chapters cover orthogonal groups, stochastic matrices, Lagranges theorem, and groups of units of monoids. The text also deals with homomorphisms, which lead to Cayleys theorem of reducing abstract groups to concrete groups of permutations. It then explores rings, integral domains, and fields. Advanced Topics for a Second-Semester Course The final, mostly self-contained chapters delve deeper into the theory of rings, fields, and groups. They discuss modules (such as vector spaces and abelian groups), group theory, and quasigroups.
Translation of pronominal anaphora between English and Spanish: discrepancies and evaluation
Authors: Jesú Peral, Antonio Ferr&aacuteez
Venue: Journal of Artificial Intelligence Research (2003)

This paper evaluates the different tasks carried out in the translation of pronominal anaphora in a machine translation (MT) system. The MT interlingua approach named AGIR (Anaphora Generation with an Interlingua Representation) improves upon other proposals presented to date because it is able to translate intersentential anaphors, detect co-reference chains, and translate Spanish zero pronouns into English--issues hardly considered by other systems. The paper presents the resolution and evaluation of these anaphora problems in AGIR with the use of different kinds of knowledge (lexical, morphological, syntactic, and semantic). The translation of English and Spanish anaphoric third-person personal pronouns (including Spanish zero pronouns) into the target language has been evaluated on unrestricted corpora. We have obtained a precision of 80.4% and 84.8% in the translation of Spanish and English pronouns, respectively. Although we have only studied the Spanish and English languages, our approach can be easily extended to other languages such as Portuguese, Italian, or Japanese.
Predicting Timing Failures in Web Services
Authors: Nuno Laranjeiro, Marco Vieira, Henrique Madeira
Venue: Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 (2009)

Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an operation that does not execute on due time may be completely useless, which may result in service abandonment, and reputation or monetary losses. However, existing web services environments do not provide mechanisms to detect or predict timing violations. This paper proposes a web services programming model that transparently allows temporal failure detection and uses historical data for temporal failure prediction. This enables providers to easily deploy time-aware web services and consumers to express their timeliness requirements. Timing failures detection and prediction can be used by client applications to select alternative services in runtime and by application servers to optimize the resources allocated to each service.
Identification, quantitative description, and preliminary distributional analysis of German particle verbs
Authors: Sabine Schulte im Walde
Venue: Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries (2004)

A statistical grammar model is used to identify German particle verbs and induce quantitative lexical information on their subcategorisation frames and selectional preferences. A simple approach to address the semantic class of the particle verb is introduced.
Explaining the Behavioral Intention towards BI Implementation in Public Administrations --- A Principal-Agent Theory Approach
Authors: Jörg Becker, Philipp Bergener, Łukasz Lis, Björn Niehaves
Venue: Proceedings of the 8th International Conference on Electronic Government (2009)

Business Intelligence (BI) is an established instrument to support public administrations in their management tasks by increasing their information level. BI is of special interest in the context of introducing accrual accounting in public administrations as this affects the information level of different stakeholders, leading to a possible decrease for municipal councils. The principal-agent theory can help to explain different behavioral intentions of the stakeholders concerning the introduction of BI. We employ a single qualitative case study to analyze these behavioral intentions. It shows that the introduction of accrual accounting did decrease the information level of the municipal council making the principal-agent problems possible. Furthermore, it shows that BI might be a solution for this problem. Therefore, council members show the behavioral intention to support the BI implementation while administration staff members rather resist it. Based on these finding, we discuss implications for practice and future research.
A skin tone detection algorithm for an adaptive approach to steganography
Authors: Abbas Cheddad, Joan Condell, Kevin Curran, Paul Mc Kevitt
Venue: Signal Processing (2009)

Challenges face biometrics researchers and particularly those who are dealing with skin tone detection include choosing a colour space, generating the skin model and processing the obtained regions to fit applications. The majority of existing methods have in common the de-correlation of luminance from the considered colour channels. Luminance is underestimated since it is seen as the least contributing colour component to skin colour detection. This work questions this claim by showing that luminance can be useful in the segregation of skin and non-skin clusters. To this end, here we use a new colour space which contains error signals derived from differentiating the grayscale map and the non-red encoded grayscale version. The advantages of the approach are the reduction of space dimensionality from 3D, RGB, to 1D space advocating its unfussiness and the construction of a rapid classifier necessary for real time applications. The proposed method generates a 1D space map without prior knowledge of the host image. A comprehensive experimental test was conducted and initial results are presented. This paper also discusses an application of the method to image steganography where it is used to orient the embedding process since skin information is deemed to be psycho-visually redundant.
Proactive transmission-based QoS provisioning for multicast and broadcast services in mobile WiMAX systems
Authors: Ji Hoon Lee, Ted "Taekyoung" Kwon, Yanghee Choi, Sangheon Pack
Venue: Proceedings of the 1st ACM workshop on Mobile internet through cellular networks (2009)

Mobile WiMAX systems have gained much attention for high transmission rates in cellular environments. One of the promising applications that can leverage high bit rates is multicast and broadcast services (MBSs). Although the expectation of IP-based multimedia streaming services in mobile environments is rising, QoS provisioning for those delay sensitive services is still challenging since mobility should be supported without intolerable delay. In this paper, we propose to transmit the streaming packets of MBSs proactively and probabilistically, so that the average handover delay perceived by a user is stochastically guaranteed. To quantify the tradeoff between the perceived handover delay and the bandwidth overhead of proactive transmissions, we develop an analytical model considering user mobility, user distribution, and session popularity. Comprehensive simulation is carried out to verify the analysis.
An Improvement of the Binary Logit Model for Trip Generation Forecasting
Authors: Chunyan Li, Jun Chen
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

This paper developed a hypothesis to overcome the disadvantage of the binary logit model used in resident trip generation. It proposed that random parameters b＇obeyed some distribution firstly. Combined the characters of trip generation and observable variables, it then put forward that b＇followed log normal distribution. The hypothesis was validated by demarcating the parameters in SAS software and forecasting trip generation volumes with two different models, both of which were based on PUMS investigation data in USA. The former result shows that all the parameters’ T values are out of [-1,1] interval and proves the assumption is correct. The latter one shows that the improved model’s forecasting precision is much higher than the previous one’s, and reveals that the application of the improved binary logit model in resident trip generation has notable effects.
CHypercube: A Novel P2P Overlay Network
Authors: Wenjun Xiao, Hao Liu, Weidong Chen
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Most of recent researches on P2P system focus on how to build a highly usable P2P overlay network. Researchers include small routing table, short query path and good robustness into their design objectives of overlay topology. In this paper, we present a general group theory method and define a new Cayley graph. Based on this graph, we propose a novel P2P overlay network called CHypercube, which has simple routing(searching) scheme and many other excellent properties such as short query path, high clustering and good robustness because of its symmetry. The performance is evaluated by simulation to show that CHypercube posses shorter query path length and higher clustering and better robustness than several popular P2P overlay networks such as Chord and Ulysses.
Conceptual and procedural knowledge construction in computer supported collaborative learning
Authors: Bernhard Ertl
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

This paper focuses on learners' knowledge construction in computer supported collaborative learning. It investigates how far individual knowledge (prior knowledge), collaborative knowledge (the quality of collaborative knowledge construction), and instructional support may contribute to the outcomes of learners' knowledge construction. It analyzes predictors for learners' learning outcomes with respect to procedural knowledge (successful application of rules for case-solving) and conceptual knowledge (cued answer of theory concepts) under consideration of learners' knowledge about theory definitions. To find answers to this issue, results of two studies are presented. They show that predicting factors for learners' construction of conceptual knowledge lie mainly in the individual while procedural knowledge benefits of collaborative knowledge construction.