ppxscal/embedding_network huggingface dataset:
Research and Implementation of an Enterprise-Class MAS Application Development Framework--JadeEE
Authors: Chaozhen Guo, Zhihong Lin, Kun Guo
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

J2EE architecture has advantages in developing enterprise-class applications, but it does not support agent-oriented programming. JADE is suitable as a MAS development framework, but it considers less in maintainability, expansibility and stability. This paper proposes a MAS model - JadeEE (Java Agent Development Framework Enterprise Extension) - which is based on JADE and J2EE. This model keeps the running speed of enterprise MAS software in an acceptable level without losing any flexibility and reliability of J2EE. JadeEE is also an enterprise-class MAS application development framework with good stability, expansibility and maintainability. The common GDSS for comprehensive natural disaster forecast is a typical application of distributed cooperative system. This paper presents architecture of common GDSS for comprehensive natural disaster forecast. The effective application of it in comprehensive typhoon forecast is also provided.
Filling the gap in programming instruction: a text-enhanced graphical programming environment for junior high students
Authors: Joey C.Y. Cheung, Grace Ngai, Stephen C.F. Chan, Winnie W.Y. Lau
Venue: ACM SIGCSE Bulletin (2009)

To address the unique demands and challenges of educational computing, various kinds of environments, including graphics-rich and textual environments, have been proposed for use in introductory courses to provide students with a rich and interesting learning environment. In our experience, students in Grade 7 and younger respond best to the graphics environments while senior high school students prefer a conventional textual programming environment. Clearly, this leaves a gap at Grade 11-13, with students often on the one hand finding the graphics-based environments too limited and on the other finding the textual environments too difficult. In this paper, we propose a text-enhanced graphical programming environment which is innovative and interactive, and designed for junior high students with no programming experience. This environment allows students to design their own creative stories or programs. They build their programs using drag-and-drop iconic blocks, but unlike other, similar icon-based programming languages, they are also presented with the syntax of the actual program they are constructing in real-time. Once a particular icon block has been dropped in the programming area, the syntax statements corresponding to that block is immediately generated and presented to the user. The environment also allows them to modify the code without any limitations. Our results show that our textual-graphical hybrid environment has a positive impact on the learning experience of the students.
Efficient Reversible Logic Design of BCD Subtractors
Authors: Himanshu Thapliyal, Hamid R. Arabnia, M. B. Srinivas
Venue: Transactions on Computational Science III (2009)

Reversible logic is emerging as a promising computing paradigm, having its applications in low-power CMOS, quantum computing, nanotech-nology and optical computing. Firstly, we showed a modified design of conventional BCD subtractors and also proposed designs of carry look-ahead and carry skip BCD subtractors. The proposed designs of carry look-ahead and carry skip BCD subtractors are based on the novel designs of carry look-ahead and carry skip BCD adders, respectively. Then, we introduced the reversible logic implementation of the modified conventional, as well as the proposed, carry look-ahead and carry skip BCD subtractors efficient in terms of the number of reversible gates used and garbage output produced. To the best of our knowledge, the carry look-ahead and carry skip BCD subtractors and their reversible logic design are explored for the first time ever in literature.
Office automation
Authors: Walter E. Ulrich
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

Electronic Mail offers advantages to companies and organizations today and will play an integral part in the development of and evolution toward the "Office of the Future." Four prominent individuals will speak about the state-of-the-art in electronic mail development. A balance of viewpoints will focus on computer message systems, combined voice and text message systems, facsimile, and the distributed electronic mail station. Functionality and cost effectiveness of current systems will be described, and future trends will be discussed. 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
The Application of Backfilling in Cluster Systems
Authors: Juan Wang, Wenming Guo
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

As backfilling resolves the fragmentation problem caused by resource reservation and produces significant benefits in scheduling of parallel jobs, it is widely used by most cluster management software suites. This paper introduces typical backfilling algorithms, focuses on analyzing the different implementations of backfilling in some common workload managers and points out the drawbacks of backfilling.
Large-signal model of AlGaAs P-HEMT under optical illumination
Authors: J. M. Zamanillo, A. Mediavilla, C. Pérez-Vega, A. Tazón
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

As an extension of our previous works in the optical-microwave interaction field, this paper shows the result of the research on large signal dynamic behavior (Pulsed I/V curves) of AlGaAs P-HEMT (pseudomorphic high electron mobility transistor) devices, in the overall I/V plane, when the incident optical input power is changed. A complete bias and optical power dependent of the large signal model for a PHEMT is determined from experimental scattering parameters, DC and pulsed measurements. All derivatives of the model shown here are continuous for a realistic description of circuit distortion and intermodulation. Experimental results show very good agreement with the theoretical analysis.
A Framework for the Management of Dynamic SLAs in Composite Service Scenarios
Authors: Giuseppe Modica, Orazio Tomarchio, Lorenzo Vita
Venue: Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers (2009)

The advent of information and communication technology has changed the nature of business-to-business interaction among organizations. The use of electronic contracts with automated support for their management allows an increase of effectiveness and efficiency in contract processing, opening new possibilities for interaction among parties. Service Providers and their customers negotiate utility based Service Level Agreements (SLA) to determine costs and penalties based on the achieved performance levels. The global QoS to be provided to the end customer can be strongly affected by any violation on each single SLA. In order to prevent such violations, SLAs need to be flexible and dynamically adaptable. In this work we focus on the WS-Agreement specification, a Web Service protocol to establish agreements on the QoS level to be guaranteed in the provision of a service. We propose to enhance the flexibility of its approach by integrating new functionality to the protocol that enable the parties of a WS-Agreement to re-negotiate and modify its terms during the service provision.
Visualizing Compositions of Services from Large Repositories
Authors: Marco Aiello, Nico van Benthem, Elie el Khoury
Venue: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services (2008)

Creating a Service-Oriented Architecture requires the identification of services to be composed together in order to solve a given need. Currently, software engineers perform this design task by hand by identifying services and how to compose them. In this paper, we propose \acr\ a system to automatically compose Web services coming from a static large repository, according to a domain ontology expressed in OWL, on the basis of a user query. The proposed system is not only able to find all suitable combinations of Web services, but also offers a visualization of the composition to let the software engineer inspect all possibilities.
Miology: A Web Application for Organizing Personal Domain Ontologies
Authors: Mirco Speretta, Susan Gauch
Venue: Proceedings of the 2009 International Conference on Information, Process, and Knowledge Management (2009)

One common way for users to organize personal interests is to categorize information by topics. Each area of interest could be represented either by a simple concept label or by more complex information structures that include concepts linked to each other by user defined relationships. We believe that this type of information structure could be easily represented by domain ontologies. The increasing interest in the Semantic Web has been producing a growing number of publicly available ontologies. This is a rich source of information that could be very helpful during the process of engineering other domain ontologies. Still, we need automatic tools that help non-expert users build and maintain their own ontologies. To make this process more accessible, we introduce Miology, a Web-based application that helps users automatically select and adapt existing ontologies to represent their personal interests.
Embedded software verification: challenges and solutions
Authors: Chao Wang, Malay Ganai, Chao Wang, Shuvendu Lahiri, Daniel Kroening
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

Embedded software are becoming more and more pervasive in our lives, and many application domains have very high reliability requirements. Ensuring high software quality while still maintaining software productivity is a challenging task. In order to address this challenge, more formal analysis and automated verification techniques are needed in addition to standard software testing. In this tutorial, we will showcase the important ideas and techniques of software formal verification, including static program analysis, program modeling and (bounded) model checking, and predicate abstraction refinement. We will emphasize some of the key techniques that have been successfully adopted by recent, industrial-strength software verification tools. In this tutorial, we will focus on detecting bugs in sequential programs written in C/C++ for portable devices as well as for general purpose platforms. The tutorial will be tailored to the ICCAD audience by emphasizing the use of decision procedures such as BDDs, Presburger arithmetic, bit-vector arithmetic, SAT and SMT solvers. Many of these techniques have been used in the context of analyzing, optimizing, and verifying IC designs. By attending this tutorial, the audience will get a better understanding of the challenges and potential solutions of embedded software verification.
Semantic Representation and Recognition of Continued and Recursive Human Activities
Authors: M. S. Ryoo, J. K. Aggarwal
Venue: International Journal of Computer Vision (2009)

This paper describes a methodology for automated recognition of complex human activities. The paper proposes a general framework which reliably recognizes high-level human actions and human-human interactions. Our approach is a description-based approach, which enables a user to encode the structure of a high-level human activity as a formal representation. Recognition of human activities is done by semantically matching constructed representations with actual observations. The methodology uses a context-free grammar (CFG) based representation scheme as a formal syntax for representing composite activities. Our CFG-based representation enables us to define complex human activities based on simpler activities or movements. Our system takes advantage of both statistical recognition techniques from computer vision and knowledge representation concepts from traditional artificial intelligence. In the low-level of the system, image sequences are processed to extract poses and gestures. Based on the recognition of gestures, the high-level of the system hierarchically recognizes composite actions and interactions occurring in a sequence of image frames. The concept of hallucinations and a probabilistic semantic-level recognition algorithm is introduced to cope with imperfect lower-layers. As a result, the system recognizes human activities including `fighting' and `assault', which are high-level activities that previous systems had difficulties. The experimental results show that our system reliably recognizes sequences of complex human activities with a high recognition rate.
Males' and Females' Script Debugging Strategies
Authors: Valentina Grigoreanu, James Brundage, Eric Bahna, Margaret Burnett, Paul Elrif, Jeffrey Snover
Venue: Proceedings of the 2nd International Symposium on End-User Development (2009)

Little research has addressed IT professionals' script debugging strategies, or considered whether there may be gender differences in these strategies. What strategies do male and female scripters use and what kinds of mechanisms do they employ to successfully fix bugs? Also, are scripters' debugging strategies similar to or different from those of spreadsheet debuggers? Without the answers to these questions, tool designers do not have a target to aim at for supporting how male and female scripters want to go about debugging. We conducted a think-aloud study to bridge this gap. Our results include (1) a generalized understanding of debugging strategies used by spreadsheet users and scripters, (2) identification of the multiple mechanisms scripters employed to carry out the strategies, and (3) detailed examples of how these debugging strategies were employed by males and females to successfully fix bugs.
Collapsing words, permutation conditions and coherent colorings of trees
Authors: A. Cherubini, A. Kisielewicz
Venue: Theoretical Computer Science (2009)

Given a word w over a finite alphabet @S and a finite deterministic automaton A=, the inequality |@d(Q,w)|@?|Q|-n means that under the natural action of the word w the image of the state set Q is reduced by at least n states. A word w is n-collapsing if this inequality holds for any deterministic finite automaton that satisfies such an inequality for at least one word. In this paper we prove that the problem of recognizing n-collapsing words is generally co-NP-complete, while restricted to 2-collapsing words over 2-element alphabet it belongs to P. This is connected with introducing a new approach to collapsing words, which is shown to be much more effective in solving various problems in the area. It leads to interesting connections with combinatorial problems concerning solving systems of permutation conditions on one hand, and coloring trees with distinguished nodes on the other hand.
Parallel bioinspired algorithms for NP complete graph problems
Authors: Israel Marck Martínez-Pérez, Karl-Heinz Zimmermann
Venue: Journal of Parallel and Distributed Computing (2009)

It is no longer believed that DNA computing will outperform digital computers when it comes to the computation of intractable problems. In this paper, we emphasise the in silico implementation of DNA-inspired algorithms as the only way to compete with other algorithms for solving NP-complete problems. For this, we provide sticker algorithms for some of the most representative NP-complete graph problems. The simple data structures and bit-vertical operations make them suitable for some parallel architectures. The parallel algorithms might solve either moderate-size problems in an exact manner or, when combined with a heuristic, large problems in polynomial time.
Collision and Corruption Awareness Enhancement to IEEE 802.11 DCF: Scheme and Performance Analysis
Authors: Cheng Yuan, Zhang Yuan, Gao Xiqi
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

The main motivation of the medium access control (MAC) protocol in 802.11 is to meet the need of high throughput and low access delay under distributed contention-based environment. Because the cause of transmission failures is unaware, a sender may misinterpret a transmission error as a collision. In this paper, a new strategy which aims at differentiating packet collisions and corruptions in MAC layer is proposed. Based on the approach, an modified backoff scheme is employed under saturated condition for the distributed coordination function (DCF) based wireless local area network (WLAN). Simulation results show that the new scheme achieves higher throughput for 802.11 DCF.
A new approach for EEG feature extraction in P300-based lie detection
Authors: Vahid Abootalebi, Mohammad Hassan Moradi, Mohammad Ali Khalilzadeh
Venue: Computer Methods and Programs in Biomedicine (2009)

P300-based Guilty Knowledge Test (GKT) has been suggested as an alternative approach for conventional polygraphy. The purpose of this study was to extend a previously introduced pattern recognition method for the ERP assessment in this application. This extension was done by the further extending the feature set and also the employing a method for the selection of optimal features. For the evaluation of the method, several subjects went through the designed GKT paradigm and their respective brain signals were recorded. Next, a P300 detection approach based on some features and a statistical classifier was implemented. The optimal feature set was selected using a genetic algorithm from a primary feature set including some morphological, frequency and wavelet features and was used for the classification of the data. The rates of correct detection in guilty and innocent subjects were 86%, which was better than other previously used methods.
Automatic Rhythm Retrieval from Musical Files
Authors: Bożena Kostek, Jarosław Wójcik, Piotr Szczuko
Venue: Transactions on Rough Sets IX (2008)

This paper presents a comparison of the effectiveness of two computational intelligence approaches applied to the task of retrieving rhythmic structure from musical files. The method proposed by the authors of this paper generates rhythmic levels first, and then uses these levels to compose rhythmic hypotheses. Three phases: creating periods, creating simplified hypotheses and creating full hypotheses are examined within this study. All experiments are conducted on a database of national anthems. Decision systems such as Artificial Neural Networks and Rough Sets are employed to search the metric structure of musical files. This was based on examining physical attributes of sound that are important in determining the placement of a particular sound in the accented location of a musical piece. The results of the experiments show that both decision systems award note duration as the most significant parameter in automatic searching for metric structure of rhythm from musical files. Also, a brief description of the application realizing automatic rhythm accompaniment is presented.
Sub-micron Parameter Scaling for Analog Design Using Neural Networks
Authors: A. A. Bagheri-Soulla, M. B. Ghaznavi-Ghoushchi
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

In present work we aimed to develop a NN based approach to translate the design parameter from a submicron technology to a long channel one. The proposed approach is able to find the superseded design parameters in 1.2μm technology using the input information, which are design parameters of Gain, Phase Margin, Unity Gain Bandwidth and Power in TCMS 0.18μm. The training data are obtained by various simulations in the HSPICE design environment with TSMC 0.18μm process nominal parameters. The neural network structure is developed and trained in the C++ based program. To observe the utility of proposed neural network model it is tested through at least 50 samples. Experimental results show validity of our approach in less than 0.5db error for gain, less than 1 degree phase error for phase margin, 0.1db for unity gain bandwidth and 0.05db for power.
Cryptology in the Classroom: Analyzing a Zero-Knowledge Protocol
Authors: Cheryl Beaver
Venue: Cryptologia (2009)

From the simple example of Ali Baba proving he knows a magic word to complex digital signature schemes, the ideas behind zero-knowledge protocols can be used as fun cryptographic examples for undergraduate students at different levels. In this paper, I present an example of how to introduce the topic as an interactive classroom activity to an undergraduate mathematics class in a way that sets the stage for discussing several important topics of concern in this and other modern cryptographic applications.
Digital contents interoperability between diverse DRM systems in mobile environment
Authors: Ning Sun, Nai-bin Su, Sang-ho Lee
Venue: Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing (2008)

Digital Rights Management (DRM) is a technology to protect digital rights from unauthorized access and to control the content throughout its entire life cycle. In mobile environment, besides of the traditional demands of persistent copyright protection, some characteristics such as easier to access and low computing energy of mobile devices should be considered. There have been many previous sophisticated solutions for this issue. In this paper, we concentrate on how to efficiently solve the inconvenient problem faced by customers, which is caused by lack of interoperability between DRM systems. We propose a scheme to realize exchanging digital right information between diverse DRM systems by ahead establishing trust relationships among Right Issuers (RI) so that to provide an more efficient, convenient and uniform contents interface for customers, based on secure technical consideration.
Environmental e-governance
Authors: Lalanath de Silva
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

In this brief paper I outline the key areas in which e-Governance would be useful in environmental democracy. The paper briefly discusses what environmental democracy means. It lays out a human rights and instrumental argument in favor of access to information, public participation and access to justice (referred to collectively as 'access rights") in environmental matters. The paper identifies four barriers to promoting access rights and points to success stories from around the world suggesting how these barriers might be overcome. Much of the paper is based on "Voice & Choice: Opening the Door to Environmental Democracy" published in 2008 by the World Resources Institute. The paper also briefly examines recent research findings that concern access rights for the poor and e-Governance.
CALLY: the cell-phone robot with affective expressions
Authors: Ji-Dong Yim, Christopher D. Shaw
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

This poster describes a robot cell-phone named CALLY with which we are exploring the roles of facial and gestural expressions of robotic products in the human computer interaction. We discuss non-verbal anthropomorphic affect features as media for building emotional relationships between a user and a product, and introduce new types of robotic products in the market that may be capable of establish intimacy by applying such features. A couple of social robot application ideas generated from the early phase of our project are also presented with their usage scenarios and implementations. CALLY was used in our initial participatory design workshop and helped participants generate new application ideas.