ppxscal/embedding_network huggingface dataset:
Query languages and data models for database sequences and data streams
Authors: Yan-Nei Law, Haixun Wang, Carlo Zaniolo
Venue: Proceedings of the Thirtieth international conference on Very large data bases - Volume 30 (2004)

We study the fundamental limitations of relational algebra (RA) and SQL in supporting sequence and stream queries, and present effective query language and data model enrichments to deal with them. We begin by observing the well-known limitations of SQL in application domains which are important for data streams, such as sequence queries and data mining. Then we present a formal proof that, for continuous queries on data streams, SQL suffers from additional expressive power problems. We begin by focusing on the notion of nonblocking (NB) queries that are the only continuous queries that can be supported on data streams. We characterize the notion of nonblocking queries by showing that they are equivalent to monotonic queries. Therefore the notion of NB-completeness for RA can be formalized as its ability to express all monotonic queries expressible in RA using only the monotonic operators of RA. We show that RA is not NB-complete, and SQL is not more powerful than RA for monotonic queries. To solve these problems, we propose extensions that allow SQL to support all the monotonic queries expressible by a Turing machine using only monotonic operators. We show that these extensions are (i) user-defined aggregates (UDAs) natively coded in SQL (rather than in an external language), and (ii) a generalization of the union operator to support the merging of multiple streams according to their timestamps. These query language extensions require matching extensions to basic relational data model to support sequences explicitly ordered by times-tamps. Along with the formulation of very powerful queries, the proposed extensions entail more efficient expressions for many simple queries. In particular, we show that nonblocking queries are simple to characterize according to their syntactic structure.
Trust-aware Adaptive P2P Overlay Topology Based on Superpeer-partition
Authors: Liangmin Guo, Shoubao Yang, Leitao Guo, Kai Shen, Weina Lu
Venue: Proceedings of the Sixth International Conference on Grid and Cooperative Computing (2007)

In P2P networks, the service availability is badly affected by the rationality of peers. However, the actual networks don't take the issue of free-riders and malicious peers, namely the rationality, as the inherent part of the topology design. Additionally, the mechanism of a peer randomly joining and leaving a network arouses the mismatching between the overlay and the underlying physical topology. This mismatching brings about a majority of P2P traffic. A Trust-aware Adaptive P2P Overlay Topology Based on Superpeer-partition is proposed to ease above problems. Peers will no longer blindly choose neighbors, but according to trust value and physical-position. Theoretic analysis and simulation show the resulting topology is more efficient than normal topology. This topology construction can effectively suppress the deceptive and fake services, improve the reliability and security, and decrease about 26 percent of the communication cost.
Program Replacement for Better Throughput
Authors: B. Walke
Venue: IEEE Transactions on Software Engineering (1977)

This paper describes a method for increasing the batch-processing efficiency of medium and large scale scientific computer systems with a small main memory. A program-replacement algorithm, RESEP, is defined whose goal is to always keep the CPU busy. RESEP temporarily transfers selected programs from main memory to the secondary storage. Reallocation of such programs is also performed by this algorithm.
Letters: Palmprint recognition with 2DPCA+PCA based on modular neural networks
Authors: Zhong-Qiu Zhao, De-Shuang Huang, Wei Jia
Venue: Neurocomputing (2007)

In this letter, a novel modular neural network (MNN) classifier, which partitions a K-class problem into many much easier two-class problems in sub-subspaces, was proposed to perform palmprint recognition. Moreover, in order to make palmprint recognition more accurate, we introduced 2DPCA technique into the extraction of palmprint features, and removed the illumination information from the collected palm images using w/o3 technique. Our approach was compared with several existing methods, and obtained a satisfying classification performance on the Hong Kong Polytechnic University (PolyU) Palmprint Database.
Using an event-based approach to improve the multimodal rendering of 6DOF virtual contact
Authors: Jean Sreng, Florian Bergez, Jérémie Legarrec, Anatole Lécuyer, Claude Andriot
Venue: Proceedings of the 2007 ACM symposium on Virtual reality software and technology (2007)

This paper decribes a general event-based approach to improve multimodal rendering of 6DOF (degree of freedom) contact between objects in interactive virtual object simulations. The contact events represent the different steps of two objects colliding with each other: (1) the state of free motion, (2) the impact event at the moment of collision (3) the friction state during the contact and (4) the detachment event at the end of the contact. The different events are used to improve the classical feedback by superimposing specific rendering techniques based on these events. First we propose a general method to generate these events based only on the objects' positions given by the simulation. Second, we describe a set of different types of multimodal feedback associated to the different events that we implemented in a complex virtual simulation dedicated to virtual assembly. For instance, we propose a visual rendering of impact, friction and detachment based on particle effects. We used the impact event to improve the 6DOF haptic rendering by superimposing a high frequency force pattern to the classical force feedback. We also implemented a realistic audio rendering using impact and friction sound on the corresponding events. All these first implementations can be easily extended with other event-based effects on various rigid body simulations thanks to our modular approach.
Comparison study of nonlinear controllers for a single generator-infinite bus power system
Authors: C. M. Falkner, B. S. Heck
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1999)

This article compares the performance of six output feedback control schemes used as power system stabilizers. The power system provides a good testbed for a comparison of modern control techniques since the power system has many nonlinearities and can be subjected to many perturbations. In addition, the power system model (even for a single generator-infinite bus system) can be of a size large enough to allow for nontrivial control design. The control schemes used in this article are fuzzy control, sliding mode control, model reference adaptive control, two Lyapunov-based robust control methods (one linear, the other nonlinear) and a standard linear PSS. Every effort was made to tune the controllers for similar nominal behavior. This was done so the controllers' ability to handle perturbations could be examined objectively. It is found in this article that the fuzzy and linear robust controllers had the best overall behavior with the least amount of control effort.
Sensing degree of fuzziness in MCDM model using modified flexible S-curve MF
Authors: Pandian Vasant, Arijit Bhattacharya
Venue: International Journal of Systems Science (2007)

It is hard to sense the degree of vagueness while using a Multiple Criteria Decision-Making (MCDM) model in industrial engineering problems. Selection of best candidate-alternative is an important issue when the attributes of the candidate-alternatives are conflicting in nature and they have incommensurable units. An MCDM model makes it possible to select the candidate-alternative that suits best for the investor. An example illustrating an MCDM model applied in plant-site selection problem has been considered in this article to demonstrate the veracity of the proposed methodology. The degree of vagueness hidden in the proposed approach has been investigated using a flexible modified logistic membership function (MF). The approach presented here provides feedback to the decision maker, implementer and analyst and gives a clear indication about the appropriate application and usefulness of the MCDM model. The key objective of this article is to guide decision makers in finding out the best candidate-alternative with higher degree of satisfaction and lesser degree of vagueness.
A bibliography on multiprocessor Lisp systems and applications
Authors: Mary S. Van Deusen
Venue: ACM SIGPLAN Lisp Pointers (1988)

The following is a list of references on Multiprocessor Lisp systems and applications, compiled by Benamin Zorn (zorn@hecuba.berkeley.edu) with contributions by a number of others. It is currently maintained by Benjamin Zorn and TANAKA Tomoyuki (tanakat!jpntscvm.bitnet). Since it is preliminary, suggestions and additions are welcome. They should be sent to Zorn and Tanaka.
The Research of ID Strategy Based on Antigen Presenting Principle and its Adaptability
Authors: Fu-Xiong Sun, Ping Xiong, Tao Sun
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Because of huge size of rule set, intrusion detection systems(IDSs) usually take dynamic update strategy which realizes all of rules to be replaced once in a period of time, which is costing times for spaces. Under such strategy, IDSs may not realize the flexible detection according to different states of network security. Based on the immune principle of antigen presenting, this paper proposes a mechanism of Abnormity Presenting and Abnormity Triggering, which means detecting only when need. Once any abnormal event captured, ID system generates corresponding detectors, which discards the traditional manner to generate detectors blindly and randomly. The experimental results demonstrate the proposed schemes can realize the flexible detection.
Extracting Man-made Region(s) based on Attention driven Level-set Evolution
Authors: Jun Yang, Peng Zhang, Runsheng Wang
Venue: Proceedings of the Fourth International Conference on Image and Graphics (2007)

This work proposed an attention driven level set method for extracting man-made regions from aerial or satellite images. Compared with other level-set segmentation, the main re-modification of the novel approach are as following aspects. Firstly, by detecting focuses of attention and compact convex-hull polygons, salient initial contour(s) can be generated for level-set evolution adaptively and quickly, which can be much close to the real boundaries of man-made areas from natural ground. Secondly, by using a novel variational formulation, the zero level set curves can be evolved without costly re-initialization. Thirdly, a saliency map and an improved Mumford-Shah model are combined to drive the level set evolution for better segmentation. Experimental results with real images showed that the approach artfully avoids much redundant computation, and pops out the efficiency perceptually.
An immaterial depth-fused 3D display
Authors: Cha Lee, Stephen DiVerdi, Tobias Höllerer
Venue: Proceedings of the 2007 ACM symposium on Virtual reality software and technology (2007)

We present an immaterial display that uses a generalized form of depth-fused 3D (DFD) rendering to create unencumbered 3D visuals. To accomplish this result, we demonstrate a DFD display simulator that extends the established depth-fused 3D principle by using screens in arbitrary configurations and from arbitrary viewpoints. The performance of the generalized DFD effect is established with a user study using the simulator. Based on these results, we developed a prototype display using two immaterial screens to create an unencumbered 3D visual that users can penetrate, enabling the potential for direct walk-through and reach-through manipulation of the 3D scene.
The evaluation of expressions in a storage-to-storage architecture
Authors: Glenford J. Myers
Venue: ACM SIGARCH Computer Architecture News (1978)

One intent of my earlier paper[1] against stack-oriented instruction sets was to revive some of the historical debate on instruction-set forms. Apparently this has been successful, since Schulthess and Kumprecht[2], and later Keedy[3], have been kind enough to continue the debate. Since I have already replied to Schulthess and Mumprecht[4], this paper is an answer to the issues raised by Keedy.
CallMinderTM -- the development of BT's new telephone answering service
Authors: K. Beacham, S. Barrington
Venue: BT Technology Journal (2007)

The CallMinder¿ service, or `answering machine in the network', is proving to be very popular with BT's customers. The introduction of the service broke new ground in being the first large-scale deployment of interactive voice platforms within BT's network. This paper describes the service, the platform architecture and the development and deployment activities.
Simulation for behavior learning of multi-agent robot
Authors: Yoichiro Maeda
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1998)

In our research, the evolutionary algorithm is applied to behavior learning of an individual agent in multi agent robots. Each robot, which is an agent, is given two behavior duties, collision avoidance from other agents and target (food point) reaching for recovering self-energy. Addressing the problem of two conflicting behaviors, collision avoidance and target reaching motion of multi-agent robots, the learning method to change the self-energy and the behavior gain of each agent is discussed in this paper. Each agent has the same rules and is controlled as a homogeneous distributed system without any central or hierarchical control. Furthermore, we perform a simulation with the additional algorithm of a group evolution in which the parameters of the most excellent agent are copied to a dead agent, that is, an agent that has lost its energy. The simulation confirmed that each agent has the abilities of behavior learning and group evolution.
Evidence relating to Object-Oriented software design: A survey
Authors: John Bailey, David Budgen, Mark Turner, Barbara Kitchenham, Pearl Brereton, Stephen Linkman
Venue: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement (2007)

Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirical studies of this paradigm. Method: We undertook a Mapping Study of the literature. Results: 138 papers have been identified and classified by topic, form of study involved, and source. Conclusions: The majority of empirical studies of OO concentrate on metrics, relatively few consider effectiveness.
Novel Scheme based on Ping-pong Effect for Predictive Fast Handovers for Mobile IPv6
Authors: Hongmei Wang, Zongpu Jia, Huan Zhao
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

In the mobile IPv6 based integration of wireless communication and computer network technology, there is a problem of Ping-pong effect, namely Mobile Nodes(MN) hands over frequently between two access routers, causing location update and registration update to be continually carried out and resulting in communication being constantly interrupted as well as seriously affecting users' Quality of Service (QoS). A novel scheme based on Ping-pong effect for predictive fast handovers for mobile IPv6 is proposed to solve the problems of long latency, high packet loss rate and excessive signaling redundancy in exiting schemes. And in our scheme a new Hop-by-Hop option header named TM (Tunnel Message) header, PCoA Table and Tunnel Table are defined. TM is encapsulated in the acknowledgement of the last packet sent by NAR to PAR, telling PAR that MN would move back to PAR in the near future, and hoping that the previous bidirectional tunnel between PAR and NAR will be available then, so that MN could implement fast and smooth handovers. Analysis shows that this scheme would be viewed as an effective method to solve the above problems and can improve the QoS for mobile users.
Windows to the future
Authors: Kerry Kimbrough
Venue: ACM SIGPLAN Lisp Pointers (1987)

This article traces the development of the next generation of window system standards, such as the X Window System. A short program using CLX, the Common Lisp interface to X, is shown with extensive annotations.
Convergence analysis of optimization-based domain decomposition methods for a bonded structure
Authors: Jonas Koko
Venue: Applied Numerical Mathematics (2008)

We study two optimization-based domain decomposition methods for a bonded structure: the least squares conjugate gradient method and the Uzawa conjugate gradient method. Using the Steklov-Poincare operator, we show that both methods solve the same underlying linear equation with a symmetric and coercive operator. The convergence analysis is developed using the properties of the trace operator associated to the coupled problem. Numerical experiments show that the Lagrange multiplier approach is more efficient unless a suitable norm is used in the least squares formulation.
An XML-based testing strategy for probing security vulnerabilities in the diameter protocol
Authors: Daping Wang
Venue: Bell Labs Technical Journal (2007)

Buffer overflows and format string attacks are always at the fingertips of hackers. This poses a threat to every application running over an Internet Protocol (IP) network&mdash;from Web servers in the Internet to the session managers in charge of the call session control function (CSCF) in the IP Multimedia Subsystem (IMS) network. As bugs persist in most software development practices, it is critical to perform thorough security testing before the product is finally deployed. This paper proposes an extensible markup language&ndash;(XML)-based testing strategy to detect vulnerabilities and verify robustness to buffer overflow and format string attacks in the implementation of the Diameter protocol, which plays a vital role in IMS billing and subscriber database interfaces. The paper introduces a test generation strategy built upon the XML Schema language's flexibility in data description. It differs from the traditional finite state machine&ndash;(FSM)-based syntax testing strategy in the test description, organization, and automation aspects. The proposed strategy is then applied to Alcatel-Lucent Control Platform (A-LCP) Diameter stack security verification by integrating two open source tools&mdash;Seagull and xmlgen. The result supports our continuous effort to identify software security vulnerabilities. &copy; 2007 Alcatel-Lucent.
Evaluation of the Average Access Time for a Digital Cassette Memory System
Authors: P. D. Cernicica
Venue: IEEE Transactions on Software Engineering (1977)

Access time is a variable quantity in serial access memory systems such as magnetic tape units. It is difficult to quote a value for it since a random search could cover most different tape lengths.
Coordination and Communication among Topic Specific Search Agents
Authors: Dan Xiang, YaJun Du, LiangZhong Yi, Kai Li
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 04 (2007)

In topic-specific search field, most researchers focus on the single agent how to crawl on the Web. However, we want to mainly discuss the coordination among multi-agent in topic-specific search engine in this paper. We divide the Topic-Specific Search Agents (TSSA) into two types: f-agent and c-agent. The former makes task plans, manages the c-agents as well as deals with the communications among TSSA, whereas the latter crawls on the Web for retrieving the relevant pages. We introduce the computational architecture of the two agents respectively, and explain the cooperation and competition among them in more detail. Based on the contract net protocol, a negotiation protocol is proposed to control the cooperation and competition among TSSA.
Forecasting next-day price of electricity in the Spanish energy market using artificial neural networks
Authors: Raúl Pino, José Parreno, Alberto Gomez, Paolo Priore
Venue: Engineering Applications of Artificial Intelligence (2008)

In this paper, next-day hourly forecasts are calculated for the energy price in the electricity production market of Spain. The methodology used to achieve these forecasts is based on artificial neural networks, which have been used successfully in recent years in many forecasting applications. The days to be forecast include working days as well as weekends and holidays, due to the fact that energy price has different behaviours depending on the kind of day to be forecast. Besides, energy price time series are usually composed of too many data, which could be a problem if we are looking for a short period of time to reach an adequate forecast. In this paper, a training method for artificial neural nets is proposed, which is based on making a previous selection for the multilayer perceptron (MLP) training samples, using an ART-type neural network. The MLP is then trained and finally used to calculate forecasts. These forecasts are compared to those obtained from the well-known Box-Jenkins ARIMA forecasting method. Results show that neural nets perform better than ARIMA models, especially for weekends and holidays. Both methodologies calculate more accurate forecasts-in terms of mean absolute percentage error-for working days that for weekends and holidays. Agents involved in the electricity production market, who may need fast forecasts for the price of electricity, would benefit from the results of this study.
A GUI Tool for Plausible Reasoning in the Semantic Web using MEBN
Authors: Rommel N. Carvalho, Laecio L. Santos, Marcelo Ladeira, Paulo Cesar G. Costa
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

As the work with semantics and services grows more ambitious in the Semantic Web community, there is an increasing appreciation on the need for principled approaches for representing and reasoning under uncertainty. Reacting to this trend, the World Wide Web Consortium (W3C) has recently created the Uncertainty Reasoning for the World Wide Web Incubator Group (URW3-XG) to better define the challenge of reasoning with and representing uncertain information available through the World Wide Web and related WWW technologies. In according to the URW3-XG effort this paper presents the implementation of a graphical user interface for building probabilistic ontologies, an application programming interface for saving and loading these ontologies and a proposal to specify formulas for creating conditional probabilistic tables dynamically. The language used for building probabilistic ontologies is Probabilistic OWL (Pr-OWL), an extension for OWL based on Multi-Entity Bayesian Network (MEBN).