ppxscal/embedding_network huggingface dataset:
Understanding one another: making out meanings with Boolean equations
Authors: Zippora Arzi-Gonczarowski
Venue: Annals of Mathematics and Artificial Intelligence (2006)

Autonomous ai agents raise the issue of semantic interoperability between independently architectured and differently embodied intelligences. This article offers an approach to the issue with certain aspects that are close in spirit to the way humans make out meanings. Using a mathematical model of cognition, it is shown how agents with autonomously developed conceptualizations can bootstrap and unravel each other's meanings ad hoc. The domain general methodology is based on the agents' capability to deal with Boolean operations, and on the shared outside environment. No prior provisions are required. The formalized cognitive process consists of constructing, and solving, Boolean equations that are grounded in the shared environment. The process yields a testable conjecture about the grounded conceptual representation of the other, along with a testable conjectured translation that maps from that representation to one's own.
Privacy in outsourced databases
Authors: Gene Tsudik
Venue:  (2006)

Rapid advances in storage, computing and networking technologies have fueled great interest in the Software-as-a-Service model. One manifestation of this model is that of Outsourced Databases wherein organizations outsource their database management needs to dedicated, potentially untrusted, database service providers. Data are amongst organizations' most valued assets and it is essential to provide, adequate security measures to protect this stored data from both malicious outsiders and the service provider itself. Providing efficient mechanisms to ensure the privacy of data stored at database service providers is the main focus of this thesis. We consider three variations of outsourced database models, each with different levels of trust placed in the database service provider. In our first instance we assume the provider to be trusted with clients' database contents. We propose a novel database storage model optimized for encryption techniques that minimizes cryptographic overhead. In our second model the service provider is not trusted with clients' data, requiring database contents to be stored in encrypted form at all time. We build upon previous work and propose techniques for executing aggregation style queries directly over encrypted data. We also describe a cryptographic attack on a previously proposed encryption scheme aimed at facilitating such aggregation queries. Lastly, we consider an outsourced database model where the server is equipped with a tamper resistant secure coprocessor that is responsible for query execution. The coprocessors limited on-board storage capabilities forces encrypted relations to be stored at the untrusted server, creating the challenge of preventing the server from tracking and identifying tuples during query processing. We introduce privacy preserving techniques and give examples of query processing algorithms that highlight these techniques. Here too we describe an attack on a previously proposed solution that uses an outsourced database model similar to ours for secure execution of sovereign joins. This thesis provides privacy preserving solutions for various outsourced database models with distinct levels of trust in the service providers. It is our hope and wish that this work advances research in the area of security in outsourced databases, such as to bring this application model closer towards becoming a reality.
Finite-length sequence pair with impulsive correlation function
Authors: Y. Tanada
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

A pair of finite-length sequences whose convolution is impulsive except at left and right shift ends is introduced. The pair is solved by Fourier spectra of sequences and has manifold aspect in values and lengths of sequences. A pair of sequences with different lengths is generated and referred to process gain in a CDMA system. Orthogonal set of sequence pairs with fast signal processing algorithm is synthesized.
Usages Analysis in Instant Interpersonal Communications over IP
Authors: Alexandre Bouchacourt, Luigi Lancieri
Venue: Proceedings of the Fourth European Conference on Universal Multiservice Networks (2007)

This paper investigates the contribution of data mining techniques in order to optimize IP based real time services such as Instant Messaging or Telephony over IP. The main difficulty is here to handle temporal constraints and to interpret the corresponding raw data into users' behaviour high level knowledge. As an example, we focus on IM and try to find a light mean to detect conversations consistent from the human point of view (i.e sum of several basic exchanges).
Choquet weak convergence of capacity functionals of random sets
Authors: Ding Feng, Hung T. Nguyen
Venue: Information Sciences: an International Journal (2007)

The results in this paper are about the convergence of capacity functionals of random sets. The motivation stems from asymptotic aspects in inference and decision-making with coarse data in biostatistics, set-valued observations, as well as connections between random sets with several emerging uncertainty calculi in intelligent systems such as fuzziness, belief functions and possibility theory. Specifically, we study the counter-part of Billingsley's Portmanteau Theorem for weak convergence of probability measures, namely, convergence of capacity functionals of random sets in terms of Choquet integrals.
Modelling energy flow in the vocal tract with applications to glottal closure and opening detection
Authors: D. M. Brookes
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 01 (1999)

The pitch-synchronous analysis that is used in several areas of speech processing often requires robust detection of the instants of glottal closure and opening. In this paper we derive expressions for the flow of acoustic energy in the lossless-tube model of the vocal tract and show how linear predictive analysis may be used to estimate the waveform of acoustic input power at the glottis. We demonstrate that this signal may be used to identify the instants of glottal closure and opening during voiced speech and contrast it with the LPC residual signal that previous authors have used for this purpose.
Engineering graphics in an integrated environment
Authors: R. W. Bolton
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

This paper focuses on the freshman year of the Foundation Coalition program at Texas A&M University. The curriculum includes chemistry, English, engineering, math and physics taught in an integrated just in time fashion using technology and delivered in an active-collaborative environment to students working in teams of four. Through our thrusts of integration, teaming, active learning and technology we hope to produce engineers who can solve increasingly complex problems more effectively. Graphical analysis, not generally taught or used by engineering students, has provided the best avenue for integration of graphics into the freshman Coalition environment. Graphical analysis techniques introduce CADD (Computer Aided Design and Drafting) to the student in a manner that reaches graphical fundamentals and at the same time is relevant to topics addressed in other course work. Examples include: graphical solutions to vectors are used to introduce the concept of coordinate systems and scale; and traditional topics in descriptive geometry have been replaced with an introduction to 3D model development. Another area where graphics provides a valuable interface is in developing communication skills. Integrated technical reports, produced by student engineering design teams, include technical content (graded by science, mathematics, and engineering faculty) and are submitted to English.
A decision-directed constant modulus algorithm for higher-order source constellations
Authors: T. J. Endres
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06 (2000)

This paper discusses methods for calculating and implementing the update error term for the popular blind equalization algorithm known as Godard's (1980) algorithm, or the constant modulus algorithm (CMA), without the use of multipliers so that the chip area and signal latency are both substantially reduced. A decision-directed CMA update term is derived for higher-order (non-constant modulus) source alphabets. The modified update error term can be calculated using a look-up table in place of costly multipliers and adders. Baseband and passband implementations for one-dimensional and two-dimensional signaling are discussed.
Creating a personal web notebook
Authors: Udi Manber
Venue: Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems (1997)

This paper introduces a tool, called Nabbit, to go from the World-Wide Web to Your Own Web. Nabbit uses a copy-and-paste paradigm, adapted to the way the web is used, to provide a convenient personal notebook. While browsing, users can select, with the mouse, any part of an HTML page they are looking at, and Nabbit will copy that part with the original format -- images, forms, links and all -- to their own pages. The source, date, and even personal comments are copied as well. Collection of information becomes as simple as "here's what I want -- click -- I got it." Nabbit can be used to write reports interleaved with web content, maintain extended hot lists (with your own comments and even parts of pages), collect selected hits from search results, and much more.
Performance comparison of three methods for blind channel identification
Authors: Wanzhi Qiu
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

We study the performance of the subspace (SS), cross-relation (CR) and two-step maximum likelihood (TSML) methods for estimating the impulse responses of multiple FIR channels driven by an unknown input sequence. Assuming a large data size or/and a high SNR, the estimation variances of the SS and CR methods are derived. The performances of the three methods are studied and compared against the Cramer-Rao bound (CRB). It is shown that the TSML method significantly outperforms the SS and CR methods and attains the CRB over a wide range of SNR. It is also shown that the SS method is more robust to ill channel conditions than the CR method, while the two methods show nearly identical performances for well-conditioned channels.
Projective aspects of the AES inversion
Authors: Wen-Ai Jackson, S. Murphy
Venue: Designs, Codes and Cryptography (2007)

We consider the nonlinear function used in the Advanced Encryption Standard (AES). This nonlinear function is essentially inversion in the finite field GF(28), which is most naturally considered as a projective transformation. Such a viewpoint allows us to demonstrate certain properties of this AES nonlinear function. In particular, we make some comments about the group generated by such transformations, and we give a characterisation for the values in the AES Difference or XOR Table for the AES nonlinear function and comment on the geometry given by this XOR Table.
Monocular Video Foreground/Background Segmentation by Tracking Spatial-Color Gaussian Mixture Models
Authors: Ting Yu, Cha Zhang, Michael Cohen, Yong Rui, Ying Wu
Venue: Proceedings of the IEEE Workshop on Motion and Video Computing (2007)

This paper presents a new approach to segmenting monocular videos captured by static or hand-held cameras filming large moving non-rigid foreground objects. The foreground and background objects are modeled using spatialcolor Gaussian mixture models (SCGMM), and segmented using the graph cut algorithm, which minimizes a Markov random field energy function containing the SCGMM models. In view of the existence of a modeling gap between the available SCGMMs and segmentation task of a new frame, one major contribution of our paper is the introduction of a novel foreground/background SCGMM joint tracking algorithm to bridge this space, which greatly improves the segmentation performance in case of complex or rapid motion. Specifically, we propose to combine the two SCGMMs into a generative model of the whole image, and maximize the joint data likelihood using a constrained Expectation- Maximization (EM) algorithm. The effectiveness of the proposed algorithm is demonstrated on a variety of sequences.
A concrete realization of the Hoare powerdomain
Authors: James B. Hart, Constantine Tsinakis
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2007)

The lattice of non-empty Scott-closed subsets of a domain D is called the Hoare powerdomain of D. The Hoare powerdomain is used in programming semantics as a model for angelic nondeterminism. In this paper, we show that the Hoare powerdomain of any domain can be realized as the lattice of full subinformation systems of the domain&#x2019;s corresponding information system as well as the lattice of non-empty down-sets of the system&#x2019;s consistency predicate.
Factoring synchronous grammars by sorting
Authors: Daniel Gildea, Giorgio Satta, Hao Zhang
Venue: Proceedings of the COLING/ACL on Main conference poster sessions (2006)

Synchronous Context-Free Grammars (SCFGs) have been successfully exploited as translation models in machine translation applications. When parsing with an SCFG, computational complexity grows exponentially with the length of the rules, in the worst case. In this paper we examine the problem of factorizing each rule of an input SCFG to a generatively equivalent set of rules, each having the smallest possible length. Our algorithm works in time O(n log n), for each rule of length n. This improves upon previous results and solves an open problem about recognizing permutations that can be factored.
Optimum codec companding for high-speed PCM data transmission in telephone networks
Authors: N. Warke
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

Codecs used in telephone networks in the United States have a /spl mu/-law companding characteristic solely designed for the purpose of transmitting voice signals. These /spl mu/-law codecs are not well suited for the latest generation of high-speed digital voice-band modems requiring PCM data transmission at the quantization levels of the codec. In this paper, we have shown that using a linear codec in the telephone network is optimal for PCM transmission (in terms of a minimum symbol error rate) for the range of SNRs observed over most modern telephone lines. We demonstrate that with a linear codec we get a dramatic improvement in the performance of these PCM modems without any increase in the complexity of the modem. In practice, it would be necessary and relatively simple to implement an additional feature in the /spl mu/-law codec to detect a voice-band modem during the initial phase of training and switch to a linear companding characteristic.
Haptic and Visual Working Memory in Young Adults, Healthy Older Adults, and Mild Cognitive Impairment Adults
Authors: Susana Paz, Julia Mayas, Soledad Ballesteros
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

A dual-task paradigm with two primary tasks (visual and haptic) combined with two secondary tasks (visual and haptic) was used to assess visual-haptic working memory (WM) in young adults, older healthy adults, and mild cognitive impairment (MCI) adults. A Corsi Haptic device was constructed to avoid the use of vision while performing the haptic WM tasks. The MCI group obtained the smallest span measures on both modalities, and their poorer performance was on the haptic tasks.
Quality of Service in Telemedicine
Authors: Priyadarsi Nanda, Rohan C. Fernandes
Venue: Proceedings of the First International Conference on the Digital Society (2007)

Telemedicine is one of the fastest growing fields with several innovations happening in managed health-care. With Internet and its infrastructures playing important role in the success of this field, it is not advisable to run some of the critical applications like high quality audio and video involved in telemedicine without proper Quality of Service (QoS) built on to the network. This paper focuses on two telemedicine setups that have been implemented on different backbone technologies. The first case discusses a virtual critical care unit that is setup for communication on an Asynchronous Transfer Mode (ATM) backbone and a possible model on how QoS for important traffic streams can be achieved in ATM. The second case discusses a minimal access operation that was remotely conducted on a patient with the help of telerobotics on a Multi Protocol Label Switching (MPLS) setup and provides a possible solution for achieving quality of service through MPLS in that scenario.
The Computing Profession and Higher Education
Authors: Neville Holmes
Venue: Computer (2007)

The computing profession needs to focus on working with other professions.
Pattern avoidance and the Bruhat order
Authors: Bridget Eileen Tenner
Venue: Journal of Combinatorial Theory Series A (2007)

The structure of order ideals in the Bruhat order for the symmetric group is elucidated via permutation patterns. The permutations with boolean principal order ideals are characterized. These form an order ideal which is a simplicial poset, and its rank generating function is computed. Moreover, the permutations whose principal order ideals have a form related to boolean posets are also completely described. It is determined when the set of permutations avoiding a particular set of patterns is an order ideal, and the rank generating functions of these ideals are computed. Finally, the Bruhat order in types B and D is studied, and the elements with boolean principal order ideals are characterized and enumerated by length.
Simplifying design and verification for structural hazards and datapaths in pipelined circuits
Authors: J. T. Higgins, M. D. Aagaard
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (2004)

This paper describes a technique that automates the specification and verification of structural-hazard and datapath correctness properties for pipelined circuits. The technique is based upon a template for pipeline stages, a control-circuit cell library, a decomposition of structural hazard and datapath correctness into a collection of simple properties, and a prototype design tool that generates verification scripts for use by external tools. Our case studies include scalar and superscalar implementations of a 32-bit OpenRISC integer microprocessor.
Animation collage
Authors: Christian Theobalt, Christian Rössl, Edilson de Aguiar, Hans-Peter Seidel
Venue: Proceedings of the 2007 ACM SIGGRAPH/Eurographics symposium on Computer animation (2007)

We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation collage is a complete reassembly of the original animation in a new abstract visual style that imitates the spatio-temporal shape and deformation of the input. Our algorithm automatically decomposes input animations into plausible approximately rigid segments and fits to each segment one shape from the database by means of a spatio-temporal matching procedure. The collage is then animated in compliance with the original's shape and motion. Apart from proposing solutions to a number of spatio-temporal alignment problems, this work is an interesting add-on to the graphics artist's toolbox with many applications in arts, non-photorealistic rendering, and animated movie productions. We exemplify the beauty of animation collages by showing results created with our software prototype.
Open protocols for web-based educational materials
Authors: T. Ahern
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

Using computers to deliver instructional material should be an excellent match of technology to education. Countless products meant to enhance or replace the classroom experience are currently available, yet few are utilized in spite of the national drive to increase the use of educational technology in our schools. Factors behind this under-utilization are complex but include expense, lack of flexibility, the proprietary nature of the products, and lack of teacher training, support, and time. Any computer-based instructional tool should incorporate the following characteristics in order to maximize utility and flexibility while minimizing cost and time: (1) be cross-platform, (2) separate content from delivery, (3) provide creation, editing, and delivery capabilities, and (4) use open standards. Our work proposes partitioning educational software along lines of expertise: open source authoring and presentation tools, open protocols for instructional design, and separate content created using the most appropriate application programs. We show the feasibility of meeting all the requirements with this approach using XML and Java.
Mentoring freshmen through design
Authors: M. J. Pavelich
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

This paper describes how the design courses at the Colorado School of Mines (CSM) are being restructured to help faculty better mentor students through their early design experience. Alumni praise the courses for improving their open-ended problem solving, team-work and oral communications skills. However, many students get through the sequence without advancing in these skills much at all. One indication of this is the large number of graduating seniors who are still operating only in the middle levels of Perry's intellectual development scale. Our approach to improving students learning in design is to have more concerted, more deliberate and better mentoring of students by faculty in the design courses. This requires an altered course structure to facilitate mentoring and a training of faculty in what to look for in student actions and in how to interact with student teams. We have begun this past semester with our first-year design course by making three significant changes: one professor has only 25 students and is with them five hours per week; the design projects for first-year students are mechanical devices (e.g., the ASEE Design Graphics Competition problems) whose work-up requires student teams to produce something they see as engineering: a portfolio of drawings and a prototype; and we have regular meetings/workshops of the professors where they discuss their mentoring experiences and hear ideas from outside experts. The paper gives the reasoning behind each change and presents initial data assessing the value of this new approach to teaching first-year design.
An Experience in Introducing a New Control Platform on a Legacy System
Authors: Eric Suijs
Venue: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (2007)

The Cardio/Vascular X-Ray products developed by Philips Medical Systems are very large and complex multi-disciplinary systems. Typically, these systems have a lifecycle of around 15 years. During the lifecycle, a constant stream of diverse innovations and new technologies has to be integrated into the systems. This paper illustrates some of our reengineering efforts to adopt a newly developed control platform for the Cardio/Vascular X-Ray product line.