ppxscal/embedding_network huggingface dataset:
Bytecode Verification for Enhanced JVM Access Control
Authors: Dongxi Liu
Venue: Proceedings of the The Second International Conference on Availability, Reliability and Security (2007)

This paper presents an approach to addressing the known weaknesses and security issues of JVM stack inspection in a unified framework. We first propose an enhanced JVM access control mechanism. In this mechanism, values are also associated with security levels. When enforcing access control, this mechanism checks not only the permissions of code on stack as the usual stack inspection, but also the security levels of values to make sure they are used legally. We then present a static type system to verify whether a bytecode program satisfies the security property achieved by this enhanced mechanism. This type system performs modular and context-sensitive analysis at the method level by generating and solving constraints, and path-sensitive analysis at the code block level by using a trace-based approach. In addition, this type system does not need any user annotation for verification.
syngva: an object that raises questions of agency, relationship, and control
Authors: Nicholas A. Knouf
Venue: Proceedings of the 6th ACM SIGCHI conference on Creativity cognition (2007)

The division between subject and object, agent and non-agent, has consistently been dubious philosophically. Now we are increasingly faced with computational objects and relational artifacts that put into question cherished notions of human agency and intentionality. I describe one such object, syngva, a creature that develops through evolutionary processes idiosyncratic movements in response to non-speech vocalizations. syngva serves two parallel roles. For the user, syngva enables a form of non-linguistic expression, serving as a catalyst for novel vocal behaviors provoked by the motions of the object. For myself, syngva acts as a sociological probe, allowing me to study in-situ relationship formation, agency, and control in response to an "intelligent" creature. I describe an evaluation approach that draws heavily from actor-network theory (ANT), a methodology that in part places objects on the same ontological level as human agents. This re-centering of agency intimates a different way of looking at the person-object dyad that focuses on the interactions themselves without reference to pre-existing theories.
Architecture alternatives for integrating Cellular IP and Mobile IP
Authors: K. D. Wong
Venue: Proceedings of the Performance, Computing, and Communications Conference, 2002. on 21st IEEE International (2002)

Mobile IP provides a good solution for macro-mobility, allowing users to roam while keeping their permanent IP address for identification. However, it is known not to perform well for micro-mobility. Schemes like Cellular IP have been developed that provide low-latency handoffs for micro-mobility but are not scalable for macro-mobility. A practical solution would therefore require integration of Mobile IP and Cellular IP where Mobile IP handles macro-mobility and Cellular IP handles micro-mobility. Architecture alternatives for such integration are studied. Five architectures are discussed and compared. 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
Improved emission tomography via multiscale sinogram analysis
Authors: K. E. Timmermann
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

In this paper, we extend a multiscale Bayesian approach to modeling and estimation of general Poisson processes previously developed in Timmermann and Nowak (1997), and apply it to the emission computed tomography (ECT) image reconstruction problem. We develop a practical prior model for the sinogram image, which we use to estimate the underlying sinogram intensity from the raw projection data prior reconstruction. This sinogram estimate is then used in conjunction with the standard filtered-backprojection algorithm to produce an improved image reconstruction. The impact of the new filtering approach on ECT imaging is illustrated with simulated and clinical data.
Laboratory redux
Authors: Philip M. Dorin
Venue: ACM SIGCSE Bulletin (2007)

This article updates our earlier experiences with a Programming Laboratory. It appears between an introductory programming course and a two-semester sophomore sequence in data structures and algorithms. Although it was once organized around the notion of algorithm paradigms (with Ada as the implementation language), it has de-volved into a course that stresses fundamentals of programming (with Java as our programming language). Classes and objects, and the design and implementation of unit tests, are now considered to be part of the basic repertoire, and they receive significant attention in the new format.
Vehicle detection from high-resolution satellite imagery using morphological shared-weight neural networks
Authors: Xiaoying Jin, Curt H. Davis
Venue: Image and Vision Computing (2007)

High-resolution satellite imagery has recently become a new data source for extraction of small-scale objects such as vehicles. Very little vehicle detection research has been done using high-resolution satellite imagery where panchromatic band resolutions are presently in the range of 0.6-1.0m. Given the limited spatial resolution, reliable vehicle detection can only be achieved by incorporating contextual information. Here, a GIS road vector map is used to constrain a vehicle detection system to road networks. We used a morphological shared-weight neural network (MSNN) to learn an implicit vehicle model and classify pixels into vehicles and non-vehicles. A vehicle image base library was built by collecting more than 300 cars manually from test images. Strategies to reduce the false alarms and select target centroids were designed. Experimental results indicate that the MSNN performed very well. The detection rate on both training and validation sites exceeded 85% with very few false alarms. By learning the implicit vehicle model through a MSNN, our method outperforms a baseline blob detection method.
Toward Recognizing Individual's Subjective Emotion from Physiological Signals in Practical Application
Authors: Olivier Villon, Christine Lisetti
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

During last decade, an increasing interest for interpreting users' emotional subjective experience on the basis of physiological signals has led to various approaches. In this article, we focus on two different approaches toward emotion recognition : (1) the user-dependency of psycho-physiological data collected (i.e. do we choose to keep track of the specificity of individuals' responses or do we ignore such specificity), and (2) the degree of subjectivity of the stimuli used to elicit emotions (i.e. stimuli with high level of agreement in terms of what emotional experience they elicit among a population can be chosen versus stimuli without such an agreement). In order to assess the implications of adopting one of these methodologies on the personalization of emotion recognition from physiological signals we present our empirical results for emotion recognition from physiological signals based on an experiment involving 40 subjects. We conclude by proposing requirements for any chosen approach to achieve suitable online emotion recognition, in an out-of-the-lab context (e.g. interactive art, e-Health application).
Energy Efficient Expanding Ring Search
Authors: Incheon Park, Ida Pu
Venue: Proceedings of the First Asia International Conference on Modelling & Simulation (2007)

Energy consumption is a major issue in designing protocols for Ad Hoc Wireless Networks due to battery constrains. This paper identifies the inefficient elements of expanding ring search protocol and proposes the new blocking expanding ring search approach which demonstrates substantial energy savings without an increase in route discovery latency.
Irreducible form for AP algorithm for detecting the number of coherent signals based on the MDL principle
Authors: M. Suzuki
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

This paper presents an improvement of the alternating projection (AP) algorithm for detecting the number of coherent signals based on the minimum description length (MDL) principle using a uniform linear array of sensors. The criterion of the AP algorithm for the detection becomes indefinite, when estimated bearings more than one approach to the identical value. This paper derives an irreducible form of the AP criterion for the detection, which never get indefinite. The irreducible form is represented as a rational function and real-valued version of the FFT can be exploited efficiently. The proposed algorithm reduces the order of the amount of arithmetic operations. Finally, simulation results are shown to demonstrate the validity of the proposed algorithm.
Stochastic modelling and identification of lubricated polymer friction dynamics
Authors: Geesern Hsu
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

We apply a maximum-likelihood stochastic system identification technique to the problem of identifying parameters of a model for friction in a hydraulic actuator. This is the first application of stochastic modelling and identification techniques to the problem of modelling friction, which is a very complex physical process. The deterministic part of the model characterizes energy dissipation mechanisms of friction and the associated transient responses. The stochastic part of the (ARMAX) model characterizes unmodelled dynamics due to process disturbances and measurement noise. The model and identification algorithm are validated by comparison with experimental data.
Automated Testing of Generic Computational Science Libraries
Authors: Kirk Sayre, Jesse Poore
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The object-oriented design of software using a generic library presents many advantages over non-object-oriented or non-generic based software design. However, the testing of generic libraries involves some unique issues not usually faced during the testing of non-generic libraries. This paper will describe these testing issues as they pertain to libraries designed using C++ templates. A proposed solution to these issues using a usage model-based automated testing framework will be presented.
Predictive Integration of Gene Ontology-Driven Similarity and Functional Interactions
Authors: Francisco Azuaje, Haiying Wang, Huiru Zheng, Olivier Bodenreider, Alban Chesneau
Venue: Proceedings of the Sixth IEEE International Conference on Data Mining - Workshops (2006)

There is a need to develop methods to automatically incorporate prior knowledge to support the prediction and validation of novel functional associations. One such important source is represented by the Gene Ontology (GO)ÆË and the many model organism databases of gene products annotated to the GO. We investigated quantitative relationships between the GO-driven similarity of genes and their functional interactions by analyzing different types of associations in Saccharomyces cerevisiae and Caenorhabditis elegans. Interacting genes exhibited significantly higher levels of GO-driven similarity (GOS) in comparison to random pairs of genes used as a surrogate for negative interactions. The Biological Process hierarchy provides more reliable results for co-regulatory and protein-protein interactions. GOS represent a relevant resource to support prediction of functional networks in combination with other resources.
A holistic assessment of writing in design
Authors: D. Larson
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 01 (1998)

This paper describes the authors' two-semester effort to integrate writing instruction into a multi-disciplinary sophomore engineering design course and their programmatic assessment approach. They employed a strategy that consisted of administering a pre and post-instruction in-class, un-graded writing activity that was blindly scored using holistic techniques by a group of diverse evaluators. The results of this assessment experiment: showed no growth in student writing as measured over a semester length of time; indicated that students' attitude about the assessment process can influence results; and pointed out problems with the development of good prompts. In addition, the calibration process used to train evaluators was most beneficial, yielding a consensus standard of performance that was applied to not only the pre- and post-tests evaluation, but also within the classroom.
A new deterministic annealing for image contextual classification
Authors: S. Chitroub
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

As an alternative to strict gradient descent-based procedures, we propose here a new deterministic annealing (DA) optimization approach for Bayesian-MRF contextual classification of images. The proposed DA builds on recent approaches that capture some of the power of the stochastic annealing optimization methods while reducing computational complexity via a deterministic approximation. It does not employ heuristic implementation to guarantee convergence. It uses the local Markov chains (LMC) modeling. Such local modeling is derived from the Markov model of simulated annealing. The update process of the LMC is obtained by using the modified Metropolis dynamics. Analytical guidelines for selecting the initial, critical, and final temperatures and the length of homogeneous LMC (number of iterations per temperature) for the annealing process are presented. The performance of the proposed approach is compared to other optimization methods. The method presents significant performance advantages compared to current methods for combinatorial optimization.
Blind adaptive estimation of KLT basis vectors
Authors: C. E. Davila
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

An algorithm for estimating the basis vectors used in the Karhunen-Loeve transform (KLT) is described. The algorithm is "blind" in the sense that it utilizes minimal information about the data vector being encoded. It is capable of estimating the KLT basis vectors using only the KLT coefficients and one additional scalar quantity. This eliminates the need to repeatedly encode and transmit the KLT basis vectors. 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
Motion Analysis In Compressed Video - An Hybrid Approach
Authors: Mohammed M. Ibrahim, Supriya Rao
Venue: Proceedings of the IEEE Workshop on Motion and Video Computing (2007)

In this paper, we propose a technique for the automatic extraction of moving objects from compressed domain video. We propose the use of a spatio-temporal filter for filtering the motion vectors and a hybrid approach to exploit both compressed domain processing and spatial domain processing to meet the tradeoff between computation and accuracy. The experimental results shows that our approach can detect objects with size smaller than one macroblock with accurate shape of the object.
A model for quantitative evaluation of an end-to-end question-answering system
Authors: Nina Wacholder, Diane Kelly, Paul Kantor, Robert Rittman, Ying Sun, Bing Bai, Sharon Small, Boris Yamrom, Tomek Strzalkowski
Venue: Journal of the American Society for Information Science and Technology (2007)

We describe a procedure for quantitative evaluation of interactive question-answering systems and illustrate it with application to the High-Quality Interactive Question-Answering (HITIQA) system. Our objectives were (a) to design a method to realistically and reliably assess interactive question-answering systems by comparing the quality of reports produced using different systems, (b) to conduct a pilot test of this method, and (c) to perform a formative evaluation of the HITIQA system. Far more important than the specific information gathered from this pilot evaluation is the development of (a) a protocol for evaluating an emerging technology, (b) reusable assessment instruments, and (c) the knowledge gained in conducting the evaluation. We conclude that this method, which uses a surprisingly small number of subjects and does not rely on predetermined relevance judgments, measures the impact of system change on work produced by users. Therefore this method can be used to compare the product of interactive systems that use different underlying technologies. &copy; 2007 Wiley Periodicals, Inc.
Collaborative Filtering Using Dual Information Sources
Authors: Jinhyung Cho, Kwiseok Kwon, Yongtae Park
Venue: IEEE Intelligent Systems (2007)

With the proliferation of e-commerce on the Web, e-commerce providers will need to offer recommender systems if they wish to remain competitive. One of the most successful recommendation methods is collaborative filtering. To provide recommendations, conventional CF methods use only a single recommender group (that is, a single information source). Consequently, they have several limitations that make them unsuitable for high-involvement, knowledge-intensive product domains such as e-learning. A new CF method, based on group behavior theory from consumer psychology, attempts to overcome these limitations. To adapt CF to Web-based e-learning content services, this method forms dual recommender groups: similar users and expert users. In experiments, a recommender system employing this method outperformed conventional CF methods in situations involving variations in the product domain and in data sparsity. This article is part of a special issue on recommender systems.
A computational model of the music of Stevie Ray Vaughan
Authors: Naresh Vempala, Subrata Dasgupta
Venue: Proceedings of the 6th ACM SIGCHI conference on Creativity cognition (2007)

Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model that predicts the creative decisions made by the blues musician, Stevie Ray Vaughan for various input scenarios. Our design brings into effect the fact that creative works involve the use of pre-existing structures stored in the creator's mind or knowledge base, retrieved and reconstructed on the basis of appropriate rules, which are triggered by the nature of specific input. The model was partially implemented as a limited production system using a probabilistic method. It was tested with three different input scenarios. The model predicted the musician's decisions with a limited degree of accuracy. The tests provided valuable insight on ways to improve the current performance and suggested revising the definition of a musical pattern to include specific limits on its duration.
Networking real-world knowledge
Authors: David Smith
Venue: AI Society (2007)

This article examines the UNESCO Convention on Intangible Cultural Heritage. It accepts the general case made by UNESCO, but urges greater attention to the &#x2018;real-world&#x2019; knowledge of ordinary people. The paper rejects taxonomies of knowledge based on metaphysical discussions of knowing. Instead, it argues for an approach to knowledge based on the social production of &#x2018;knowledge acts&#x2019;. It concludes by asserting that support for the diversity of social enactment of knowledge could have valuable outcomes in the form of new ways of understanding new and emerging technologies.
Optimal Bilinear Control of an Abstract Schro&uml;dinger Equation
Authors: Kazufumi Ito, Karl Kunisch
Venue: SIAM Journal on Control and Optimization (2007)

Well-posedness of abstract quantum mechanical systems is considered and the existence of optimal control of such systems is proved. First order optimality systems are derived. Convergence of the monotone scheme for the solution of the optimality system is proved.
On Derandomizing Probabilistic Sublinear-Time Algorithms
Authors: Marius Zimand
Venue: Proceedings of the Twenty-Second Annual IEEE Conference on Computational Complexity (2007)

There exists a positive constant \alpha \le 1 such that for any function T(n)\leqslant n^{\alpha} and for any problem L \in BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time which decides L, except for at most a 2^{-\Omega (T(n) log T(n)) fraction of inputs of length n.
A genetic algorithm approach for optimal distribution feeder restoration during cold load pickup
Authors: S. Chavali, A. Pahwa, S. Das
Venue: Proceedings of the Evolutionary Computation on 2002. CEC '02. Proceedings of the 2002 Congress - Volume 02 (2002)

Restoration of distribution feeders after long interruptions creates cold load pickup conditions due to loss of diversity among the loads. The distribution system load may have to be restored step-by-step using sectionalizing switches under such conditions to prevent overheating of the substation transformer. The restoration time is dependent on the order in which sections are restored. A method based on a genetic algorithm to find the globally best restoration sequence of sections is presented in this paper. Results obtained using this method for a test case are presented.
Open sourcing internally funded projects
Authors: Matthew Tippett
Venue: Proceedings of the 3rd annual conference on Atlanta Linux Showcase - Volume 3 (1999)

Many organizations use internally funded projects to fulfill a business need. These projects may give no direct competitive benefit to the organization. Since an organization develops the core architecture as well as the portions directly related to their business needs, they are penalized financially by the effort to build both components. By making the core components available and accessible through Open Source mechanisms, an organization should be able to capitalize on the consistent recreation of similar systems by other similar organizations. If multiple organizations can have access to a consistent framework they can implement their business requirements while enhancing the core components as well.
A laboratory right under your nose
Authors: Scott Davidson
Venue: IEEE Design Test (2007)

Microfluidic lab-on-a-chip technology could have tremendous benefits in improving our welfare and health. In the next few decades, LOCs could become as ubiquitous as PCs are today. This column takes a light-hearted approach at exploring some of the many possible applications.
Bases Collapse in Holographic Algorithms
Authors: Jin-Yi Cai, Pinyan Lu
Venue: Proceedings of the Twenty-Second Annual IEEE Conference on Computational Complexity (2007)

Holographic algorithms are a novel approach to design polynomial time computations using linear superpositions. Most holographic algorithms are designed with basis vectors of dimension 2. Recently Valiant showed that a basis of dimension 4 can be used to solve in P an interesting (restrictive SAT) counting problem mod 7. This problem without modulo 7 is #P-complete, and counting mod 2 is NP-hard. We give a general collapse theorem for bases of dimension 4 to dimension 2 in the holographic algorithms framework. We also define an extension of holographic algorithms to allow more general support vectors. Finally we give a Basis Folding Theorem showing that in a natural setting the support vectors can be simulated by bases of dimension 2.