ppxscal/embedding_network huggingface dataset:
Enforcing robust declassification and qualified robustness
Authors: Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
Venue: Journal of Computer Security (2006)

Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their intended function and therefore violate noninterference. To control information flow while permitting information release, some systems have a downgrading or declassification mechanism, but this creates the danger that it may cause unintentional information release. This paper shows that a robustness property can be used to characterize programs in which declassification mechanisms cannot be controlled by attackers to release more information than intended. It describes a simple way to provably enforce this robustness property through a type-based compile-time program analysis. The paper also presents a generalization of robustness that supports upgrading (endorsing) data integrity.
Collaborative Decision Systems Project Summary of Technology Developments for Human-Robotics Interactions
Authors: Liam Pedersen, Robert Brummett
Venue: Proceedings of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology (2006)

Future manned exploration will involve increasingly complex missions in space and on planetary surfaces. Flight crews will need to be largely self-reliant in routine operation with ground support providing rapid expert consultation and ad hoc support. Creating and executing such control strategies requires machine intelligence, coupled tightly with human intelligence, to become an integral part of future flight systems for both manned and unmanned missions. This means that both the systems and sub-systems fielded by the exploration initiative will need to be "smarter" and that these automated systems, and the human crew, will need to function as a well-integrated robust team. The Collaborative Decision Systems (CDS) Project addressed these challenges by creating technology for automating both nominal operations and health management, and technologies for merging automated systems and human crews into functional self-reliant teams. The CDS Project performed low- to mid-TRL inter-disciplinary research and technology development integrated across multiple research groups, principal investigators, and NASA centers. The development and integration resulted in an integrated technology demonstration that modeled a 'day on the surface' that featured an astronaut, 2 autonomous rovers, and a habitat crew.
Adaptive Image Interpolation Using Weight CVQ
Authors: Byung-Ho Cha, Rae-Hong Park
Venue: Proceedings of the Eighth IEEE International Symposium on Multimedia (2006)

We propose a novel adaptive image interpolation method based on the weight classified vector quantization (CVQ) using optimal coefficients which are constrained by a quadratic signal class. It overcomes the computational complexity bottleneck of other second-order image interpolation methods such as an edge-directed and an optimal recovery interpolation. Our proposed interpolation method consists of three steps: the coefficient generation step constructing both image patches and constrained coefficient sequences from a set of training images, weight CVQ step generating codevectors from classified image patches, and interpolation step using an equal-average nearest neighbor search (ENNS). Simulation results with exemplary test images demonstrate that our proposed method is superior to a bilinear and a bicubic interpolation. Moreover, its visual quality is comparable to that of the edge-directed and the optimal recovery interpolation, with the much less computational load.
Volterra prediction models and higher order whiteness
Authors: P. Bondon, P. L. Combettes, B. Picinbono
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1993. ICASSP-93 Vol 4., 1993 IEEE International Conference on - Volume 04 (1993)

For nonGaussian processes, a nonlinear predictor can achieve a smaller prediction error than a linear one. The authors study Volterra predictors and compare them with their linear counterparts. The concept of Volterra unpredictability leads to important generalizations of the notion of white noise to higher orders. These generalizations are introduced and relations are established between them. Examples are provided to show that the relations between these higher order whitenesses are not trivial.
The Evolution of Cooperation in Heterogeneous Population
Authors: Yang Chen, Yong Zhao
Venue: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 1 (2006)

Based on spatial prisoner's dilemma theory proposed by Nowak, a model is built to character the evolution of cooperation in heterogeneous population, dismissing the assumption that all agents in population are homogeneous. The influence of the population diversity and spatial structure is studied. The revealing simulation results shows that the cooperation degree in heterogeneous population is much higher than that in homogeneous population, the conclusion is that the will to get heterogeneous resource is an important reason to cause the cooperation. Another result different from past researches is that the randomization degree of the spatial structure has no obvious effects on the time from initial state to quasi-stable state.
Software agents that learn through observation
Authors: Jaçanã Machado, Luís Botelho
Venue: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006)

In this paper, we present an architecture for software agents that enables them to learn vocabulary through the observation of each other bodies and actions. Besides sensors, effectors, and action control, the architecture provides the equivalent of a body with visual appearance. The agent soft visual appearance is designed to be seen by other software agents, not by people. The paper describes the agent software body with visual appearance, the learning mechanism, the demonstration scenario and presents some results showing that the agent software body allows agents to learn vocabulary through observation and to ground the meaning of the symbols they learn. The paper emphasizes the important role of social interaction in learning processes.
Towards an Algebra of Abstractions for Communicating Processes
Authors: Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny
Venue: Proceedings of the Sixth International Conference on Application of Concurrency to System Design (2006)

It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour. It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour. It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour.
Robust signal ARMA model estimation using pre-filtering and data sectioning
Authors: W. Lui, R. Doraiswami
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1993. ICASSP-93 Vol 4., 1993 IEEE International Conference on - Volume 04 (1993)

The authors consider the robust estimation of signal autoregressive and moving average (ARMA) model parameters in noise. The original noisy measurement with high sampling rate is prefiltered by using a moving average process. The fast modes of the signal are obtained by using the leading section of the data and the closely spaced slow modes are calculated from the decimated trailing section of the data. The MA coefficients are extracted from the estimated AR coefficients by solving a normal equation with singular value decomposition (SVD) and spectral factorization in the frequency domain.
Control science for injury prevention
Authors: D. V. Balandin, N. N. Bolotnik, W. D. Pilkey
Venue: Proceedings of the 2003 International Conference on Physics and Control - Volume 4 (2003)

A review of recent research on the limiting performance analysis of impact isolation systems for injury prevention is presented. A limiting performance analysis establishes the absolute optimum for a performance index measuring the quality of an isolation system by solving an optimal control problem. Problems related to the optimal design of a crashworthy helicopter seat, automobile seatbelts, and sporting helmets are discussed.
Non-Real-Time Content Scheduling Algorithms for Wireless Data Networks
Authors: Samrat Ganguly Mainak Chatterjee Rauf Izmailov
Venue: IEEE Transactions on Computers (2006)

A substantial portion of the emerging wireless data service consists of non-real-time applications such as content download. The existing mechanisms based on per-packet performance guarantees used mainly for voice and streaming media do not suffice for the elastic nature of non-real-time traffic. For a non-real-time user data services, the key performance measure of interest is the total download time. In this paper, we propose a novel scheduling framework for wireless content service. Specifically, we present a two-layer scheduling architecture that combines content-aware scheduling with opportunistic scheduling. In terms of content-awareness, the proposed scheduling policy provides guarantees on the download time of content. In the second stage, the instantaneous channel conditions of different users are exploited in an opportunistic manner so as to maximize the throughput of the system. We define service differentiation in two modes—differential and guaranteed—and provide polynomial time algorithms for both that manipulate the stretch ratio but within allowable limits. Extensive simulations are conducted that verify the efficiency of the proposed schemes and provide insights into the behavior of the scheduling algorithms for non-real-time data.
Generating Proof Obligation to Verify Object-Z Specification
Authors: Zhicheng Wen, Huaikou Miao, Hongwei Zeng
Venue: Proceedings of the International Conference on Software Engineering Advances (2006)

A formal specification is usable only if it is consistent or non-conflictive. In traditional programming languages, the consistency checking for program is performed at run time. But formal specifications are not executable in general. The syntax parsing and semantics checking in certain tools are not effective for the consistency checking sometimes. Hence, it is difficult to verify the consistency of a formal specification. This paper presents an approach to generating relevant proof obligations for Object-Z specification systemically. It aims to verify the consistency of a specification developed with Object-Z, which enables the specifier to gain confidence. Because Object-Z is an object-oriented formal specification language and has inheritance characteristic, we discuss it from several aspects and take into account the reuse of proof obligation emphatically. Finally, we make use of the theorem prover Z/EVES to analyze and verify the proof obligations.
A protocol for adaptation-aware multimedia streaming
Authors: M. Ohlenroth, H. Hellwagner
Venue: Proceedings of the 2003 International Conference on Multimedia and Expo - Volume 1 (2003)

Multimedia streaming is becoming ever more popular. However, the Internet does not support streaming with its high bandwidth and low latency requirements very well. The problem is that QoS guarantees cannot be given. Hence, communication partners have to deal with rapidly changing connection parameters. This requires sophisticated streaming concepts that can handle these varying conditions using adaptation techniques. Adaptation methods can be dropping layers, dropping access units or transcoding the contents. But this places specific requirements on the underlying protocol. This paper identifies and discusses these requirements and analyses how existing protocols can meet them. Unfortunately, none of the known protocols can meet all requirements. Hence, we propose a new adaptation-aware multimedia streaming protocol that can operate as required in the given Internet environment. Furthermore, we show how this protocol can be used to carry MPEG-4 audio-visual contents.
Agent Based Modelling of Coevolution of Trust between Client and Wealth Managers
Authors: James Thompson, Terry Bossomaier
Venue: Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (2006)

Agent based modelling is used to study the pattern of interaction between clients and wealth management advisors (WMAs). A simulated investment market is used by WMAs to invest money on behalf of clients with differing investment goals. Client and WMA strategies coevolve, each maximising their own wealth. Simulations show abrupt transitions where trust between clients and WMAs rises dramatically and in most cases remains stable thereafter.
Knowledge visualization in hepatitis study
Authors: DucDung Nguyen, TuBao Ho, Saori Kawasaki
Venue: Proceedings of the 2006 Asia-Pacific Symposium on Information Visualisation - Volume 60 (2006)

Evidence-based medicine (EBM) is a shift in which medicine from being based on individual experience of doctors to evidence with clear background. In this shift, data mining can play a significant role as its ability of uncovering medical evidence from large volumes of medical data. Recognizing the crucial role of visualization in discovering such evidences, this work presents some developed tools integrated in our data mining system D2MS for appropriately visualizing knowledge, and their usage in hepatitis study. We emphasize on our two rule visualizers, one for individual rule and the other for rule in its relations with the others.
Defect Diagnosis - Reasoning Methodology
Authors: Yasuo Sato, Kazushi Sugiura, Reisuke Shimoda, Yutaka Yoshizawa, Kenji Norimatsu, Masaru Sanada
Venue: Proceedings of the 15th Asian Test Symposium (2006)

Diagnosis has become a crucial technology for early debugging and yield improvement. However, the conventional diagnosis methods are not good at locating the defects that are not precisely expressed only with logical fault models. In this paper, we propose a novel defect diagnosis methodology, which is based on the evaluation of defect behaviors using physical information. We examine suspected nodes' voltages by comparing with the observed responses of ATE. In the examination, we use "defect activation, which is an estimation method of defective nodes' voltages using physical information. Using this methodology, we introduce examples of diagnosis for open defects in a cell, and for interconnect open defects. Those successful results show the effectiveness of the defect diagnosis.
Evidence-Based Cost Estimation for Better-Quality Software
Authors: Tim Menzies, Jairus Hihn
Venue: IEEE Software (2006)

Evidence-based reasoning is becoming common in many fields. It's widely enshrined in the practice and teaching of medicine, law, and management, for example. Evidence-based approaches demand that, among other things, practitioners systematically track down the best evidence relating to some practice; critically appraise that evidence for validity, impact, and applicability; and carefully document it. One proponent of evidence-based software engineering is David Budgen of Durham University. In the Internet age, he argues, many sources of supposed knowledge--Google, Wikipedia, digg.com, and so on--surround us. At his keynote address at the 2006 Conference on Software Engineering Education and Training, Budgen asks, how should we train students to assess all that information and to separate the sense from the nonsense? In his view, before we can denounce some inaccuracy in, say, Wikipedia, we must first look to our own work and audit our own results.
A new approach to intelligent text filtering based on novelty detection
Authors: Randa Kassab, Jean-Charles Lamirel
Venue: Proceedings of the 17th Australasian Database Conference - Volume 49 (2006)

This paper presents an original approach to modelling user's information need in text filtering environment. This approach relies on a specific novelty detection model which allows both accurate learning of user's profile and evaluation of the coherency of user's behaviour during his interaction with the system. Thanks to an online learning algorithm, the novelty detection model is also able to track changes in user's interests over time.The proposed approach has been successfully tested on the Reuters-21578 benchmark. The experimental results prove that this approach signicantly outperforms the well-known Rocchio's learning algorithm.
A Framework for Extensible Component Customization for Component-based Software Development
Authors: Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang
Venue: Proceedings of the Sixth International Conference on Quality Software (2006)

Component-based software development (CBSD) increases productivity of software developers and improves overall software quality due to high degree of reusability. To achieve the full potential of CBSD, it is necessary for software developers to be able to customize components because it is rare to find the components completely matching their functional and non-functional requirements in the new applications. Existing customization approaches can be used to address this problem only in a narrow set of application domains. Addressing customization in a wide range of application domains is highly desirable, but very challenging because there are usually a number of different ways to customize a component. Different application domains can require vastly different customizations on the same component. In this paper, a framework for extensible component customization, which is independent of any run-time system or platform and can be used in a wide range of application domains, is presented.
The Separation System of the Speech Signals Using Kalman Filter with Fuzzy Algorithm
Authors: Yu-Jen Chen, Chin- Chang Wang, Gwo-Jia Jong, Boi-Wei Wang
Venue: Proceedings of the First International Conference on Innovative Computing, Information and Control - Volume 1 (2006)

The frequency reuse technology is used to supply a high system capacity in mobile communication system. However, the situation of the frequency reuse leads to co-channel interference. In this paper, the presented algorithm based on Kalman Filter with Fuzzy theory which separated the speech signals under Additive White Gaussian noise channel. It is shown how to search the optimal weight coefficients value for minimizing Mean Square Error (MSE) and high convergence time in the discrete state-space procedure. Then, comparing the traditional Kalman Filter algorithm, we observe some disadvantage such as low convergence time and large Mean Square Error. We adopt Kalman algorithm combined with Fuzzy theory for improving the convergence speed and MSE of conventional Kalman Filter. In numerical analysis, we discuss the convergence rate for carrier signal-to-noise ratio (SNR) _c and compare the MSE Furthermore, in this paper the Kalman algorithm with Fuzzy logic is better than Kalman Filter performance for separating speech signal under Additive White Gaussian Noise (AWGN) channel.
Co-Evolution: An Approach to Automatic Generation of Fuzzy Systems
Authors: Anderson Francisco Talon, Heloisa de Arruda Camargo
Venue: Proceedings of the Sixth International Conference on Hybrid Intelligent Systems (2006)

This work focus on the problem of automatic generation of fuzzy systems by means of evolutionary computation, specifically using the approach of coevolution. Co-evolution is based on the idea of modular modeling of the problem subcomponents. In this work the subcomponents are represented by species, which have a collaborative relation among them. The fuzzy system to be created performs fuzzy pattern classification. Basically, the environment is composed by four different species, which have a hierarchical collaboration both in the generation of the species and in the fitness determination of the individuals of these species. These species are organized in levels, where the contribution in the specie generation happens from the lowest to highest levels and the contribution in the fitness determination happens from the highest to lowest levels. The fitness calculation includes evaluations of rules compactness, what was demonstrated to improve the system interpretability.
GeneGrid: From "Virtual" Bioinformatics Laboratory to "Smart" Bioinformatics Laboratory
Authors: Sachin Wasnik, Paul Donachy, Terence Harmer, Ron Perrott, P. V. Jithesh, Mark McCurley, Jim Johnston, Michael Townsley, Shane Mckee
Venue: Proceedings of the 19th IEEE Symposium on Computer-Based Medical Systems (2006)

One of the challenges for the grid community is to develop services to support both shared computation and shared information. As a part of this development, it is necessary to convert laboratories to pervasive computing environments (smart laboratories) where data generated in the laboratories can be captured and published automatically; where information generated can be combined and compound with other laboratories' data on demand. In this paper, we describe one such initiative to capture and consume the data generated by the nucleotide sequencer in the grid enabled automated analysis system called GeneGrid developed at the Belfast e-Science Centre.