ppxscal/embedding_network huggingface dataset:
IIPS-ICC: An Intelligent IP-Surveillance Platform Using Interactive Camera-handoff Control
Authors: Chung-Ming Huang, Chia-Ching Yang, Chung-Wei Lin
Venue: Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (2007)

In this paper, we develop an intelligent IP-surveillance platform using interactive camera-handoff control, which is called IIPS-ICC. In addition to fundamental tele-surveillance functions, the emerging techniques adopted in IIPS-ICC contain flexible surveillance description language, scalable video coding and intelligent data fusion. The proposed camera-handoff control is used to assist client applications in changing a monitoring connection automatically when tracked people move among multiple cameras in a large-scale surveillance environment, e.g., hospital. According to experimental results, IIPS-ICC would be a feasible solution to provide more reliable and scalable surveillance services in the next-generation IP surveillance system.
An Innovative Restoration Algorithm with Prioritized Preemption Enabled
Authors: Jingyi Wang, Zhiyu Zhou, Jian Wu
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03 (2007)

This paper proposes an innovative prioritized restoration algorithm which enables carefully scheduled preemption (RAPPE). Firstly, it makes dedicate differentiation among network resources based on their roles in holding up services (working or backup) as well as the service levels they are carrying; secondly, it enables both higher level service preempting resources of lower and lower level service utilizing spare resources of higher; thirdly, it carefully schedules preempting rules. Simulation results show RAPPE satisfies various service requirements according to their priority levels and improves the network resource utilization sharply. Moreover, RAPPE also achieves wonderful performance in preemption perspective for it minimizes the preempted service level as well as the number of preempted services, both of which are important criteria in evaluating a preemption algorithm. Furthermore, to implement the RAPPE in existed networks, only a simple PathCost object needs to be installed on the existed routing module of edge nodes.
Collaborative design exploration: envisioning future practices with make tools
Authors: Kirsikka Vaajakallio, Tuuli Mattelmäki
Venue: Proceedings of the 2007 conference on Designing pleasurable products and interfaces (2007)

We have seen a growing interest in user-centred approaches and methods to facilitate collaboration between different stakeholders and potential users in the design process. More discussion however is needed on the designer's role as facilitator and how co-design material can be transformed into design solutions. This paper describes how design opportunities for information and communication technologies were envisioned together with ageing workers in the midst of their work activities. 'Make Tools' were used to amplify ageing workers' creativity and to enable the enactment of use scenarios. The paper also discusses the designers' role in co-design and presents how generated ideas and scenarios were turned into design material in the project, named Active@work.
A Content Protection Scheme for H.264-based Video Sequence
Authors: Meihua Wang, Kefeng Fan, Bin Yue, Xiaojun Yu
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03 (2007)

According to the DCT distribution of the intra frame in H.264, we propose a low bit-rate H.264-based video content protection scheme using watermarking technique. By introducing the idea of sign coding, we embed the watermark into the DCT coefficients by modifying the signs of them. The detection process is blind-which give it an advantage over most existing algorithms. Experiment results show that the embedded water- marks can resist the well known H.264 compression attacks. The proposed scheme produces very few distortions into the video content and can be used for copyright protection applications.
Extending Modula-2 to Build Large, Integrated Systems
Authors: P. Rovner
Venue: IEEE Software (1986)

Designed to build both system and application software for large systems, Modula-2+ supports exception handling, automatic storage management, and concurrency for multiprocessors without compromising the integrity of Modula-2.
Specification-based data reduction in dimensional data warehouses
Authors: Janne Skyt, Christian S. Jensen, Torben Bach Pedersen
Venue: Information Systems (2008)

Many data warehouses contain massive amounts of data, accumulated over long periods of time. In some cases, it is necessary or desirable to either delete ''old'' data or to maintain the data at an aggregate level. This may be due to privacy concerns, in which case the data are aggregated to levels that ensure anonymity. Another reason is the desire to maintain a balance between the uses of data that change as the data age and the size of the data, thus avoiding overly large data warehouses. This paper presents effective techniques for data reduction that enable the gradual aggregation of detailed data as the data ages. With these techniques, data may be aggregated to higher levels as they age, enabling the maintenance of more compact, consolidated data and the compliance with privacy requirements. Special care is taken to avoid semantic problems in the aggregation process. The paper also describes the querying of the resulting data warehouses and an implementation strategy based on current database technology.
Ordered multisignatures and identity-based sequential aggregate signatures, with applications to secure routing
Authors: Alexandra Boldyreva, Craig Gentry, Adam O'Neill, Dae Hyun Yum
Venue: Proceedings of the 14th ACM conference on Computer and communications security (2007)

We construct new multiparty signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature simultaneously attesting to the message(s) they want to sign. First, we introduce a new primitive that we call ordered multisignatures (OMS), which allow signers to attest to a common message as well as the order in which they signed. Our OMS construction substantially improves computational efficiency over any existing scheme with comparable functionality. Second, we design a new identity-based sequential aggregate signature scheme, where signers can attest to different messages and signature verification does not require knowledge of traditional public keys. The latter property permits savings on bandwidth and storage as compared to public-key solutions. In contrast to the only prior scheme to provide this functionality, ours offers improved security that does not rely on synchronized clocks or a trusted first signer. Security proofs according to the corresponding security definitions and under appropriate computational assumptions are provided for all the proposed schemes. We give several applications of our schemes to secure network routing, and we believe that they will find many other applications as well.
Guest Editors' Introduction: Discovering the Unexpected
Authors: Kris Cook, Rae Earnshaw, John Stasko
Venue: IEEE Computer Graphics and Applications (2007)

The marriage of computation, visual representation, and interactive thinking supports intensive analysis. The goal is not only to permit users to detect expected events, such as might be predicted by models, but also to help users discover the unexpected&#x2014;the surprising anomalies, changes, patterns, and relationships that are then examined and assessed to develop new insight. The Guest Editors discuss the key issues and challenges associated with discovering the unexpected, as well as introduce the articles that make up this Special Issue.
Symbolic regression and evolutionary computation in setting an optimal trajectory for a robot
Authors: Zuzana Oplatkova, Ivan Zelinka
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

The paper deals with a novelty tool for symbolic regression -- Analytic Programming (AP) which is able to solve various problems from the symbolic regression domain. One of tasks for it can be setting an optimal trajectory for artificial ant on Santa Fe trail which is the main application of Analytic Programming in this paper. In this contribution main principles of AP are described and explained. In second part of the article how AP was used for setting an optimal trajectory for artificial ant according the user requirements is in detail described. AP is a superstructure of evolutionary algorithms which are necessary to run AP. In this contribution 3 evolutionary algorithms were used -- Self Organizing Migrating Algorithm, Differential Evolution and Simulated Annealing. The results show that the first two used algorithms were more successful than not so robust Simulated Annealing.
A VLSI Microcomputer: The RCA ATMAC
Authors: W. A. Helbig
Venue: Computer (1977)

A company like RCA may decide to design a new computer for a variety of reasons, most of them non-technical. First, as with the mainframe computer manufacturers, a new computer may be introduced in order to continue or expand an existing line of computer systems within the firm's overall product line. In such cases, the new computer will be similar to the other members of the product line family. Second, it may be a new item added to a firm's present product line in order to augment other electronic products. This has frequently been the case in the semiconductor business. If, however, a new computer is successful, additional computer products such as memory devices and I/O controllers may be developed as well.
An Empirical Study of Time Series Forecasting Using Boosting Technique with Correlation Coefficient
Authors: Luzia Vidal de Souza, Aurora T. R. Pozo, Anselmo Chaves Neto
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

One of the most important fields of researches and applications is time series forecasting. The task to find a model that can fit the data is not easy, because the most of the problems the series are complex and noisy. Recently, ensemble of machines had been used to get accurate predictions. The mean idea is to combine predictions from different forecast methods in only one predictor and in this way to improve the accuracy. This paper explores Genetic Programming (GP) and Boosting technique to obtain an ensemble of predictors and proposes a new approach to the Boosting algorithm where the correlation coefficients are used to update the weights and the final hypothesis instead of the loss function used traditionally by the boosting algorithm. To validate this method, experiments were accomplished using real and artificial series generated by Monte Carlo Simulation. The results obtained by using this new methodology was compared with the results obtained from GP, GPBoost and the traditional statistical methodology (ARMA).
Architecture Driven Grid Application Development
Authors: Wang Chu, Depei Qian
Venue: Proceedings of the Sixth International Conference on Grid and Cooperative Computing (2007)

Service-oriented approach is becoming a prominent paradigm for Grid application development. However, less attention has been paid to component model and architecture of the Grid applications. This paper applies architecture driven paradigm to development of the service oriented Grid applications. Every architecture defining procedure results in a pattern that is used as the means to express the result of different development phases. The component model of Grid application is made up of patterns. Hence the services can be managed and retrieved easily. The gap between business goal and the services is bridged by the component relationships and compositions of them. The Grid application maintainer can better assess the impact of requirement or design modifications. In order to improve testability of the patterns, the component relationships are defined rigorously, service composition can be validated at configuration stage. The service patterns support to integrate services of varying levels of granularity.
Face Shape Reconstruction from Image Sequence Taken with Monocular Camera using Shape Database
Authors: Hideo Saito, Yosuke Ito, Masaaki Mochimaru
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

We propose a method for reconstructing 3D face shape from a camera, which captures the object face from various viewing angles. In this method, we do not directly reconstruct the shape, but estimate a small number of parameters which represent the face shape. The parameter space is constructed with Principal Component Analysis of database of a large number of face shapes collected for different people. By the PCA, the parameter space can represent the shape difference for the faces of various persons. From the input image sequence that is captured by the moving camera, the parameters of the object face can be estimated based on optimization framework. The experiments based on the proposed method demonstrate that the proposed method can reconstruct the facial shape with the accuracy of 2.5mm averaged error.
Data Base Machines are Coming, Data Base Machines are Coming!
Authors: D. K. Hsiao
Venue: Computer (1979)

New research efforts and recent advances in hardware technology may soon make the commercial data base machine a reality.
The Design of Dedicated 32-Bit Processors
Authors: Shoji Horiguchi, Hiroshi Yoshimura, Mitsuyoshi Nagatani, Kennosuke Fukami
Venue: IEEE Design Test (1987)

NTT has developed two CMOS 32-bit processor VLSI families dedicated to communication systems: DIPS is for on-line informationprocessing, while DEX is for an electronic switching system. The design methodology uses a hierarchical design technique,a common design language and database, and automated layout based on a standard cell approach. Gate density was improved bya factor of 1.3 using a superblock technique. Design for testability is primarily built-in test using a scan path method.
A Design for an Online RSS Reader Based On AJAX
Authors: Luo Zhong, Shishi Huang, Peng Liu, Yi Yu
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

It takes most people much time to look for new information from one to another website. Now part of the problem can be solved by some RSS readers, desktop applications. In this paper, a design for an online RSS reader was given after analyzing the limitation of traditional RSS readers. Firstly, Ajax was utilized to view the syndication feeds and make the automatic updating work. Secondly, the system structure that combines Struts with Ajax was adopted. Next, in the design for channel tree, the technology that XML combines with XSL is adopted, so that the data can be separated from the form of expression. Finally, the design has been utilized in a website that offers market condition. The utilization in a website that offers market conditions proved the validation of this design.
Technical education and brainstorming technique
Authors: Mircea-Florin Vaida
Venue: Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2 (2007)

The brainstorming technique used for software projects development is presented as a powerful solution for teaching and research activity in the technical domain. Brainstorming was introduced in the technical domain as an efficient method that was developed considering also psychological and spiritual aspects. Some of these principles were tested in practical works as mini-projects development with students, including Master of Science classes. Advanced teaching process could contain sophisticated tools and elements, combined with creative thinking, flexible and dynamic adaptive solutions. Testing results were obtained for software applications development at the Technical University of Cluj-Napoca, Romania, based on representative groups. In a second stage, the enneagram methodology was also used in the process of defining in a more efficient mode the working groups. The brainstorming and enneagram model were used not only to extract relevant knowledge from students, but they offer the possibility to understand the global evolution of students for integration in education, industrial, or research activity.
Real-time global illumination in the CAVE
Authors: Jesper Mortensen, Pankaj Khanna, Insu Yu, Mel Slater
Venue: Proceedings of the 2007 ACM symposium on Virtual reality software and technology (2007)

Global illumination in VR applications remains an elusive goal. While it potentially has a positive impact on presence, the significant real-time computation and integration complexities involved have been stumbling blocks. In this paper we present recent and ongoing work in the Virtual Light Field paradigm for global illumination as a solution to this problem. We discuss its suitability for real-time VR applications and detail recent work in integrating it with the XVR system for real-time GPU-based rendering in a CAVE&trade;. This rendering method achieves real-time rendering of L(S|D)* E solutions in time independent of illumination complexity and largely independent of geometric complexity.
Special Feature: Commercial Multiprocessing Systems
Authors: M. Satyanarayanan
Venue: Computer (1980)

Multiprocessing has distinct advantages-and unique constraints with implications for performance. This survey highlights the architectural strategies of five multiprocessor systems.
A Pattern Recognition-Based Multi-Modal HCI Using 3 Sensory Channels
Authors: Jung-Hyun Kim, Kue-Bum Lee, Kwang-Seok Hong
Venue: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications (2007)

This paper describes a PDA-based MMCR (Multi- Modal Command Recognizer for PDA control and handling) using double-touching with a finger by coupling embedded speech and KSSL recognizer, and suggests an improved synchronization method between multi-modalities for simultaneous multi-modality, for a pattern recognition-based neo multi-modal HCI. The MMCR fuses and recognizes 16 word-based command models that are represented by stylus, speech and KSSL (Korean Standard Sign Language), and then translates the recognition result into synthetic speech and visual illustration, for multi-modal PDA handling and interaction.
A Note on Synthesis of Inductive Assertions
Authors: S. K. Basu
Venue: IEEE Transactions on Software Engineering (1980)

One of the principal impediments to widespread use of automated program verification methodology is due to the user burden of creating appropriate inductive assertions. In this paper, we investigate a class of programs for which such inductive assertions can be mechanically generated from Input-output specifications. This class of programs, called accumulating programs, are iterative realizations of problems in which the required output information is accumulated during successive passes over the input data structures. Obtaining invariant assertions for such programs is shown to be equivalent to the problem of generalizations of specifications to that over an extended closed data domain. For this purpose, a set of basis data elements are to be conceived of as generating the extended domain. An arbitary data element would thus be considered as uniquely decomposable into a sequence of basis elements. The structural relations between the components of a data element are used to extend program behavior and thus obtain the desired invariant.
An Entropy-Based Weighted Clustering Algorithm and Its Optimization for Ad Hoc Networks
Authors: Yu-Xuan Wang, Forrest Sheng Bao
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

gorithm, WCA has improved performance compared with other previous clustering algorithms. But the high mobility of nodes will lead to high frequency of reaffiliation which will increase the network overhead. To solve this problem, we propose an entropy- based WCA (EWCA) which can enhance the stability of the network. Meanwhile, in order better to facilitate the optimal op- eration of the MAC protocol and to further stabilize the network structure, this paper applies tabu search onto EWCA to choose a near optimal dominant set. Consequently, less clusterheads are required to manage the network. Simulation study indicates that the revised algorithm (EWCA-TS) has improved performance with respect to the original WCA, especially on the number of clusters and the reaffiliation frequency.
Rigorous engineering of product-line requirements: A case study in failure management
Authors: Colin Snook, Michael Poppleton, Ian Johnson
Venue: Information and Software Technology (2008)

We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. The need to develop a generic requirement set - for subsequent system instantiation - is complicated by the addition of the high levels of verification demanded by this safety-critical domain, subject to avionics industry standards. We present our case study experience in this area as a candidate method for the engineering, validation and verification of generic requirements using domain engineering and Formal Methods techniques and tools. For a defined class of systems, the case study produces a generic requirement set in UML and an example system instance. Domain analysis and engineering produce a validated model which is integrated with the formal specification/verification method B by the use of our UML-B profile. The formal verification both of the generic requirement set, and of a simple system instance, is demonstrated using our U2B, ProB and prototype Requirements Manager tools. This work is a demonstrator for a tool-supported method which will be an output of EU project RODIN (This work is conducted in the setting of the EU funded Research Project: IST 511599 RODIN (Rigorous Open Development Environment for Complex Systems) http://rodin.cs.ncl.ac.uk/). The use of existing and prototype formal verification and support tools is discussed. The method, developed in application to this novel combination of product line, failure management and safety-critical engineering, is evaluated and considered to be applicable to a wide range of domains.