ppxscal/embedding_network huggingface dataset:
Azimuth and Elevation of Slightly Inclined Geostationary-satellite Orbits
Authors: Jun-xia Cui, Hu-li Shi, Feng Pang
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

Geostationary satellite working life must take into account various factors. When it is close to the end of life, although the satellite payload will still be effective, the remaining fuel is not sufficient to maintain their positions of latitude, but only enough for keeping their station of longitude. If they can be used for slightly inclined geostationary orbit (SIGSO) satellite communication, their working life will be effectively extended. This paper introduces the orbital characteristics of the SIGSO, and discusses the variation trend of the earth station antenna azimuth and elevation in such SIGSO satellite communication system. And the antenna pattern for the low-rate communication is put forward. Finally, the system experiments and results are given.
Securing Privacy in the Internet Age, 1st edition
Authors: Anupam Chander, Lauren Gelman, Margaret Jane Radin
Venue:  (2008)

The Internet Age has created vast and ubiquitous databases of personal information in universities, corporations, government agencies, and doctors' offices. Every week, stories of databases being compromised appear in the news. Yet, despite the fact that lost laptops and insecure computer servers jeopardize our privacy, privacy and security are typically considered in isolation. Advocates of privacy have sought to protect individuals from snooping corporations, while advocates of security have sought to protect corporations from snooping individuals. Securing Privacy in the Internet Age aims to merge the discussion of these two goals. The book brings together many of the world's leading academics, litigators, and public policy advocates to work towards enhancing privacy and security. While the traditional adversary of privacy advocates has been the government, in what they see as the role of the Orwellian Big Brother, the principal focus of this book is the fraternity of Little Brothersthe corporations and individuals who seek to profit from gathering personal information about others.
CSP with Hierarchical State
Authors: Robert Colvin, Ian J. Hayes
Venue: Proceedings of the 7th International Conference on Integrated Formal Methods (2009)

The process algebra CSP is designed for specifying interactions between concurrent systems. In CSP, and related languages, concurrent processes synchronise on common events, while the internal operations of the individual processes are treated abstractly. In some contexts, however, such as when modelling systems of systems, it is desirable to model both interprocess communications as well as the internal operations of individual processes. At the implementation level, shared state is often the method of communication between processes, and tests and updates of local state are used to implement internal operations. In this paper we propose an extension of the CSP language which maintains CSP's core elegance in specifying process synchronisation, while also allowing state-based behaviour. State is treated hierarchically, allowing (nested) declarations of local and shared variables. The state can be accessed and modified using a refinement calculus-style specification command, which may be optionally paired with event synchronisation. The semantics of the extended language, preserves the original CSP rules. The approach we present is novel in that state is part of the process, rather than a meta-level construct appearing only in the rules.
Whispec: white-box testing of libraries using declarative specifications
Authors: Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
Venue: Proceedings of the 2007 Symposium on Library-Centric Software Design (2007)

We present a novel framework, Whispec, for white-box testing of methods that manipulate structurally complex data, such as those that pervade library classes. Given method preconditions as declarative constraints, our framework systematically generates test inputs for the methods to maximize their code coverage. The constraints are written in Alloy, a first-order language based on relations. To test a method, given its precondition constraint, we first solve that constraint using the Alloy Analyzer and translate a solution into a test input. Next, we execute the method on that input and build the path condition for the resulting execution path. Then, we run the analyzer on a conjunction of the precondition and a new path condition that represents a previously unexplored path. The solution is translated to a new test input, which triggers the next round of test generation. The iterative execution of Whispec can systematically enumerate inputs that maximize code coverage. Experiments using a variety of data structure implementations from the Java libraries show that our framework generates significantly smaller test suites (while maximizing coverage) than those generated by previous specification-based approaches.
Multiple-Instance Active Learning for Image Categorization
Authors: Dong Liu, Xian-Sheng Hua, Linjun Yang, Hong-Jiang Zhang
Venue: Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling (2009)

Both multiple-instance learning and active learning are widely employed in image categorization, but generally they are applied separately. This paper studies the integration of these two methods. Different from typical active learning approaches, the sample selection strategy in multiple-instance active learning needs to handle samples in different granularities, that is, instance/region and bag/image. Three types of sample selection strategies are evaluated: (1) selecting bags only; (2) selecting instances only; and (3) selecting both bags and instances. As there is no existing method for the third case, we propose a set kernel based classifier, based on which, a unified bag and/or instance selection criterion and an integrated learning algorithm are built. The experiments on Corel dataset show that selecting both bags and instances outperforms the other two strategies.
Comfort evaluation and bed adjustment according to sleeping positions
Authors: Se Jin Park, Jin Sun Kim, Chae-Bogk Kim
Venue: Human Factors in Ergonomics Manufacturing (2009)

This study explodes the relationships between the height adjustment of bed sectors and subjective comfort depending on three types of sleeping positions. An adjustable bed system that regulates the heights of 8 adjustment sectors of the bed was developed. To evaluate the comfort of 9 body areas, subjective ratings were requested from 64 subjects ranging in age from 25 to 50. The subjects included 29 males and 35 females. For an objective evaluation, the patterns of pressure distribution were investigated according to the three sleeping positions. During two separate states (before bed adjustment and after bed adjustment), measurements of the adjusted bed height and pressure distribution, and subjective ratings according to three sleeping positions were performed. Based on the results of the adjusted heights of the 8 sectors in the bed, the subjects preferred the W-shaped sleeping posture in both the supine and side positions. However, the U-shaped sleeping posture was preferred in the prone position. With respect to these sleeping positions, the heights of sectors significantly correlated with the subjective ratings presented by the subjects, as well as the ratios of pressure. &copy; 2009 Wiley Periodicals, Inc.
Temporal Verification of Fault-Tolerant Protocols
Authors: Michael Fisher, Boris Konev, Alexei Lisitsa
Venue: Methods, Models and Tools for Fault Tolerance (2009)

The automated verification of concurrent and distributed systems is a vibrant and successful area within Computer Science. Over the last 30 years, temporal logic [10,20] has been shown to provide a clear, concise and intuitive description of many such systems, and automata-theoretic techniques such as model checking [7,14] have been shown to be very useful in practical verification. Recently, the verification of infinite-state systems, particularly parameterised systems comprising arbitrary numbers of identical processes, has become increasingly important [5]. Practical problems of an open, distributed nature often fit into this model, for example robot swarms of arbitrary sizes.
Applying Graph Theory to Interaction Design
Authors: Harold Thimbleby, Jeremy Gow
Venue: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (2008)

Graph theory provides a substantial resource for a diverse range of quantitative and qualitative usability measures that can be used for evaluating recovery from error, informing design tradeoffs, probing topics for user training, and so on.Graph theory is a straight-forward, practical and flexible way to implement real interactive systems. Hence, graph theory complements other approaches to formal HCI, such as theorem proving and model checking, which have a less direct relation to interaction.This paper gives concrete examples based on the analysis of a real non-trivial interactive device, a medical syringe pump, itself modelled as a graph. New ideas to HCI (such as small world graphs) are introduced, which may stimulate further research.
Overview on Innovation of Topology Optimization in Vehicle CAE
Authors: Jin-fa Shi, Jian-hui Sun
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

This paper based on various vehicle model structure components, introduce on the general flow of structure topology optimization design, and reported on the latest application and innovation of the related representative software, including the development of CAE integrity software system. Overview on the innovation of application research of components property optimization and reduction of body skeleton and parts weight. The practice application demonstrated the significance of using finite element method for topology optimization of mechanical support structure, provides an important reference on conceptual design for mechanical structure and mechanical components lightweight design, and undertaken a forward-looking work on the development direction, the scope and trend of application and key technology of structural topology optimization.
Adaptive Incentive-Compatible Sponsored Search Auction
Authors: Rica Gonen, Elan Pavlov
Venue: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science (2009)

This paper presents a truthful sponsored search auction based on an incentive-compatible multi-armed bandit mechanism. The mechanism described combines several desirable traits. The mechanism gives advertisers the incentive to report their true bid, learns the click-through rate for advertisements, allows for slots with different quality, and loses the minimum welfare during the sampling process.The underlying generalization of the multi-armed bandit mechanism addresses the interplay between exploration and exploitation in an online setting that is truthful in high probability while allowing for slots of different quality. As the mechanism progresses the algorithm more closely approximates the hidden variables (click-though rates) in order to allocate advertising slots to the best advertisements. The resulting mechanism obtains the optimal welfare apart from a tightly bounded loss of welfare caused by the bandit sampling process.Of independent interest, in the field of economics it has long been recognized that preference elicitation is difficult to achieve, mainly as people are unaware of how much happiness a particular good will bring to them. In this paper we alleviate this problem somewhat by introducing a valuation-discovery process to the mechanism which results in a preference-elicitation mechanism for advertisers and search engines.
SVC adaptation: Standard tools and supporting methods
Authors: Truong Cong Thang, Jae-Gon Kim, Jung Won Kang, Jeong-Ju Yoo
Venue: Image Communication (2009)

Recently, scalable video coding (SVC) has emerged as a promising video format for applications of multimedia communication. An SVC bitstream can be easily truncated (adapted) in spatial, temporal, and SNR dimensions to meet various characteristics of terminals and connections. Though SVC allows simple and flexible truncation of a coded bitstream, there still need to be efficient means to support the adaptation in different scenarios. In this paper, we review standard tools and supporting methods for SVC adaptation. We point out the practical questions and accordingly describe potential solutions to these questions. The paper also discusses two key standard tools in detail, namely MPEG-21 AdaptationQoS and SVC priority_id.
3D Image Display with Motion Parallax by Camera Matrix Stereo
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

We propose a 3D image display system which can present real scenes with realistic motion parallax. In the sensing system, a scene is observed by using a camera matrix. An excellent stereo algorithm SEA which utilizes 3x3 image matrix recovers the depth information of the scene with the density and the sharpness required for high quality image generation. In the display system, following the viewing position of the observer, 2D images with proper motion parallax are generated and presented. A novel algorithm to determine the view parameters suitable for reproducing the motion parallax on a fixed screen and an image generation algorithm which can cope with arbitrary viewing positions are described. A prototype system has been developed to demonstrate the feasibility of the proposed algorithms. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Strain effects in GaN/AlN multi-quantum-well structures for infrared optoelectronics
Authors: P. K. Kandaswamy, H. Machhadani, E. Bellet-Amalric, L. Nevou, M. Tchernycheva, L. Lahourcade, F. H. Julien, E. Monroy
Venue: Microelectronics Journal (2009)

We report on the effect of Al mole fraction in AlGaN substrates on the strain state and on the intersubband (ISB) absorption properties of GaN/AlN multi-quantum-well (MQW) structures. The MQWs present the same strain state in all the samples irrespective of the Al concentration in the substrate. As a consequence, the ISB transition energy was found to be independent of Al content in the substrate. In situ characterization during growth reveals a progressive relaxation in the GaN quantum wells and a combination of elastic and plastic relaxation in AlN barriers.
Are you bored?: Maybe an interface agent can help!
Authors: Nilma Perera, Gregor Kennedy, Jon Pearce
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

In this paper we present the influence of Emotive Interface Agents on task-induced boredom. We studied the effects of two agents --- friendly and unfriendly. The results show that, like human-human interaction, emotional contagion can happen between agents and users and that it can lead to reduction in task induced boredom. As expected, the friendly agent proved to be more successful in reducing boredom and maintaining participants' focus on task than the unfriendly agent. Moreover, participants felt that the friendly agent added stimulation to the task. This indicates that the friendly agent had some influence on the perception of the task. However, the effects of the unfriendly agent should not be downplayed. Even though the unfriendly agent was perceived as irritating and annoying, a majority of the participants felt that the agent masked the boredom and the monotony of performing a simple repetitive task. More surprisingly many participants found it entertaining to interact with the unfriendly agent, implying counter contagion of emotions. Given the findings of this study, we believe that agents have great potential in regulating emotions. We believe these agents can be successfully used in everyday monotonous/boring tasks such as e-form filling and data entry. With further research we also believe that agents can be extended into learning environments to assist in regulating emotions in learners.
Spectral Matching Properties between Avalanche Photodiodes and Typical Objects
Authors: Liju Yin, Qian Chen, Canlin Zhang
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

Avalanche photodiode detector has come to more and more attention due to single photon detection sensitivity, low noise in night vision field. However, avalanche photodiodes (APD) made of different materials have different photon detection efficiency characteristics. The spectral matching factors were computed and analyzed based on the spectrums of night sky, Si APD & InGaAs APD and typical object under different circumstances. The difference of matching results is significant in full moonlight and clear starlight. These data can be available to adopt appropriate APD as photoelectric conversion devices in night vision system.
3-D Viewer for interpretation of multiple scan sections
Authors: Brent Baxter
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

A new viewing device is being constructed which will allow a physician to examine multiple scan sections simultaneously in their proper orientation in all three dimensions. Test images already produced on a laboratory prototype viewer clearly show paralax and stereoscopic depth cues characteristic of a real three dimensional object. Our experience viewing X-ray CT and ultrasound sections has shown that certain anatomical and pathological features important in cancer detection are more readily appreciated on the 3-D viewer than on conventional planar imaging facilities such as at T.V. monitor or film. The viewer can also form 3-D graphical figures with lines oriented from left-to-right, top-to-bottom and front-to-back. By moving one's head, distant lines appear to move relative to nearby lines, just as would be expected.
A peer-to-peer architecture for multi-path data transfer optimization using local decisions
Authors: Mugurel Ionuţ Andreica, Eliana-Dina Tîrşa, Nicolae Ţăpuş
Venue: Proceedings of the Third Workshop on Dependable Distributed Data Management (2009)

Data management (data retrieval and processing) performance in large-scale distributed systems (e.g. Grids, distributed databases, content delivery networks) is directly dependent on the efficiency and reliability of the communication architecture. The communication layer is responsible for transferring data between multiple source-destination pairs or for gathering the data from multiple sources to the processing nodes. In this paper we propose a peer-to-peer communication architecture for optimizing the efficiency, load balancing and reliability of the data transfers in the system, making local decisions only. We also present simulation-based experimental evaluation results.
Semantic Spatio-temporal Segmentation for Extracting Video Objects
Authors: Jinghong Mao, Kai-Kuang Ma
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

To improve the exibility and interactivity, the latest video coding and indexing methodologies address content-based processing of video sequence and therefore necessitate segmentation process to extract video objects. In this paper, we propose a segmentation method, called semantic spatio-temporal segmentation, which exploits motion and spatial information together with user's semantic input. Combining these information for extracting video objects is viewed as fusion process, and a fuzzy-set approach is proposed in this paper. Simulation results have demonstrated that semantic video objects could be effectively identified by exploiting our method.
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint
Authors: Fabio Parisini
Venue: Proceedings of the 24th International Conference on Logic Programming (2008)

Given a set of rectangles and a bi-dimensional container, the non-overlapping rectangles constraint aims to obtain consistency such that all the rectangles can be placed without intersection inside the box. So, the nonOverlapping([R 1,...,R n ],Box) holds iff all rectangles are placed inside the Box and no two rectangles R i and R j overlap. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A hybrid architecture for massively multiplayer online games
Authors: Jared Jardine, Daniel Zappala
Venue: Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games (2008)

Many massively multiplayer online games use client-server architectures that have enormous server-side bandwidth requirements. Peer-to-peer game architectures provide better scaling, but open the game to additional cheating, since players are responsible for distributing events and storing state. We have developed a hybrid game architecture that maintains centralized control of state, while significantly reducing server bandwidth. The architecture uses a combination of client-server and peer-to-peer event distribution, so that only critical events are processed by the server. In addition, the architecture uses measurements and monitoring to ensure that players are capable of handling event distribution and are indeed providing this service. By lowering the bandwidth needed to host a game, while also providing a simple way to prevent cheating, our hybrid architecture allows game companies to support more concurrent players while still providing a controlled game experience. We deploy a game using the hybrid architecture on PlanetLab and use a measurement study to demonstrate its advantages over a client-server architecture.
A Novel Binary Code Based Projector-Camera System Registration Method
Authors: Jiang Duan, Jack Tumblin
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

Precisely relating pixels in the projector image to pixels in camera image plays a significant role in many projector-camera systems. In this paper, we present a novel method of finding the correspondence in a simple and efficient manner. Our registration approach uses binary coding scheme, only need to capture a few pictures and does not need to give any assumption in the projector-camera system. Our experimental results demonstrate the advantage of using our registration methods.
A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment
Authors: Huidong Yang, Walter Zulehner, Ulrich Langer, Markus Baumgartner
Venue: Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (2007)

Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical solutions of partial differential equations (PDEs). For instance, large scale problems in computational fluid dynamics (CFD) can be efficiently simulated under this environment. However, unfortunately, most of the currently developed PDE solvers using the finite element method (FEM), usually tight combinations of a mesh generator and a linear system solver, are not qualified for the grid computing environment. In this paper, based on principles of grid computing, we present a grid-enabled Client/Server model for solving the Stokes/(incompressible) Navier-Stokes system in 3D.