ppxscal/embedding_network huggingface dataset:
Automatic Service Composition Using AND/OR Graph
Authors: Yixin Yan, Bin Xu, Zhifeng Gu
Venue: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services (2008)

As SOC and Web service technology become more widely used, large amounts of services need to be efficiently and effectively composed to meet complex businesses. In this paper, we proposed an approach to resolve the composition problem over large-scale services. We used an inverted table as index for a quick service discovery, and applied a Service Dependency Graph (SDG) and an AND/OR graph as the algorithm basis for parallel compostion. Considering the semantic information described in Web service, our approach also recognizes and transmits the semantic relationships described in Web Ontology Language (OWL).
Using Concept Maps Methodology to Design an e-Learning Platform via Integration of Knowledge Management, Instruction and Learning
Authors: Hsuan-Hung Chen, Kim-Joan Chen
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

Nowadays, people live in the era of knowledge economy in which knowledge have become the most precious resources. So, everyone need to concern a personal problem that is the knowledge come from. The answer is learning. Then, the emergence of e-Learning provides a new learning way for learners. They not only access to the on-line platforms anytime and anywhere, but also study diversity of learning resources. But, for a modern e-Learning platform, it has to confront with an important issue that is how to provide meaningful learning for learners. We started from the educational viewpoint to look for methods or strategies which can make up and carry out the meaningful learning. Therefore, we introduced concept maps to the e-Learning. The significance of concept maps is not only on the promotion of knowledge concepts and action skills, but also on the affection which can be rendered the right cognition and values for learners. Finally, this paper proposed a prototype system, where it can support learning-process progress and facilitate learners' learning more meaningfully.
A Preliminary Experiment of Checking Usability Principles with Formal Methods
Authors: Steinar Kristoffersen
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

Theoretical computer science has been occupied with formal methods since the beginning. It has had its share of challenges, though. Often, excessive additional work is required to re-specify applications precisely in a new formalism, so that they can be analyzed algorithmically. With more model-based software engineering, this may have changed. In many instances, specifications are now complete and updated throughout the systems development life-cycle, primarily to drive rather than to document the process. Thus, formal approaches have become more realistic. This paper looks at one experiment with automatic usability evaluation, based on a structured user interface specification. It shows that there are promising results ahead. Examples of automatic usability evaluation based on a widely-use user-interface specification language are presented. Benefits of formal specification cannot be reaped, however, unless this approach is bolstered by a purposeful design of the modeling techniques and languages themselves. Thus, some requirements of the formalisms for model-based usability engineering conclude the paper.
A survey and performance analysis of software platforms for interactive cluster-based multi-screen rendering
Authors: Oliver G. Staadt, Justin Walker, Christof Nuber, Bernd Hamann
Venue: ACM SIGGRAPH ASIA 2008 courses (2008)

We present a survey of different software architectures designed to render on a tiled display. We provide an in-depth analysis of three selected systems, including their implementation of data distribution, sort-first rendering, and overall usability. We use various test cases to analyze the performance of these three systems.
Information asymmetry and product valuation: an exploratory study
Authors: Waseem Afzal, Daniel Roland, Mohammad Nasser Al-Squri
Venue: Journal of Information Science (2009)

This paper reports on the impact of information asymmetry on product valuation. One group of subjects was provided with symmetric information, while a different group was given asymmetric information; the subjects were then asked to value an information technology product. The study found that there was a significant difference in the valuations of the two groups. The group with the symmetric information valued the product highly and in close proximity to the real worth of the product, while the group with asymmetric information undervalued the product. The current study offers a new perspective for information science and an interesting avenue for future research, which, if pursued, can enrich our understanding of human information interaction and valuation processes.
Optimal designs to select individuals for genotyping conditional on observed binary or survival outcomes and non-genetic covariates
Authors: Juha Karvanen, Sangita Kulathinal, Dario Gasbarra
Venue: Computational Statistics Data Analysis (2009)

In gene-disease association studies, the cost of genotyping makes it economical to use a two-stage design where only a subset of the cohort is genotyped. At the first-stage, the follow-up data along with some risk factors or non-genetic covariates are collected for the cohort and a subset of the cohort is then selected for genotyping at the second-stage. Intuitively the selection of the subset for the second-stage could be carried out efficiently if the data collected at the first-stage are utilized. The information contained in the conditional probability of the genotype given the first-stage data and the initial estimates of the parameters of interest is being maximized for efficient selection of the subset. The proposed selection method is illustrated using the logistic regression and Cox's proportional hazards model and algorithms that can find optimal or nearly optimal designs in discrete design space are presented. Simulation comparisons between D-optimal design, extreme selection and case-cohort design suggest that D-optimal design is the most efficient in terms of variance of estimated parameters, but extreme selection may be a good alternative for practical study design.
Not just fun, but serious strategies: Using meta-cognitive strategies in game-based learning
Authors: Bokyeong Kim, Hyungsung Park, Youngkyun Baek
Venue: Computers Education (2009)

The purpose of this study is to explore the effects of the meta-cognitive strategies on the academic and gaming achievements. Exploring the effects of those achievements on the social problem solving of students is also of interest. For this purpose, the MMORPG Gersang was used. The participants, consisting of ninth graders, played the game until they all reached the third level to ensure that they have the same gaming ability prior to gaming for the study. Three meta-cognitive strategies were developed: self-recording, modeling and thinking aloud. Those strategies are specially related to gaming activities and applied in pre-gaming activities, gaming activities, and post-gaming activities. Three meta-cognitive strategies were set as independent variables. The social problem solving ability was set as a mediating variable, and academic achievement and scores in the game were chosen as dependent variables. The path between meta-cognitive strategies and both academic achievement and game performance by mediating social problem solving abilities were discovered. The social problem solving ability, which is the mediating variable, affects the academic achievement and the game performance very strongly. These results imply that a commercial game playing in conjunction with meta-cognitive strategies can be an effective way to increase students' performance both in learning and gaming by keeping them involved. Talking and observation activities such as thinking aloud and modeling are more effective than writing activities in enhancing the students' achievements both in learning and gaming.
A genetic algorithm approach to determine the sample size for attribute control charts
Authors: Ihsan Kaya
Venue: Information Sciences: an International Journal (2009)

Determining the sample size for control charts (CCs) is generally an important problem in the literature. In this paper, Kaya and Engin's [I. Kaya, O. Engin, A new approach to define sample size at attributes control chart in multistage processes: an application in engine piston manufacturing process, Journal of Materials Processing Technology 183 (2007) 38-48] model based on minimum cost and maximum acceptance probability to determine the sample size for attribute control charts (ACCs), and solved by genetic algorithms (GAs) with linear binary representation structure, is handled to solve it by a linear real-valued representation. A new chromosome structure is also suggested to increase the efficiency of GAs. The performance of GAs depends on mutation and crossover operators, and their ratios. To determine the most appropriate operators, five different mutation and crossover operators are used and they are compared with each other. An application in a motor engine factory is illustrated. u-Control charts are constructed with respect to the sample size determined by GA in the model. The piston production stages in this factory are monitorized using the obtained control charts.
Verifiable secure operating system software
Authors: Gerald J. Popek, Charles S. Kline
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

While the desire for reliable security in multiuser computer systems has grown significantly, the computing community's knowledge of how to provide the requisite protection is still inadequate. Security is a "weak link" phenomenon; one link whose condition is unsatisfactory is the operating system software. It has often been pointed out that currently "no protection system implementation of any major multiuser computer system is known to have withstood serious attempts at circumvention by determined and skilled users." The community is replete with apocryphal claims of secure systems that inevitably have failed.
HINTeractions: facilitating informal knowledge exchange in physical and social space
Authors: Gonzalo Garcia-Perate, Pragya Agarwal, Duncan Wilson
Venue: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction (2009)

In this paper, we propose a novel way to harness the informal knowledge that emerges from the actions of people in space. We present the development of an ambient intelligence system that gathers and displays information about people's interactions with public places. The system is designed as a flexible extension to urban furniture that can be deployed in diverse social settings. Data is collected from the interaction of individuals and groups with the system, and is then presented back to the users. To better explain this process, we introduce the term HINT eractions. The term alludes to the knowledge that emerges as we interact with the world around us.
Eulerian Gaussian beams for Schrödinger equations in the semi-classical regime
Authors: Shingyu Leung, Jianliang Qian
Venue: Journal of Computational Physics (2009)

We propose Gaussian-beam based Eulerian methods to compute semi-classical solutions of the Schrodinger equation. Traditional Gaussian beam type methods for the Schrodinger equation are based on the Lagrangian ray tracing. Based on the first Eulerian Gaussian beam framework proposed in Leung et al. [S. Leung, J. Qian, R. Burridge, Eulerian Gaussian beams for high frequency wave propagation, Geophysics 72 (2007) SM61-SM76], we develop a new Eulerian Gaussian beam method which uses global Cartesian coordinates, level-set based implicit representation and Liouville equations. The resulting method gives uniformly distributed phases and amplitudes in phase space simultaneously. To obtain semi-classical solutions to the Schrodinger equation with different initial wave functions, we only need to slightly modify the summation formula. This yields a very efficient method for computing semi-classical solutions to the Schrodinger equation. For instance, in the one-dimensional case the proposed algorithm requires only O(sNm2) operations to compute s different solutions with s different initial wave functions under the influence of the same potential, where N=O(1/), is the Planck constant, and m N is the number of computed beams which depends on weakly. Numerical experiments indicate that this Eulerian Gaussian beam approach yields accurate semi-classical solutions even at caustics.
UAV Path Planning Based on Event Density Detection
Authors: Roberto Henriques, Fernando Bacao, Victor Lobo
Venue: Proceedings of the 2009 International Conference on Advanced Geographic Information Systems & Web Services (2009)

The method proposed in this paper supports the UAV network path definition in an autonomously way, taking into consideration the density of the detected events at each moment, in each place. We use the self-organizing maps to detect event patterns in the field of view of the sensors, allowing unmanned aerial vehicles(UAV) path definition based on events. The goal of this paper is to maximize the detection of ships using a UAV network.
The Interaction of Art, Technology and Customers in Picture Making
Authors: John J. Mccann, Yoichi Miyake
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

Human interest in pictures dates back to 14,000 BC. Pictures can be drawn by hand or imaged by optical means. Over time pictures have changed from being rare and unique to ubiquitous and common. They have changed from treasures to transients. This paper summarizes many picture technologies, and discusses their dynamic range, their color and tone scale rendering. This paper discusses the interactions between advances in technology and the interests of its users over time. It is the combination of both technology and society's usage that has shaped imaging since its beginning and continues to do so.
Technical Section: Advanced tracking through efficient image processing and visual-inertial sensor fusion
Authors: Gabriele Bleser, Didier Stricker
Venue: Computers and Graphics (2009)

This article presents a new visual-inertial tracking device for augmented and virtual reality applications and addresses two fundamental issues of such systems. The first one concerns the definition and modelling of the sensor fusion problem. Much work has been conducted in this area and several models for exploiting gyroscopes and linear accelerometers have been proposed. However, the respective advantages of each model and in particular the benefits of the integration of the accelerometer data in the filter are still unclear. A comparison of different models with special investigation of the effects of using accelerometers on the tracking performance is therefore provided. The second contribution is the development of an image processing approach that does not require special landmarks but uses natural features. The solution relies on a 3D model of the scene that is used to predict the appearances of the features by rendering the model based on data from the sensor fusion algorithm. The feature localisation is robust and accurate mainly because local lighting is also estimated. The final system is evaluated with help of ground-truth and real data. High stability and accuracy are demonstrated also for large environments.
Hangsters: tangible peripheral interactive avatars for instant messaging
Authors: Nadya Peek, David Pitman, Richard The
Venue: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction (2009)

We propose a system for both the customisation and the physical representation of instant messaging contacts as hanging tangible avatars which have been outfitted with a personalized skin and set of interactions. Hangsters create an ambient display of a user's online contacts which is simultaneously peripheral and interactive. The user creates a representation of herself in an online avatar creator. The personalised skin is packaged around a standard modular electronic kit and mailed to the recipient. The Hangster then embodies the interactions that would otherwise take place onscreen: on/offline presence and accepting/initializing conversations. The system allows for a more ambient display of a user's contacts while introducing customisable modular electronic toolkits for the tangible avatars.
Intelligent machining system for the artistic design of wooden paint rollers
Authors: Fusaomi Nagata, Yukihiro Kusumoto, Keigo Watanabe
Venue: Robotics and Computer-Integrated Manufacturing (2009)

In this paper, a 3D design and machining system based on a 3-axis NC machine tool with a rotary unit is introduced to efficiently produce the artistic design of wooden paint rollers. The paint rollers are used to execute a relief wall just after painting. A simple post-processor is first proposed for the NC machine tool to transform a base tool path called cutter location data (CL data) to NC data, mapping the y-directional pick feed to the rotational angle of the rotary unit. Also, the post-processor has a novel function that elaborately adjusts feed rate values according to the curvature of each design so as not to chip the carved surface. The suitable feed rate values are generated by using a simple fuzzy reasoning method while checking edges and curvatures in a relief design. The post-processor allows the 3-axis NC machine tool with a rotary unit to easily carve an artistic relief design on a cylindrical wooden workpiece without an undesirable edge chipping. Experimental results show that wooden paint rollers with an artistic relief design can be successfully machined without any chipping.
Trust-region quadratic methods for nonlinear systems of mixed equalities and inequalities
Authors: Maria Macconi, Benedetta Morini, Margherita Porcelli
Venue: Applied Numerical Mathematics (2009)

Two trust-region methods for systems of mixed nonlinear equalities, general inequalities and simple bounds are proposed. The first method is based on a Gauss-Newton model, the second one is based on a regularized Gauss-Newton model and results to be a Levenberg-Marquardt method. The globalization strategy uses affine scaling matrices arising in bound-constrained optimization. Global convergence results are established and quadratic rate is achieved under an error bound assumption. The numerical efficiency of the new methods is experimentally studied.
Styles of play in immersive and interactive story: case studies from a gallery installation of AR Fa&ccedil;ade
Authors: Steven Dow, Blair MacIntyre, Michael Mateas
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

In this paper, we offer an empirical investigation of AR Fa&ccedil;ade, an Immersive and Interactive Story where players interact with an animated married couple through an augmented reality (AR) interface that allows for unconstrained body movement and speech communication. We conducted a "mixed-method" in-depth analysis of thirty-three players during a gallery installation of the experience and identified five emergent "styles of play". We present qualitative case studies to illustrate the diverse behavior of participants and then we analyze quantitative differences that can lead to improved player modeling. Like prior work on play types in other media environments, our work elucidates the range of behaviors that can emerge in immersive and interactive stories.
Discovering more properties of the Fibonacci sequence
Authors: John A. Trono
Venue: Journal of Computing Sciences in Colleges (2009)

The Fibonacci sequence can be the basis for many straightforward programming assignments in CS1. This paper describes a computational experiment: determine if this sequence conforms to Benford's Law. Once that correlation has been observed, another related experiment can be assigned. The analysis concerning the reasons behind one, or both, of these results can be an optional bonus component to the assignment.
Develop a negotiation framework for automating B2B processes in the RosettaNet environment using fuzzy technology
Authors: H. Rau, T. F. Chen, C. W. Chen
Venue: Computers and Industrial Engineering (2009)

The electronic trade between enterprises becomes more popular due to the rapid development of electronic commerce. Under the electronic business environment, in order to make the trade process smoother and faster, most enterprises adopt industry standards, such as EDI and RosettaNet, for developing electronic business platforms to transact business processes. These standards and platforms can help both trading sides to control and facilitate the business processes and validate the document format. However, these processes still need human efforts to make decisions, which might cause business losses due to time delay or human error during the process. In order to solve the problem, this study takes a step further to propose a negotiation framework for automating the B2B processes. This study chooses RosettaNet purchase order management processes as an example to implement automated negotiations on Biztalk platform. In order to evaluate the negotiation behavior of the opponent, two fuzzy membership functions, preference degree and opponent's concession degree, are proposed to develop 25 levels of fuzzy rules to determine better offers to help to reach a settlement more responsively and dynamically. Experiment results show that our approach can help B2B transaction effectively.
Environmental Management Accounting for Cleaner Production, 1st edition
Authors: Stefan Schaltegger, Martin Bennett, Roger L. Burritt, Christine Jasch
Venue: Eco-Efficiency In Industry And Science (2008)

Sustainability requires companies to develop in an economically, environmentally and socially sustainable manner. Corporate sustainable development in turn requires movement towards cleaner production. In order to recognize the potential from cleaner production reduced costs and fewer environmental impacts through the reduced use of materials environmental management accounting (EMA) is a necessary information management tool. Environmental Management Accounting for Cleaner Production reveals a set of tools for companies to collect, evaluate and interpret the information they need to estimate their potential to use cleaner production to realize cost savings and to make the best decisions about the available cleaner production options. EMA is therefore the key for driving environmental progress, cost savings, increased competitiveness and corporate sustainability through the means of cleaner production.
Software sympathetic chip set design
Authors: Richard F. Hobson
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

The current status of special function unit (SFU) use in microcomputer systems is reviewed. Also outlined are areas where more sophisticated SFUs can be used to improve low- and high-level software environments in a microcomputer system. A structured machine model is presented to help containerize and control classes of software and hardware artifacts.
A Rapid-Deployment Service Platform over IMS Network
Authors: Ching-Wen Cheng, Kuei-Hui Chen
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

In this paper we propose a rapid-deployment service platform to facilitate the development and the distribution of communication services over IMS network. The mechanism and the architecture to achieve a rapid-deployment platform are discussed. Furthermore, we implemented the platform in an IMS application server (IP-SMS), which provides IP-based short message service over IMS networks. On top of IP-SMS, the interoperation model of add-on services and the IMS network is presented.