ppxscal/embedding_network huggingface dataset:
Desktop GIS: Mapping the Planet with Open Source Tools
Authors: Gary Sherman
Venue:  (2008)

Desktop GIS explores the world of Open Source GIS software and provides a guide to navigate the many options available. Discover what kind of GIS user you are and lay the foundation to evaluate the options and decide what software is best for you.Desktop GIS examines the challenges associated with assembling and using an OSGIS toolkit. You'll find strategies for choosing a platform, selecting the right tools, integration, managing change, and getting support. The survey of OSGIS desktop applications provides you with a quick introduction to the many packages available. You'll see examples of both GUI (Graphical User Interface) and command line interfaces to give you a feel for what is available.This book will give you an understanding of the Open Source GIS landscape, along with a detailed look at the major desktop applications, including GRASS, Quantum GIS, uDig, spatial databases, GMT, and other command line tools. Finally, the book exposes you to scripting in the OSGIS world, using Python, shell, and other languages to visualize, digitize, and analyze your data.
Scheme of Combined Marker Based Watershed for Infrared Image Segmentation
Authors: Xiangzhi Bai, Fugen Zhou, Yongchun Xie, Ting Jin
Venue: International Journal of Distributed Sensor Networks (2009)

To segment infrared dim target, a combined marker based watershed algorithm is proposed, analysed, and verified.
Design of piezoelectric actuators using a multiphase level set method of piecewise constants
Authors: Zhen Luo, Liyong Tong, Junzhao Luo, Peng Wei, Michael Yu Wang
Venue: Journal of Computational Physics (2009)

This paper presents a multiphase level set method of piecewise constants for shape and topology optimization of multi-material piezoelectric actuators with in-plane motion. First, an indicator function which takes level sets of piecewise constants is used to implicitly represent structural boundaries of the multiple phases in the design domain. Compared with standard level set methods using n scalar functions to represent 2^n phases, each constant value in the present method denotes one material phase and 2^n phases can be represented by 2^n pre-defined constants. Thus, only one indicator function including different constant values is required to identify all structural boundaries between different material phases by making use of its discontinuities. In the context of designing smart actuators with in-plane motions, the optimization problem is defined mathematically as the minimization of a smooth energy functional under some specified constraints. Thus, the design optimization of the smart actuator is transferred into a numerical process by which the constant values of the indicator function are updated via a semi-implicit scheme with additive operator splitting (AOS) algorithm. In such a way, the different material phases are distributed simultaneously in the design domain until both the passive compliant host structure and embedded piezoelectric actuators are optimized. The compliant structure serves as a mechanical amplifier to enlarge the small strain stroke generated by piezoelectric actuators. The major advantage of the present method is to remove numerical difficulties associated with the solution of the Hamilton-Jacobi equations in most conventional level set methods, such as the CFL condition, the regularization procedure to retain a signed distance level set function and the non-differentiability related to the Heaviside and the Delta functions. Two widely studied examples are chosen to demonstrate the effectiveness of the present method.
Living with nondeterminism in replicated middleware applications
Authors: Joseph Slember, Priya Narasimhan
Venue: Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware (2006)

Application-level nondeterminism can lead to inconsistent state that defeats the purpose of replication as a fault-tolerance strategy. We present Midas, a new approach for living with nondeterminism in distributed, replicated, middleware applications. Midas exploits (i) the static program analysis of the application's source code prior to replica deployment and (ii) the online compensation of replica divergence even as replicas execute. We identify the sources of nondeterminism within the application, discriminate between actual and superficial nondeterminism, and track the propagation of actual nondeterminism. We evaluate our techniques for the active replication of servers using micro-benchmarks that contain various sources (multi-threading, system calls and propagation) of nondeterminism.
How Do I Model State? Let Me Count the Ways
Authors: Ian Foster, Savas Parastatidis, Paul Watson, Mark McKeown
Venue: Queue (2009)

A study of the technology and sociology of Web services specifications
Research on Signal Processing Method for Ranging System Based on a New Combined Modulation Waveform
Authors: Xinhong Hao, Zhanzhong Cui
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

A kind of signal processing method combing autocorrelation detection and FM harmonic detection technology is presented for the radio ranging system based on pseudo-random binary-phase code and linear frequency combined modulation. The mathematic model of ranging system is studied. The virtual simulation model for ranging system is established and the ranging property is analyzed. The simulation results of ranging resolution are consonant with the calculation values. The results are addressed that the ranging method has excellent ranging precision.
Low-power High-throughput Deblocking Filter Architecture for H.264/AVC
Authors: NamThang Ta, JinSeon Youn, HuiGon Kim, JunRim Choi, Seung-Soo Han
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

The paper proposes an efficient deblocking filter architecture for H.264/AVC. A four-stage pipeline has been adopted to boost the speed of deblocking filter process up to 192 clock cycles per one macroblock. Hybrid edge filter order enhances the reusability of intermediate data which not only increases system throughput, but also reduces power consumption because of diminishing memory access times. In addition, for saving power purpose, our architecture utilizes the buffers instead of SRAM on-chip for storing temporary data. Experimental results show that our design can achieve the throughput of 1146kMB/s while saving up to 25% power consumption when compared with previous design. The architecture is implemented in 0.18µm standard cell library, consumes 26.01 K gates at a clock frequency of 220MHz.
Low Complexity Video Compression Using Moving Edge Detection Based on DCT Coefficients
Authors: Chanyul Kim, Noel E. O'Connor
Venue: Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling (2009)

In this paper, we propose a new low complexity video compression method based on detecting blocks containing moving edges using only DCT coefficients. The detection, whilst being very efficient, also allows efficient motion estimation by constraining the search process to moving macro-blocks only. The encoders PSNR is degraded by 2dB compared to H.264/AVC inter for such scenarios, whilst requiring only 5% of the execution time. The computational complexity of our approach is comparable to that of the DISCOVER codec which is the state of the art low complexity distributed video coding. The proposed method finds blocks with moving edge blocks and processes only selected blocks. The approach is particularly suited to surveillance type scenarios with a static camera.
Power characterization of multi-threading mobile applications
Authors: Marius Marcu, Dacian Tudor, Sebastian Fuicu, Mihai Micea, Silvia Copil-Crisan, Florin Maticu
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

The evolution of portable and mobile computation systems towards an increased feature set as well as hardware and software requirements demands, together with the significant increase of market penetration in our modern society, is raising complex problems from a reasonable energy consumption level point of view under different usage scenarios. In this paper we aim to define a software execution framework for mobile systems in order to characterize the power consumption profile of multi-threading mobile applications.
Towards concurrency refactoring for x10
Authors: Shane A. Markstrum, Robert M. Fuhrer, Todd D. Millstein
Venue: ACM SIGPLAN Notices (2009)

In this poster, we present our vision of refactoring support for languages with a partitioned global address space memory model as embodied in the X10 programming language. We examine a novel refactoring, extract concurrent, that introduces additional concurrency within a loop by arranging for some user-selected code in the loop body to run in parallel with other iterations of the loop. We discuss the mechanisms and challenges for implementing this refactoring and how development of this refactoring provides insight for designing future refactorings.
Designing a head-up game for children
Authors: Koen Hendrix, Guo Yang, Dirk van de Mortel, Tim Tijs, Panos Markopoulos
Venue: Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction - Volume 1 (2008)

Head-Up Games [19, 20] attempt to combine the technological benefits of modern electronic games with the social and physical advantages of traditional games. To demonstrate this concept, a Head-Up Game for 9- to 11-year-old children was designed and developed iteratively, with intensive involvement of children for play-testing. This paper describes and reflects on the game's design process and the implications regarding the concept of Head-Up Games. The final game, Stop the Bomb, was found to be physically and socially stimulating, understood and enjoyed by the target group, and preferred over a nonelectronic version of the game at first encounter.
Semantic Knowledge Management: Integrating Ontology Management, Knowledge Discovery, and Human Language Technologies, 1st edition
Authors: John Davies, Marko Grobelnik, Dunja Mladenic
Venue:  (2009)

Despite its explosive growth over the last decade, the Web remains essentially a tool to allow humans to access information. Semantic Web technologies like RDF, OWL and other W3C standards aim to extend the Webs capability through increased availability of machine-processable information. Davies, Grobelnik and Mladenic have grouped contributions from renowned researchers into four parts: technology; integration aspects of knowledge management; knowledge discovery and human language technologies; and case studies. Together, they offer a concise vision of semantic knowledge management, ranging from knowledge acquisition to ontology management to knowledge integration, and their applications in domains such as telecommunications, social networks and legal information processing. This book is an excellent combination of fundamental research, tools and applications in Semantic Web technologies. It serves the fundamental interests of researchers and developers in this field in both academia and industry who need to track Web technology developments and to understand their business implications.
Preliminary Result on Secure Protocols for Multiple Issue Negotiation Problems
Authors: Katsuhide Fujita, Takayuki Ito, Mark Klein
Venue: Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems (2008)

Multi-issue negotiation protocols represent a promising field since most negotiation problems in the real world involve multiple issues. Our work focuses on negotiation with multiple interdependent issues in which agent utility functions are nonlinear. Existing works have not yet concerned with agents' private information that should be concealed from others in negotiations. In this paper, we propose Distributed Mediator Protocol and Take it or Leave it Protocol for negotiation that can reach agreements and protect agents' private information. Moreover, we propose Hybrid Secure Protocol that combines Distributed Mediator Protocol with Take it or Leave it Protocol. The Hybrid Secure Protocol can also reach agreements while completely concealing agents' private information. Furthermore, the Hybrid Secure Protocol achieves high optimality and uses less memory.
A new inductive learning algorithm based on monotone system theory
Authors: Peeter Roosmann, Leo Võhandu, Rein Kuusik, Tarvo Treier, Grete Lind
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

As we know there exist several approaches and algorithms for data mining and machine learning task solution, for example, decision tree learning, artificial neural networks, Bayesian learning, instance-based learning, genetic algorithms, etc. They are effective and well-known and their base algorithms and main ideology are published. In this paper we present a new approach for machine learning (ML) task solution based on Monotone Systems Theory, an inductive learning algorithm named by the authors as MONSIL (MONotone Systems in Inductive Learning). It has some advantages compared with several ML algorithms as rules overlapping, it can use several pruning techniques etc. The base algorithm of MONSIL usually produces more rules than other ML algorithms and it means that it is more work-consuming. We have several effective developments of MONSIL, but to understand them, we must at first present a base algorithm MONSIL. In this paper we define main terms of Monotone Systems Theory, describe a base algorithm, prove that concept description found by MONSIL is complete and consistent, explain algorithm's main steps on an example and also describe the main advantages and disadvantages of this approach.
Click trading: A case study of Moneynet
Authors: Des Laffey
Venue: The Journal of Strategic Information Systems (2009)

Moneynet, launched in 1997, was the United Kingdom's first comparison website in financial services. It enables its users to specify their needs and then select from suitable product providers, who in turn benefit from potential customers with refined needs. This article makes both a theoretical and applied contribution to the Information Systems literature. It develops an amended version of the Porter value chain, which it terms the click chain, as a theoretical framework which is then used to analyse Moneynet. This framework analyses how Moneynet creates value and in doing so identifies key implications for comparison websites and product providers.
Towards Formal Verification of ASIP Based on HDPN
Authors: Yanyan Gao, Xi Li, Hongxing Ma
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Verification is one of the most complex and expensive tasks in current Application Specific Instruction-set Processor (ASIP) design process. Many existing approaches utilize a multi-level strategy to efficiently design and verify ASIP aiming to discover the flaws earlier. This paper presents a verification approach based on HDPN (Hardware Design based-on Petri Net) and NuSMV. The validation of static properties, viz. structural and functional description of ASIP architecture, implements with HDPN, and the verification of dynamic properties, viz. logic design, implements with NuSMV. In order to check the dynamic properties of HDPN-based models, a scheme of translating from a HDPN description into SMV is discussed in this paper. In addition, a DLX pipelined processor is presented to demonstrate the verification approach.
A Model of Distributed Interprocess Communication System
Authors: Peng Xiao, Yuanyuan Li, Wu Deng
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

With the increasingly widespread application of the network, a distributed operating system based on Linux cluster has been developing rapidly. This paper presents a kernel level distributed interprocess communication system model with support for distributed process synchronization and communication. This system model uses the System V interprocess communication programming interface and enhances it to provide functionality in distributed environments. A key feature of this system model is the use of the semaphore interface to support distributed synchronization and the implementation is done at the Linux kernel level to reduce the overhead. Finally, we realized this model introduced in this paper in redhat Linux cluster and test result show it is a good solution of distributed processes communication. Compared with other similar systems, the advantage of this system is that the implementation is done at the Linux kernel level to reduce the overhead and System V IPC API is easy to extend. User is easy to call the application interface of the distributed operating system, without considering any details of the network.
Virtual factory approach for implementation of holonic control in industrial applications: A case study in die-casting industry
Authors: Mert Bal, Majid Hashemipour
Venue: Robotics and Computer-Integrated Manufacturing (2009)

Design and implementation of holonic manufacturing control systems for the real industrial applications require risky, careful decisions to ensure that the manufacturing system will successfully satisfy the demands of an ever-changing market. This paper suggests a virtual reality (VR)-based methodology for enhancing the design and implementation process of holonic control systems in manufacturing practice. The major focus has been given to the implementation of holonic control into the small to medium size manufacturing enterprises (SMEs). The 'virtual holonic factory' concept has been introduced, as a test bed for integration of a holonic control into a virtual factory, i.e. three-dimensional VR model of a factory in order to visually realize the effects of holonic control, when implemented to a real manufacturing system. A case study has been carried out in a medium size die-casting manufacturing plant. Through the virtual factory, a holonic control architecture for flow-line manufacturing system has been implemented for dynamic scheduling of machines in the medium size factory in order to achieve robustness necessary to handle the disturbances. The system performance and key attributes of the holonic control, such as re-configurability and robustness, have been tested and validated by using VR technology and analysis results have been presented.
Initializing Partition-Optimization Algorithms
Authors: Ranjan Maitra
Venue: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) (2009)

Clustering datasets is a challenging problem needed in a wide array of applications. Partition-optimization approaches, such as k-means or expectation-maximization (EM) algorithms, are sub-optimal and find solutions in the vicinity of their initialization. This paper proposes a staged approach to specifying initial values by finding a large number of local modes and then obtaining representatives from the most separated ones. Results on test experiments are excellent. We also provide a detailed comparative assessment of the suggested algorithm with many commonly-used initialization approaches in the literature. Finally, the methodology is applied to two datasets on diurnal microarray gene expressions and industrial releases of mercury.
Ringing Artifact Reduction in Blind Image Deblurring and Denoising Problems by Regularization Methods
Authors: V. B. Surya Prasath, Arindama Singh
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

Image deblurring and denoising are the main steps in early vision problems. A common problem in deblurring is the ringing artifacts created by trying to restore the unknown point spread function (PSF). The random noise present makes this task even harder. Variational blind deconvolution methods add a smoothness term for the PSF as well as for the unknown image. These methods can amplify the outliers correspond to noisy pixels. To remedy these problems we propose the addition of a first order reaction term which penalizes the deviation in gradients. This reduces the ringing artifact in blind image deconvolution. Numerical results show the effectiveness of this additional term in various blind and semi-blind image deblurring and denoising problems.
Indeterminate forms and their behaviours
Authors: Saeed Al-Hajjar
Venue: WSEAS Transactions on Mathematics (2008)

This study shows that there exist solutions to the seven main indeterminate forms that are raised in the world of mathematics. Some limits of functions are said to be indeterminate when merely knowing the limiting behaviour of individual parts of expression is not sufficient to actually determine the overall limit. There will be a study of a certain typical number whereas, if a variable x tends to a certain value α (eventually equal to + ∞ or - ∞), a certain function Γ(x) does not have an apparent limit from the first view. To eliminate the indetermination (or looking for the right value of Γ (α), is to find this limit if it exists.
H∞ filtering for systems with repeated scalar nonlinearities under unreliable communication links
Authors: Hongli Dong, Zidong Wang, Huijun Gao
Venue: Signal Processing (2009)

This paper investigates the problem of H"~ filtering for systems with repeated scalar nonlinearities under unreliable communication links. The nonlinear system is described by a discrete-time state equation containing a repeated scalar nonlinearity as in recurrent neural networks. The communication links, existing between the plant and filter, are assumed to be imperfect and a stochastic variable satisfying the Bernoulli random binary distribution is utilized to model the phenomenon of the measurements missing. Attention is focused on the analysis and design of stable full- and reduced-order filters with the same repeated scalar nonlinearities such that the filtering error system is stochastically stable and preserves a guaranteed H"~ performance. Sufficient conditions are obtained for the existence of admissible filters. Since these conditions involve matrix equalities, the cone complementarity linearization procedure is employed to cast the nonconvex feasibility problem into a sequential minimization problem subject to linear matrix inequalities, which can be readily solved by using standard numerical software. A numerical example is given to illustrate the effectiveness of the proposed design method.
A New Side Information Generation Scheme for Distributed Video Coding
Authors: Ming-Hui Cheng, Jin-Jang Leou
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

In this paper, a new side information generation scheme for distributed video coding (DVC) is proposed. The proposed scheme uses classification-based motion estimation and multiple block motion interpolation to generate the side information. Here, classification-based motion estimation tries to find the "true" motion vector of each block, instead of exploiting the highest temporal redundancy between two corresponding blocks in two key frames. Then, multiple block motion interpolation using several motion vectors for each block is performed so that the corresponding matched block in the side information can be interpolated more efficiently. Based on the simulation results obtained in this study, the proposed scheme successfully improves the perceptual quality and the average PSNR (dB) in both side information and reconstructed frames.