ppxscal/embedding_network huggingface dataset:
Rule acquisition and adjustment based on set-valued mapping
Authors: Yang Xu, Jun Liu, Da Ruan
Venue: Information Sciences&mdash;Informatics and Computer Science: An International Journal (2003)

Based on the theory of set-valued mapping, a new approach on how to acquire fuzzy-rule sets from the corresponding relations between the group of data on the two universes of discourse is presented. Moreover, some theories and methods on how to adjust fuzzy-rule sets with the change of the group of data are established. Finally, a recurrence theorem of the group of data is also given.
Markov Processes Involving q-Stirling Numbers
Authors: D. Crippa, K. Simon, P. Trunz
Venue: Combinatorics, Probability and Computing (1997)

In this paper we consider the Markov process defined byP1,1=1, Pn,&lscr;=(1&minus;&lambda;n,&lscr;) &middot;Pn&minus;1,&lscr; +&lambda;n,&lscr;&minus;1 &middot;Pn&minus;1,&lscr;&minus;1for transition probabilities &lambda;n,&lscr;=q&lscr; and &lambda;n,&lscr;=qn&minus;1. We give closed forms for the distributions and the moments of the underlying random variables. Thereby we observe that the distributions can be easily described in terms of q-Stirling numbers of the second kind. Their occurrence in a purely time dependent Markov process allows a natural approximation for these numbers through the normal distribution. We also show that these Markov processes describe some parameters related to the study of random graphs as well as to the analysis of algorithms.
The synergistic integration of mathematics, software engineering, and user-centred design: exploring new trends in education
Authors: C. Angelov, R. V. N. Melnik, J. Buur
Venue: Future Generation Computer Systems (2003)

There is an increasing recognition in the society that interdisciplinary challenges must be part of new educational practices. In this paper, we describe the key curriculum activities at the University of Southern Denmark that combine mathematical modelling, software engineering, and user-centred design courses. These three disciplines represent a core of our graduate program, aiming at educating the professionals that will be capable of not only using but also further developing new technologies, and therefore, will be capable of fostering further the progress in computational science and engineering. Finally, we show how the learning environment, with emphases on broadening the student experience by industrial links, affects the student career aspiration.
Enhanced Diameter Bounding via Structural
Authors: Jason Baumgartner, Andreas Kuehlmann
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily complex design flaws. However, BMC is limited to analyzing only a specific time window, hence will only expose those flaws which manifest within that window and thus cannot readily prove correctness. The diameter of a design has thus become an important concept -- a bounded check of depth equal to the diameter constitutes a complete proof. While the diameter of a design may be exponential in the number of its state elements, in practice it often ranges from tens to a few hundred regardless of design size. Therefore, a powerful diameterover-approximation technique may enable automatic proofs that otherwise would be infeasible. Unfortunately, exact diameter calculation requires exponential resources, and over-approximation techniques may yield exponentially loose bounds. In this paper, we provide a general approach for enabling the use of structural transformations, such as redundancy removal, retiming, and target enlargement, to tighten the bounds obtained by arbitrary diameterapproximation techniques. Numerous experiments demonstrate that this approach may significantly increase the set of designs for which practically useful diameter bounds may be obtained.
Dynamics and control of a simulated three-dimensional humanoid biped
Authors: Roger Quinn
Venue:  (2003)

A model of a humanoid biped and a locomotion control system for it are developed. Dynamics formulations are presented to model multi-limb systems using a form of Lagrange's equations in terms of quasi-coordinates. The formulation method can be applied to systems where the kinetic and potential energies are explicit functions of angular velocities and coordinate transformations. The ground contact is modeled using springs, viscous damping, and Coulomb friction. Therefore the system can be treated as an open mechanism with a tree structure even when it contacts the ground at multiple locations. This dynamic formulation is applied to a humanoid biped, which is modeled as a trunk with two legs and 20 joint degrees of freedom. An algorithm for controlling the locomotion of the simulated biped is also presented. The algorithm is hierarchical with local Joint Space Control (JSC) and global Virtual Model Control (VMC). VMC plays an important role in the stance phase of the legs and provides postural stability during locomotion. JSC is essential during the swing phase and for placement of the foot to obtain or change the speed of the robot. Simulations of various body motions and walking of a three dimensional humanoid biped are achieved through the superposition of these two control schemes.
TERRA-ACQUA, Adaptable Definition and Execution of Workflows
Authors: Genoveva Vargas-Solar, Khalid Belhajjame, Esaú E. Castillo Contreras, Karla Joana Peredo Márquez
Venue: Proceedings of the Fourth International Conference on Web Information Systems Engineering (2003)

This paper presents TERRA and ACQUA 1 two mechanisms that support adaptable definition and execution of workflows. TERRA generates and stores structures (objects, events, reactions) necessary for executing a workflow. AQUA executes workflows according to a parametric behaviour model that represents workflow execution policies in terms of dimensions associated to values. TERRA and ACQUA provide mechanisms for modifying the structure of a workflow and its associated behaviour.
THESUS: Organizing Web document collections based on link semantics
Authors: Maria Halkidi, Benjamin Nguyen, Iraklis Varlamis, Michalis Vazirgiannis
Venue: The VLDB Journal &mdash; The International Journal on Very Large Data Bases (2003)

The requirements for effective search and management of the WWW are stronger than ever. Currently Web documents are classified based on their content not taking into account the fact that these documents are connected to each other by links. We claim that a page&rsquo;s classification is enriched by the detection of its incoming links&rsquo; semantics. This would enable effective browsing and enhance the validity of search results in the WWW context. Another aspect that is underaddressed and strictly related to the tasks of browsing and searching is the similarity of documents at the semantic level. The above observations lead us to the adoption of a hierarchy of concepts (ontology) and a thesaurus to exploit links and provide a better characterization of Web documents. The enhancement of document characterization makes operations such as clustering and labeling very interesting. To this end, we devised a system called THESUS. The system deals with an initial sets of Web documents, extracts keywords from all pages&rsquo; incoming links, and converts them to semantics by mapping them to a domain&rsquo;s ontology. Then a clustering algorithm is applied to discover groups of Web documents. The effectiveness of the clustering process is based on the use of a novel similarity measure between documents characterized by sets of terms. Web documents are organized into thematic subsets based on their semantics. The subsets are then labeled, thereby enabling easier management (browsing, searching, querying) of the Web. In this article, we detail the process of this system and give an experimental analysis of its results.
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
Authors: Sirin Bekbay, Shaoying Liu
Venue: Proceedings of the Third International Conference on Quality Software (2003)

The goal of this paper is to examine the Japaneseexperience with the software development process, thechallenges they face and how formal engineering methods,in particular SOFL (Structured Object-oriented Formal Language),can help overcome these problems.We will also recommend additionalmanagement tools and documents that can aid organizations in achievinga higher CMM rating through the use of SOFL.
Corner edge cutting and Dixon A-resultant quotients
Authors: Mao-Ching Foo, Eng-Wee Chionh
Venue: Journal of Symbolic Computation (2004)

The classical Dixon resultant formulation gives the exact A-resultant for the bi-degree rectangular monomial support. But the formulation gives a multiple of the A-resultant when the monomial support is a bi-degree rectangular support with some corner edges removed. Fortunately, here the extraneous factors can be easily identified a priori and the A-resultant can be expressed explicitly as a quotient: the determinant of a Dixon matrix divided by a product of brackets. All proofs in the paper are constructive. One of the proofs is mechanically done by a Maple program.
Specifying reactive systems with attributed finite state machines
Authors: Shiyuan Ding, Takuya Katayama
Venue: Proceedings of the 7th international workshop on Software specification and design (1993)

In this paper an attributed finite state machine (AFSM) model for the behavior specification of reactive systems is introduced. The basic idea is to attach attributes to the states of state machines in order to express values of system data and to define attribute computation in a functional way. An specification in AFSM consists of a collection of state transition rules. Each of these rules specifies three aspects of a reactive system: (1) the dynamic behavior, (2) the data computation and (3) the time constraints of the reactive system. The dynamic behavior is specified by state transitions responding to external stimuli, and the data computation is performed according to functional attribute definitions. The time constraints are specified operationally in terms of the temporal relations that exist between the external stimuli and the system responses. Furthermore, the hierarchy of states based on superstates and the concurrency among independent system components, are introduced after Statecharts. These mechanisms provide an effective way to decompose and specify complex systems in a structured way. To show the effectiveness of the AFSM model an assembly system is specified with respect to the above mentioned aspects.
Raising motivation in real-time laboratories: the soccer scenario
Authors: Mehdi Amirijoo, Aleksandra Te"anoviC, Simin Nadjm-Tehrani
Venue: Proceedings of the 35th SIGCSE technical symposium on Computer science education (2004)

Real-time systems is a topic that one cannot overlook in an engineer's education. However, teaching real-time systems in an undergraduate syllabus is a challenging experience due to conflicting constraints placed on such a course. In this paper we present a new setup for laboratories in the real-time systems course that successfully meets the constraints of mass education, stable environment management, short time span for the labs, and still enables deep involvement of students in the central topic of resource allocation with high motivation.
Molecular cluster based nanoelectronics
Authors: E. S. Soldatov, S. P. Gubin, I. A. Maximov, G. B. Khomutov, V. V. Kolesov, A. N. Sergeev-Cherenkov, V. V. Shorokhov, K. S. Sulaimankulov, D. B. Suyatin
Venue: Microelectronic Engineering (2003)

The use of molecular clusters as a basis of molecular single-electronic systems is considered experimentally and theoretically. The Langmuir-Blodgett formation and scanning tunneling microscope study of structures with chemically different cluster molecules is described. I-V curves and control curves of molecular single-electron transistors based on various single molecules were studied at room temperature. Comparison of experimental I-V curves with simulated ones allows us to identify a regime of slow energy relaxation of electrons in experimental transistors. Experimental study of electron transport through the planar molecular nanosystems has shown a correlated character of electron tunneling in such systems.
A Lightweight Tool for Easy Web Site Navigation
Authors: Sergio Flesca, Gianluigi Greco, Sergio Greco, Ester Zumpano
Venue: Proceedings of the Fourth International Conference on Web Information Systems Engineering (2003)

The proliferation of information available on the world wide web and the new emerging technologies that have reduced the barriers in organizing and publishing documents, have made the support for navigation and personalization of web sites an appealing and promising task for the Web community. One of the most challenging activities in the design of modern sites which goes beyond any particular domain consists of making the process of retrieving relevant documents easier. This paper proposes a new technique for Web navigation based on current algorithms used in Recommendation Systems. Our approach identifies really relevant documents adopting methodologies similar to those successfully used in current search engines. This approach has been effectively used for the implementation of a lightweight web site personalization tool, that permits to navigate towards relevant web pages regardless of the original web site structure.
Efficient Test Strategy for TDMA Power Amplifiers Using Transient Current Measurements: Uses and Benefits
Authors: Ganesh Srinivasan, Soumendu Bhattacharya, Sasikumar Cherubal, Abhijit Chatterjee
Venue: Proceedings of the conference on Design, automation and test in Europe - Volume 1 (2004)

A novel algorithm for fast and accurate testing of TDMA power amplifiers in a transmitter system is presented. First, the steep cost of high frequency testers can be largely complemented by the proposed method due to its ease of implementation on low-cost testers. Secondly, TDMA power amplifiers usually have a control voltage to operate the device in various modes of operation. At each of the control voltage values, all the specifications of the power amplifier are measured to ensure the performance of each tested device. A new method is proposed to test all the specifications of these devices using the transient current response of their bias circuits to a time-varying control voltage stimulus. This results in shorter test times compared to conventional test methods. The test specification values are measured to an accuracy of less than 5% for all the specifications measured. The proposed test approach can specifically benefit production test of quad-band amplifiers (GSM850, GSM900, PCS/DCS), as a single transient current measurement can be used to compute all the specifications of the device in different modes of operation, over different operating frequencies.
Cross-language spoken document retrieval using HMM-based retrieval model with multi-scale fusion
Authors: Wai-Kit Lo, Helen Meng, P. C. Ching
Venue: ACM Transactions on Asian Language Information Processing (TALIP) (2003)

Cross-language spoken document retrieval (CL-SDR) is the technology that facilitates automatic retrieval of relevant information from a collection of spoken documents in a language that is different from that used in the queries. Information sources that are in different languages can then be retrieved automatically with CL-SDR, and the number of searchable information sources will increase significantly. The HMM-based retrieval model is a probabilistic formulation for the retrieval problem. Extensions to this retrieval model can be made by taking advantage of its probabilistic nature. Specifically, we have incorporated the translation component to make it possible to perform cross-language information retrieval (CLIR). In addition, this HMM-based CLIR retrieval model is also extended for retrieval at subword scales.In this work the extended HMM-based retrieval model has been applied to an English-Mandarin CL-SDR task, which is to search the Mandarin spoken document collection with English queries at word and subword scales. Retrieval results obtained from these indexing scales are then fused for multi-scale CL-SDR. Experimental results demonstrate that improvement in CL-SDR retrieval performance can be achieved by fusion of word and subword scales.
Using agents for multi-target search on the Web
Authors: Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini
Venue: Proceedings of the 2003 ACM symposium on Applied computing (2003)

In this paper we present an approach to support multi-target search over a set of web nodes. Multi-target search allows users to specify multiple interdependent search objectives. Such objectives are then fulfilled by transparently contacting multiple information sources. We present a runtime platform and a language supporting extraction and assembly of information according to users' needs. The language is based on a XML query language and adapts it to the case where information is obtained by aggregating parts distributed over multiple sites. The platform is based on mobile agents and acts as an intermediary between users and information providers.
Nonparametric color characterization using mean shift
Authors: Ling-Yu Duan, Min Xu, Qi Tian, Chang-sheng Xu
Venue: Proceedings of the eleventh ACM international conference on Multimedia (2003)

Color is very useful in locating and recognizing objects that occur in artificial environments. The color histogram has shown its efficiency and advantages as a general tool for various applications, such as content-based image retrieval and video browsing, object indexing and location, and video segmentation. However, due to the lack of any spatial and context information, the histogram is not robust and effective for color characterization (e.g. dominant color) in large video databases. In this paper, we propose a nonparametric color characterization model using mean shift procedure, with an emphasis on spatio-temporal consistency. Experimental results suggest that the color characterization model is much more effective for video indexing and browsing, particularly in the domain of structured video (e.g. sports video).
The Path Resistance Method for Bounding the Smallest Nontrivial Eigenvalue of a Laplacian
Authors: S. Guattery, T. Leighton, G. L. Miller
Venue: Combinatorics, Probability and Computing (1999)

We introduce the path resistance method for lower bounds on the smallest nontrivial eigenvalue of the Laplacian matrix of a graph. The method is based on viewing the graph in terms of electrical circuits: it uses clique embeddings to produce lower bounds on &lambda;2 and star embeddings to produce lower bounds on the smallest Rayleigh quotient when there is a zero Dirichlet boundary condition. The method assigns priorities to the paths in the embedding; we show that, for an unweighted tree T, using uniform priorities for a clique embedding produces a lower bound on &lambda;2 that is off by at most an O(log diameter(T)) factor. We show that the best bounds this method can produce for clique embeddings are the same as for a related method that uses clique embeddings and edge lengths to produce bounds.
Sound and complete qualitative simulation is impossible
Authors: A. C. Cem Say, H. Levent Akin
Venue: Artificial Intelligence (2003)

State-of-the-art qualitative simulators (for instance, QSIM) are known to be sound; no trajectory which is the solution of a concrete equation matching the input can be missing from the output. A simulator which is seen to be incomplete, that is, which produces a spurious prediction for a particular input, can usually be augmented with an additional filter which eliminates that particular class of spurious behaviors, and the question of whether a simulator with purely qualitative input which never predicts spurious behaviors can ever be achieved by adding new filters in this way has remained unanswered until now. We prove that such a sound and complete qualitative simulation algorithm does not exist.
An accurate model for ambiguity delay simulation
Authors: Thomas H. Krodel, Kurt J. Antreich
Venue: Proceedings of the conference on European design automation (1990)

This paper presents a new approach for the accurate computation of ambiguously delayed waveforms which is implemented in the event-driven logic simulation system LDSIM. Six logic values are defined to be sets of up to four basic values. The mapping function representing the ambiguity delay model only manipulates these basic values. This principle results in a powerful and versatile ambiguity delay model that is clearly presented, easy to implement and guarantees correct delay computation of arbitrary six-valued waveforms with respect to the concept of superposition and causality.
Situated design of virtual worlds using rational agents
Authors: Mary Lou Maher, Ning Gu
Venue: Proceedings of the second international conference on Entertainment computing (2003)

The design and implementation of virtual worlds is separated in time from the use of the virtual world, and therefore is not directly related to an individual's experience of the world. We propose an approach to virtual worlds platforms in which the avatar, a visual representation of a user, has agency. As a rational agent, the avatar can respond to events in the world either through the human control of the avatar or via the avatar's agent. This Kind of agency interacts with the world on the user's behalf and directly in response to the user's activities in the world. We use rational agents to reason about the use and the design of the virtual world. Our agent model is an adaptation of a design agent and includes a design grammar for automatically designing and building a portion of the world.
Managing agent life cycles in open distributed systems
Authors: D. G. A. Mobach, B. J. Overeinder, N. J. E. Wijngaards, F. M. T. Brazier
Venue: Proceedings of the 2003 ACM symposium on Applied computing (2003)

Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These environments need to provide distributed support, including management services, for such agent systems. In this paper a local management architecture, implemented in AgentScape, is provided together with a management-oriented life cycle model. A major feature of this model is the central role of one of the states of the life cycle model, namely the "suspended" state: the state in which an agent is manageable. A prototype implementation of the management system based on the life cycle model is described.