ppxscal/embedding_network huggingface dataset:
Introduction
Authors: Ben Brosgol, Mario Aldea
Venue: ACM SIGAda Ada Letters (2007)

The main goals of this session were to: &bull; consider whether a new binding between Ada and POSIX is needed/desirable &bull; look at current efforts to update POSIX and "Real-Time Java" in terms of impact on or "lessons learned" for Ada
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
Authors: Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Craig
Venue: Proceedings of the 2nd international conference on Pragmatic web (2007)

The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-automated agents - with their individual (semantic and pragmatic) contexts, decisions and actions - to form corporate, not-for-profit, educational, or other virtual teams or virtual organizations. The project develops an effective methodology and an efficient infrastructure to interchange and reuse knowledge (ontologies and rules). Such knowledge plays an important role for (semi-automatically and contextually) transforming data, deriving new conclusions and decisions from existing knowledge, and acting according to changed situations or occurred (complex) events. Ultimately, this might put AI theories on distributed multiagent systems into larger-scale practice and might form the basis for highly flexible and adaptive Web-based service-oriented/service-component architectures (SOAs/SCAs).
Islamic perspective: virtual worlds as a western-centric technology
Authors: Shafiz Affendi Mohd Yusof, Norhayati Zakaria
Venue: ACM SIGMIS Database (2007)

Although the number of virtual worlds and their participants is growing rapidly, this phenomena is primarily a Western Culture dominated environment. There is little if any attention paid to other cultures. This article examines this issue from an Islamic perspective? It examines the assumption that if virtual worlds are to become a truly global platform for collaboration, particularly in multinational enterprises, then it will be essential to "encode" the flexibility for social interactions to take place in a way that is sensitive to other cultures.
A Critical Analysis of Empirical Research in Software Testing
Authors: Lionel C. Briand
Venue: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement (2007)

In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software testing research in order to compare and improve software testing techniques and practices. In fact, there is no other way to assess the cost-effectiveness of testing techniques, since all of them are, to various extents, based on heuristics and simplifying assumptions. However, when empirically studying the cost and fault-detection rates of a testing technique, a number of validity issues arise. Further, there are many ways in which empirical studies can be performed, ranging from simulations to controlled experiments with human subjects. What are the strengths and drawbacks of the various approaches? What is the best option under which circumstances? This paper presents a critical analysis of empirical research in software testing and will attempt to highlight and clarify the issues above in a structured and practical manner.
Direct-dependency-based software compatibility testing
Authors: Il-Chul Yoon, Alan Sussman, Atif Memon, Adam Porter
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of user system configurations. Because each configuration can involve multiple components with different versions, and because there are complex and changing interdependencies between components and their versions, it is generally infeasible to test all potential configurations. Therefore, compatibility testing usually means examining only a handful of default or popular configurations to detect problems, and as a result costly errors can and do escape to the field This paper presents an improved approach to compatibility testing called RACHET. We formally model the configuration space for component-based systems and use the model to generate test plans covering user-specified portion of the space - the example in this paper is covering all it direct dependencies between components. The test plan is executed efficiently in parallel, by distributing work so as to best utilize test resources. We conducted experimentsand simulation studies applying our approach to a large-scale data management middleware system. The results showed that for this system RACHET discovered incompatibilities between components at a small fraction of the cost for exhaustive testing without compromising test quality
System-Level Fault Diagnosis
Authors: A. D. Friedman
Venue: Computer (1980)

Large multiprocessor networks require system-level fault diagnosis. Researchers have established and extended a model for such diagnosis.
Detection of Data Flow Anomaly Through Program Instrumentation
Authors: J. C. Huang
Venue: IEEE Transactions on Software Engineering (1979)

A data flow anomaly in a program iB an indication that a programming error might have been committed. This paper descibes a method for detecting such an anomiay by means of program instrumentation. The method is conceptually simple, easy to use, easy toimplement on a computer, and can be applied in conjunction with a conventional program test to achieve increased error-detection capability.
A New Fuzzy Rough Communication Model and Its Application
Authors: Ji-qin Liu
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 01 (2007)

According to the practical situations any possible information cannot be lost in the process of information communication and the communicated concept is a fuzzy set, we propose a fuzzy rough communication model using rough fuzzy sets. We investigate its properties, and obtain the conditions which cause fuzzy information to remain invariable or cause fuzzy information to be gained. Basing on the properties, we give a method to improve accuracy of fuzzy rough communication. In the end, we give an application.
Predicting individual priorities of shared activities using support vector machines
Authors: Lida Li, Michael J. Muller, Werner Geyer, Casey Dugan, Beth Brownholtz, David R. Millen
Venue: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management (2007)

Activity-centric collaboration environments help knowledge workers to manage the context of their shared work activities by providing a representation for an activity and its resources. Activity management systems provide more structure and organization than email to execute the shared activity but, as the number of shared activities increases, it becomes more and more difficult for users to focus on important activities that need their attention. This paper describes a personalized activity prioritization approach implemented on top of the Lotus Connections Activities management system. Our prototype implementation allows each user to view activities ordered by her/his predicted priorities. The predictions are made using a ranking Support Vector Machine model trained with the user's past interactions with the activities system. We describe the prioritization interface and the results of an offline experiment based on data from 13 users over 6-months. Our results show that our feature set derived from shared activity structures can significantly increase prediction accuracy compared to a recency baseline.
Modeling self-developing biological neural networks
Authors: Hugues Berry, Olivier Temam
Venue: Neurocomputing (2007)

Recent progress in chips-neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step to designing such computing systems is to build an abstract model of self-assembled biological neural networks, much like computer architects manipulate abstract models of transistors. In this article, we propose a model of the structure of biological neural networks. Our model reproduces most of the graph properties exhibited by Caenorhabditis elegans, including its small-world structure and allows generating surrogate networks with realistic biological structure, as would be needed for complex information processing/computing tasks.
Speed control of ultrasonic motors using fuzzy neural network
Authors: Tomonobu Senjyu, Satoru Yokoda, Katsumi Uezato
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2000)

This paper presents a speed control system for ultrasonic motors by PI (proportional and integral) control which has auto-tuning structure based on fuzzy reasoning realized by a neural network. Since the speed characteristics of ultrasonic motor vary with temperature and applied load torque, adjusting the control gains of PI controller is necessary in order to obtain fine speed control performance. The proposed control scheme can incorporate the operator's knowledge in speed controller using fuzzy reasoning, furthermore, it can compensate the speed characteristic variations of the motor by online learning. The usefulness and validity of the proposed control scheme is examined by experiments.
Video Surveillance and SOS Request
Authors: Virginio Cantoni, Roberto Marmo, Marco Zemblini
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

In this paper we present an approach to recognize an SOS request through a video surveillance equipment. This project is intended to help the human surveillance operators in outdoor environment. We have fixed a rule to define an SOS request typical in nonverbal communication: a person must vary the space occupied in the environment and must look the camera when executes the SOS request. To recognize an SOS request the system evaluates three parameters: variation of the occupation time area, variation of the shape center coordinate and the length of the alert condition. Results and discussions on several sequences show the effectiveness.
IFCIA: An Efficient Algorithm for Mining Intertransaction Frequent Closed Itemsets
Authors: Jie Dong, Min Han
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

Intertransaction frequent itemsets break the barriers of transactions, and extend the traditional single-dimensional intratransaction association rules to multidimensional intertransaction association rules. However the amount of intertransaction frequent itemsets becomes very large with the increase of the sliding window. Frequent closed itemsets can uniquely determine the set of all frequent itemsets and their exact frequency while they are far smaller than all frequent itemsets. In this paper, we introduce the notion of intertransaction frequent closed itemset, analyze its properties, and develop an efficient algorithm, IFCIA (Intertransaction Frequent Closed Itemsets Algorithm). The algorithm adopts division-based method and condition database to avoid generating large extended database, and uses bitmap structure and extended bitwise operations to generate candidate itemsets and count the support quickly. Experiments on real and synthetic databases show that IFCIA is an effective algorithm for mining intertransaction frequent closed itemsets.
RDF and Logic: Reasoning and Extension
Authors: Jos de Bruijn, Stijn Heymans
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment of extensional RDFS entailment, fall in the Datalog fragment of F-Logic, allowing the use of optimization techniques from the area of deductive databases for reasoning with RDF. Using earlier results on the relationship between F-Logic and Description Logics (DLs), we define an embedding of a large fragment of extensional RDFS in a tractable description logic, namely DL-Lite, allowing efficient reasoning over the ontology vocabulary. We show how, using these embeddings, RDFS can be extended with rules and/or general axioms.
How Business Goals Drive Architectural Design
Authors: Raghvinder S. Sangwan, Colin J. Neill
Venue: Computer (2007)

Designing system architectures requires more than just using the technology du jour.
Towards Optimized Packet Classification Algorithms for Multi-Core Network Processors
Authors: Yaxuan Qi, Bo Xu, Fei He, Xin Zhou, Jianming Yu, Jun Li
Venue: Proceedings of the 2007 International Conference on Parallel Processing (2007)

In this paper, a novel packet classification scheme optimized for multi-core network processors is proposed. The algorithm, Explicit Cuttings (ExpCuts), adopts a hierarchical space aggregation technique to significantly reduce the memory usage. Consequently, without burst of memory usages, the time-consuming linear search in the conventional decision-tree based packet classification algorithms is eliminated, and an explicit worst-case search time is achieved. To evaluate the performance of ExpCuts, we implement the algorithm, as well as HiCuts and HSM, on the Intel IXP2850 network processor. Experimental results show that ExpCuts outperforms the existing best-known algorithms in terms of memory usage and classification speed.
Functional Verification of RTL Designs driven by Mutation Testing metrics
Authors: Youssef Serrestou, Vincent Beroulle Chantal Robach
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

The level of confidence in a VHDL description directly depends on the quality of its verification. This quality can be evaluated by mutation-based test, but the improvement of this quality requires tremendous efforts. In this paper, we propose a new approach that both qualifies and improves the functional verification process. First, we qualify test cases thanks to the mutation testing metrics: faults are injected in the Design Under Verification (DUV) (making DUV's mutants) to check the capacity of test cases to detect theses mutants. Then, a heuristic is used to automatically improve IPs validation data. Experimental results obtained on RTL descriptions from ITC'99 benchmark show how efficient is our approach.
Questionnaire mode effects in interactive information retrieval experiments
Authors: Diane Kelly, David J. Harper, Brian Landau
Venue: Information Processing and Management: an International Journal (2008)

The questionnaire is an important technique for gathering data from subjects during interactive information retrieval (IR) experiments. Research in survey methodology, public opinion polling and psychology has demonstrated a number of response biases and behaviors that subjects exhibit when responding to questionnaires. Furthermore, research in human-computer interaction has demonstrated that subjects tend to inflate their ratings of systems when completing usability questionnaires. In this study we investigate the relationship between questionnaire mode and subjects' responses to a usability questionnaire comprised of closed and open questions administered during an interactive IR experiment. Three questionnaire modes (pen-and-paper, electronic and interview) were explored with 51 subjects who used one of two information retrieval systems. Results showed that subjects' quantitative evaluations of systems were significantly lower in the interview mode than in the electronic mode. With respect to open questions, subjects in the interview mode used significantly more words than subjects in the pen-and-paper or electronic modes to communicate their responses, and communicated a significantly higher number of response units, even though the total number of unique response units was roughly the same across condition. Finally, results showed that subjects in the pen-and-paper mode were the most efficient in communicating their responses to open questions. These results suggest that researchers should use the interview mode to elicit responses to closed questions from subjects and either pen-and-paper or electronic modes to elicit responses to open questions.
A Self-learning Spam Detecting System Model Based on Memory Rules
Authors: Xiao Zhou, Jianmei Shuai
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

A novel collaborative anti-spam system model based on memory rules is introduced. In this model, a self-learning spam detecting method based on neurobiology is presented. This system uses an improved chunk hashing algorithm to calculate the similarity graph of the email text. This graph, together with the arrival characteristics of email traffic, is regarded as the inputs of the spam detecting method. Finally, the feasibility of this method is validated by the simulation results.
A small sample comparison of maximum likelihood, moments and L-moments methods for the asymmetric exponential power distribution
Authors: P. Delicado, M. N. Goria
Venue: Computational Statistics Data Analysis (2008)

Three methods of estimation, namely maximum likelihood, moments and L-moments, when data come from an asymmetric exponential power distribution are considered. This is a very flexible four-parameter family exhibiting variety of tail and shape behaviours. The analytical expression of the first four L-moments of these distributions are derived, allowing for the use of L-moments estimators. A simulation study compares the three estimation methods in small samples.
Communication Devices for the Nonvocal Disabled
Authors: A. Thomas
Venue: Computer (1981)

This overview of devices developed at Tufts-New England Medical Center accents the lack of a unified means for delivering devices to those who need them.
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Authors: Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Venue: Proceedings of the International Conference on Software Engineering Advances (2007)

In this paper, we introduce an algorithm called "EVA (Evidence Verification Algorithm), which verifies consistency of life cycles of evidence-documents in workflows. As syntax of workflows, we use extended UML activity diagrams, which have additional information about evidence-documents. EVA verifies the existence of consistent sequences of flows between occurrences of evidence-documents in a workflow. It is significant to verify consistency of life cycles of evidence-documents, since one can find some defects of a workflow itself by checking inconsistent life cycles of evidence-documents in the workflow.
Component-based Approach to Develop Integrated Diagnostic Platform
Authors: Ji Hong, Meng Xiaofeng, Zhong Bo, Chen Xiaomei
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Component-based approach is an effective way to improve the quality and efficiency of software development. This paper will discuss component-based approach to develop an integrated diagnostic platform which in fact is a software system and has the ability of both applications development and application implementing, by which the user can develop the diagnostic application software from a higher level of abstraction rather than from scratch.
Compact Large-Area Graphic Digitizer for Personal Computers
Authors: Pieter Bruyne
Venue: IEEE Computer Graphics and Applications (1986)

Accurate graphic position digitizers now require the use of a tablet. In rearprojection tablets the embedded wires or electrode structure tends to limit the optical quality of the image. The ultrasonic device described here avoids these limitations. It is wireless and uses any table or surface "tablet." Two small cylindrical transducers at the base station and a third as a hand-held positioncursor are used. Specially shaped inaudible pulses sense the position of the cursor, which is wireless and battery powered, and automatically switches off when not in use. Status and positional data are communicated to the base station with an infrared beam. Resolution is 0,1 mm over an area of approximately one square meter.The base station may be integrated with the keyboard of a personal computer. The device has the operational convenience of a wireless "mouse" because it uses any convenient surface as a tablet. The x and y coordinates are calculated by triangulation, using driver software of the personal computer or a microprocessor controller. Calibration for changes in ambient temperature is made, before using the equipment, by entering the required origin and one other known position. For an alternative to the wireless cursor, the controller may also be designed to accommodate a sparking ballpoint stylus. 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
Efficient Multi-source Location in Unstructured P2P Systems
Authors: Xucheng Luo, Zhiguang Qin, Ji Geng, Qiang Wang
Venue: Proceedings of the 2007 International Conference on Parallel Processing Workshops (2007)

Unstructured P2P systems are popular resource sharing platforms. Selection of high quality peers and parallel downloads require a multi-source-hit query paradigm. The existing algorithms for multi-source locations need more message and replica maintenance overheads. According to the resource layout attributes in unstructured P2P systems, in this paper, a Replica Pointer Maintenance (RPM) scheme is proposed. RPM focuses on replica management which improves the query hit rate. Our comprehensive analysis and simulations show that the search performance of unstructured P2P systems can be significantly improved by RPM.
AniPQO: almost non-intrusive parametric query optimization for nonlinear cost functions
Authors: Arvind Hulgeri, S. Sudarshan
Venue: Proceedings of the 29th international conference on Very large data bases - Volume 29 (2003)

The cost of a query plan depends on many parameters, such as predicate selectivities and available memory, whose values may not be known at optimization time. Parametric query optimization (PQO) optimizes a query into a number of candidate plans, each optimal for some region of the parameter space. We propose a heuristic solution for the PQO problem for the case when the cost functions may be nonlinear in the given parameters. This solution is minimally intrusive in the sense that an existing query optimizer can be used with minor modifications. We have implemented the heuristic and the results of the tests on the TPCD benchmark indicate that the heuristic is very effective. The minimal intrusiveness, generality in terms of cost functions and number of parameters and good performance (up to 4 parameters) indicate that our solution is of significant practical importance.
Concept and construction of an interactive folktale system
Authors: Koji Miyazaki, Yurika Nagai, Ryohei Nakatsu
Venue: Proceedings of the 2nd international conference on Digital interactive media in entertainment and arts (2007)

In this paper as one example of a new edutainment system, we propose an "Interactive Folktale System", which makes it possible for people, especially children, to enjoy folktales in various ways. They can appreciate the generation of original tales and variations. Also they can interact with the story by communicating with its characters or by playing one of the characters. Moreover, they can easily create a new folktale by changing the original story or by describing a new story.