ppxscal/embedding_network huggingface dataset:
Real-Time Multi-user Transcoding for Push to Talk over Cellular
Authors: Stéphane Coulombe
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

Transcoding is required to enable interoperability between Push to talk over Cellular (PoC) clients with incompatible capabilities (e.g. between a PoC client supporting the AMR speech codec and another supporting EVRC). Although the Open Mobile Alliance (OMA) recognizes the need for transcoding in the PoC application, no solution is provided by the standard to enable it. In this paper, we present a transcoding system for real-time multi-user PoC sessions. The solution is centralized at the Controlling PoC Function which manages session control operations and the flow of media streams to enable transcoding to be performed in a distinct transcoding server (TS). There are several advantages to this solution, such as scalability, applicability to all PoC group session scenarios, compatibility with existing PoC specifications, and transparency for existing PoC clients.
A goal-programming approach for design of hybrid cellular manufacturing systems in dual resource constrained environments
Authors: Sule Itir Satoglu, Nallan C. Suresh
Venue: Computers and Industrial Engineering (2009)

In this study, a goal-programming model is proposed for the design of hybrid cellular manufacturing (HCM) systems, in a dual resource constrained environment, considering many real-world application issues. The procedure consists of three phases. Following an initial phase involving a Pareto analysis of demand volumes and volatility, a machine-grouping phase is conducted to form manufacturing cells, and a residual functional layout. In this phase, over-assignment of parts to the cells, machine purchasing cost, and loss of functional synergies are attempted to be minimized. Following the formation of cells and the functional layout, a labor allocation phase is carried out by considering worker capabilities and capacities. The total costs of cross-training, hiring, firing and over-assignment of workers to more than one cell are sought to be minimized. An application of the model on real factory data is also provided in order to demonstrate the utility and possible limitations. The industrial problem was solved using professional mathematical programming software.
Robust filtering under nonrandom disturbances: The invariant ellipsoid approach
Authors: M. V. Khlebnikov
Venue: Automation and Remote Control (2009)

We present a simple and universal observer-based approach to solving the problem of robust filtering of unknown-but-bounded exogenous disturbances. The heart of this approach is the method of invariant ellipsoids. Application of this technique allows for a reformulation of the original problem in terms of linear matrix inequalities with reduction to semidefinite programming and one-dimensional optimization, which are easy to solve numerically. Continuous-time and discrete-time cases are studied in equal detail. The efficacy of the approach is demonstrated via the double pendulum example.
The Design of Wetland Water Environmental Monitoring System Using Digital Video Based on Wireless Sensor Networks
Authors: Jiang Peng
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

The paper first outlined the present situation and progress on wetland water environment monitoring technology. It proposed a wireless sensor network based real-time monitoring system using digital video, and described the designing scheme and system architecture. It also presented in detail the features and designing approaches about: ZigBee wireless technology based data monitoring nodes, digital video base stations based on ZigBee and CDMA wireless technologies, water environmental digital video monitoring center, etc..
Dereferee: exploring pointer mismanagement in student code
Authors: Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones
Venue: ACM SIGCSE Bulletin (2009)

Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The responsibility of ensuring that students understand these concepts does not end with the instructor's lectures---a library enhanced with diagnostics beyond those provided by the language's run-time system itself is a useful tool for giving students more detailed information when their code fails. We have designed such a toolkit, Dereferee, which students can incorporate into their code with minimal intrusion into the learning process. To demonstrate its effectiveness, we examine C++ code from students in a course that relied solely on the built-in memory management behavior of the language, without any significant additional diagnostic or debugging facilities. We instrument this code with Dereferee in order to explore the causes of errors that result in program crashes and to expose hidden faults that previously lay undetected. Dereferee provided enhanced diagnostics for bugs in 63% of student submissions, and pinpointed the source of 83% of abnormal program terminations. 95% of the students would have received extra diagnostic help from using Dereferee.
Effective Design and Use of Requirements Engineering Training Games
Authors: Mike Alexander, Joy Beatty
Venue: Proceedings of the 2008 Requirements Engineering Education and Training (2008)

Games may be fun to play, but do they help students learn? In this position paper, the authors argue that games are an effective mechanism to achieve deep learning and help students retain information, but only if those games are designed appropriately. To support this position, the paper provides a short overview of game-based learning theory, followed by three example training games with which the authors have had success.
New Construction of Short Hierarchical ID-Based Signature in the Standard Model
Authors: Leyou Zhang, Yupu Hu, Qing Wu
Venue: Fundamenta Informaticae (2009)

In this paper, a new construction of hierarchical ID-Based signature (HIBS) scheme is proposed. The new scheme has some advantages over the available schemes: the private keys size shrinks as the identity depth increases and the signature size is a constant as it consists of three group elements. Furthermore, under the h-CDH assumption, our scheme is provably secure in the standard model. This assumption is more natural than many of the hardness assumptions recently introduced to HIBS in the standard model.
Nonlinear data projection on non-Euclidean manifolds with controlled trade-off between trustworthiness and continuity
Authors: V. Onclinx, V. Wertz, M. Verleysen
Venue: Neurocomputing (2009)

This paper presents a framework for nonlinear dimensionality reduction methods aimed at projecting data on a non-Euclidean manifold, when their structure is too complex to be embedded in an Euclidean space. The methodology proposes an optimization procedure on manifolds to minimize a pairwise distance criterion that implements a control of the trade-off between trustworthiness and continuity, two criteria that, respectively, represent the risks of flattening and tearing the projection. The methodology is presented as general as possible and is illustrated in the specific case of the sphere.
A quantitative probabilistic investigation into the accumulation of rounding errors in numerical ODE solution
Authors: Sebastian Mosbach, Amanda G. Turner
Venue: Computers Mathematics with Applications (2009)

We examine numerical rounding errors of some deterministic solvers for systems of ordinary differential equations (ODEs) from a probabilistic viewpoint. We show that the accumulation of rounding errors results in a solution which is inherently random and we obtain the theoretical distribution of the trajectory as a function of time, the step size and the numerical precision of the computer. We consider, in particular, systems which amplify the effect of the rounding errors so that over long time periods the solutions exhibit divergent behaviour. By performing multiple repetitions with different values of the time step size, we observe numerically the random distributions predicted theoretically. We mainly focus on the explicit Euler and fourth order Runge-Kutta methods but also briefly consider more complex algorithms such as the implicit solvers VODE and RADAU5 in order to demonstrate that the observed effects are not specific to a particular method.
AutoCAD 2008 Fundamentals
Authors: Elise Moss
Venue:  (2007)

This manual is designed to be used during instructor led training in an eight week class. This is a basic training course for new AutoCAD users. It is geared for students with little or no prior experience using AutoCAD. The course will cover fundamental skills necessary for effectively using AutoCAD and will provide a strong foundation for advancement. Table of Contents 1. The AutoCAD Environment 2. Zooming and Panning 3. Drawing Lines 4. Toolbars and Profiles 5. Draw and Modify Commands 6. Dimensions 7. Object Properties 8. Drafting Settings and Object Snaps 9. Titleblocks and Templates 10. Text Tools 11. Viewports and Layouts
Clustering Geospatial Objects via Hidden Markov Random Fields
Authors: Makoto Sato, Shuuichiro Imahara
Venue: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (2008)

This paper addresses the problem of clustering objects located and correlated geographically and containing multiple attributes. For the clustering problem, it is necessary to consider both the similarities of the attributes and the spatial dependencies of the objects. A new clustering framework using hidden Markov random fields (HMRFs) and Gaussian distributions and new potential models of HMRFs for irregularly located geospatial objects are proposed in this paper. Experimental results for systematic data and two real-world data showed the availability of the proposed algorithms.
Optimal power split in a hybrid electric vehicle using direct transcription of an optimal control problem
Authors: Laura V. Pérez, Elvio A. Pilotta
Venue: Mathematics and Computers in Simulation (2009)

To efficiently operate electromechanical systems powered by two energy sources, it is necessary to determine the instantaneous power split between sources in order to minimize the energy consumption of the whole system. In this work, this problem is posed as a nonlinear finite horizon optimal control problem with control and state constraints and is solved using a direct transcription approach. The problem is fully discretized in time and the resulting finite dimensional optimization problem is solved using a nonlinear programming code. This paper describes the application of direct transcription to the case of the hybrid electric vehicle (HEV) being developed in the Applied Electronics Group (GEA) at the University of Rio Cuarto. The statement and discretization of the control problem, the setting for using the nonlinear programming code and several examples and comparisons with those obtained by other approaches are described.
An algorithm for the recognition of levels of congestion in road traffic problems
Authors: Angélica Lozano, Giuseppe Manfredi, Luciano Nieddu
Venue: Mathematics and Computers in Simulation (2009)

Detection and recognition of the level of congestion at an intersection is a very important problem and a valuable source of information in traffic management. Although it is just one of all the aspects that make up a traffic management system, it seems to be a crucial point for gathering information. In this paper, we present a technique based on a k-means clustering algorithm for classification, which has been already successfully used in a number of pattern recognition problems, namely: as an algorithm for face recognition problems and in a number of medical diagnosis problems and it compares very well with the state of the art techniques.
Brief paper: Controller design for time-delay systems using genetic algorithms
Authors: Haiping Du, Nong Zhang
Venue: Engineering Applications of Artificial Intelligence (2009)

This paper presents a new approach to design controllers for time-delay systems by using genetic algorithms (GAs) together with the solvability of linear matrix inequalities (LMIs). Both of the state-feedback controller and the static output feedback controller can be designed with this approach. It is confirmed by numerical examples that this approach achieves less conservative results than previously existing methods on the given examples.
Membrane Systems Using Noncooperative Rules with Unconditional Halting
Authors: Markus Beyreder, Rudolf Freund
Venue: Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers (2009)

We consider membrane systems using noncooperative rules, but considering computations without using halting conditions. As results of a computation we take the contents of a specified output membrane/cell in each transition step, no matter whether this computation will ever halt or not, eventually taking only results completely consisting of terminal objects only. The computational power of membrane systems using noncooperative rules turns out to be equivalent to that of Lindenmayer systems.
Docile avatars: aesthetics, experience, and sexual interaction in Second Life
Authors: Shaowen Bardzell, Jeffrey Bardzell
Venue: Proceedings of the 21st British CHI Group Annual Conference on HCI 2007: People and Computers XXI: HCI...but not as we know it - Volume 1 (2007)

Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics that have come into their own today, such as virtual fashion lines, a thriving virtual economy, scripted interactive furniture, vehicles, and toys. Perhaps not surprisingly, much of the early content was adult in nature, from cyberstrip clubs to kinky lingerie, sex animations, and interactive virtual genitalia. More surprising was the visibility and prevalence of the BDSM (bondage, discipline, and sadomasochism) subculture. In this paper, we report results from a two-year study of the BDSM subculture in Second Life, combining virtual ethnography and artifact analysis with recent HCI theories of experience design to understand how and why this complex phenomenon emerged from Second Life users. We contend that the participant-created world enables the construction of powerful aesthetic experiences, and that these experiences are made possible by the interweaving of visual, literary, and interaction aesthetics.
MTEACH: Didactic Multimedia Production
Authors: Pier Luca Montessoro, Stefano Caschi
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

Multimedia production is generally considered to be an expensive task. This is true when dealing with complex graphics, animation, artistic effects, music and high quality video editing, but didactic applications do not require such advanced features. A conventional lesson can be effectively reproduced in a multimedia environment using a small set of multimedia features and a simple, regular structure. However, didactic application often consists of a huge amount of multimedia material and logical interconnections.The MTEACH approach is based on a methodology supported by a language and a compiler, and allows the author of a didactic multimedia production to work at a higher level than conventional authoring tools. The "running code" of the multimedia application is generated in standard formats starting from a formal description of the lessons, providing a consistent and easy-to-navigate hypermedia structure.
RIDS: An Instant Approach to Network Intrusion Detection and Prevention
Authors: Martuza Ahmed, Rima Pal, Md. Mojammel Hossain, Md. Khalad Hasan, Md. Abu Naser Bikas
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

With the progression of time, we have been blessed with the gifts of science. Computer networks are one of those gifts. But as the network proceeded, intrusions and misuses followed. Consequently, network security has come to the fore front and has become one of the most important issues. Now-a-days intrusion detection systems have become a standard component in security infrastructures. Intrusions typically start with intruders infiltrating a network through a vulnerable host and after that approaching for further malicious attacks. The techniques used for intrusion detection have their particular problems. Any of the Intrusion Detection Systems proposed so far is not completely flawless. So, the quest for betterment continues. In this progression, here we present RIDS: a complete intrusion detection system which reduces most of the problems contained by the previous systems. This system generates instant responses against intrusions and stops the intruder to proceed for further attacks.
Hadamard matrices of Williamson type: A challenge for Computer Algebra
Authors: Ilias S. Kotsireas, Christos Koukouvinos
Venue: Journal of Symbolic Computation (2009)

We describe new families of challenging polynomial systems of equations arising in the construction of Hadamard matrices of Williamson type. These systems depend on a parameter and exhibit a number of symmetries. We demonstrate that Genetic Algorithms form a suitable tool to apply to these systems, for which the traditional Computer Algebra methods seem to be inappropriate.
Modern OpenGL: its design and evolution
Authors: Mark J. Kilgard, Kurt Akeley
Venue: ACM SIGGRAPH ASIA 2008 courses (2008)

OpenGL was conceived in 1991 to provide an industry standard for programming the hardware graphics pipeline. The original design has evolved considerably over the last 17 years. Whereas capabilities mandated by OpenGL such as texture mapping and a stencil buffer were present only on the world's most expensive graphics hardware back in 1991, now these features are completely pervasive in PCs and now even available in several hand-held devices. Over that time, OpenGL's original fixed-function state machine has evolved into a complex data-flow including several application-programmable stages. And the performance of OpenGL has increased from 100x to over 1,000x in many important raw graphics operations.
Recruiting and retaining women in computing professions: panel discussion
Authors: C. Bryan Foltz, Cynthia Riemenschneider, Janet Renwick
Venue: Journal of Computing Sciences in Colleges (2009)

At a time when demand for graduates in computing is increasing, the number of majors, particularly women, has significantly decreased.
An optimization framework for waferfab performance enhancement
Authors: Daniel Noack, Boon Ping Gan, Peter Lendermann, Oliver Rose
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

A typical wafer fab requires numerous decisions for daily operations. Even small decisions on system configurations may have significant impact on the overall fab performance. One of the most critical performance measure is cycle time, where just one day of reduction could represent significant cost savings. In this paper we describe an automated simulation-based optimization method to improve fab configurations. We illustrated our method through a case study that involves optimization of multiple decision variables in a wafer fab. The objective of the optimization is to reduce the cycle time. We show the potentials of such an optimization through achieving an improvement of 15% in cycle time for a furnace toolset.
Video Data Delivery using Slotted Patching
Authors: Satish Chand, Bijendra Kumar, Hari Om
Venue: Journal of Network and Computer Applications (2009)

In the request-based scheme, a patching channel is initiated on arrival of a request in an interarrival time of two adjacent multicast channels. If two requests are received in a short duration in an interarrival time, two patching channels are needed to service them. Both these channels deliver almost the same data, thus, wasting the bandwidth. This problem may be addressed in two ways: using higher level patching technique, or forcing the first request to wait for the second one. Using higher level patching technique makes the system more complex and thus usually not preferred. In the second case, the bandwidth usage certainly reduces, but the length of the waiting time by the first request for the second request is the main issue. In this paper, this issue is addressed by dividing the video duration into uniform time slots such that there is at least one request in a time slot for initiating the patching channel. The proposed scheme is named as Video Data Delivery using Slotted Patching. In this scheme, the patching channels download much less video data than the request-based scheme and thus require less bandwidth. This scheme may not provide immediate services to all users unlike the request-based scheme, but the user's waiting can be made arbitrarily small without using much resources unlike the request-based scheme.
Data base architecture and management
Authors: Linda Taylor
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

The development of integrated data bases and Data Base Management Systems (DBMS) has resulted in recognition that these alone do not insure information system effectiveness or user satisfaction, nor do they control the cost of handling data. Meeting these goals ultimately rests with improving the organizational management/administration and understanding of "data" and "information" and their relationship. 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
Experimental Evaluation of a Planning Language Suitable for Formal Verification
Authors: Radu I. Siminiceanu, Rick W. Butler, César A. Muñoz
Venue: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (2009)

The marriage of model checking and planning faces two seemingly diverging alternatives: the need for a planning language expressive enough to capture the complexity of real-life applications, as opposed to a language simple, yet robust enough to be amenable to exhaustive verification and validation techniques. In an attempt to reconcile these differences, we have designed an abstract plan description language, ANMLite, inspired from the Action Notation Modeling Language (ANML). We present the basic concepts of the ANMLite language as well as an automatic translator from ANMLite to the model checker SAL (Symbolic Analysis Laboratory). We discuss various aspects of specifying a plan in terms of constraints and explore the implications of choosing a robust logic behind the specification of constraints, rather than simply propose a new planning language. Additionally, we provide an initial assessment of the efficiency of model checking to search for solutions of planning problems. To this end, we design a basic test benchmark and study the scalability of the generated SAL models in terms of plan complexity.
An experimental study of distributed robot coordination
Authors: Stefano Carpin, Enrico Pagello
Venue: Robotics and Autonomous Systems (2009)

Coordinating the path of multiple robots along assigned paths is a computationally hard problem with great potential for applications. We here provide a detailed experimental study of a randomized algorithm for scheduling priorities that we have developed, and also compare it with exact and approximated solutions. It turns out that for problems of reasonable size our algorithm exhibits an appealing compromise between speed and quality.