ppxscal/embedding_network huggingface dataset:
A constrained linear predictive model with the minimum-phase property
Authors: Tom Bäckström, Paavo Alku
Venue: Signal Processing (2003)

A constrained linear predictive model, where the degrees of freedom of the predictor are reduced, is presented. It is shown that this model has the minimum-phase property and forms the basis for a convex space of polynomials with the minimum-phase property. Models presented have a wide range of potential applications, such as spectral modeling of speech and audio signals.
Workflow technology supporting information filtering from the internet
Authors: Witold Abramowicz, Jacek Szymanski
Venue: Technologies & methodologies for evaluating information technology in business (2003)

Discussed in this chapter are the problems of obtaining relevant information and automation and simplification of those processes in the business perspective. It is argued that information filtering tasks in companies can be automated and simplified with the help of workflow technology. Furthermore, the authors hope that specifying potential combinations of the two technologies will lead to improving companies' efficiency in using information in more competitive markets with an excess of information. The authors also hope that combining the two technologies can lead to improvement of business processes within companies.
Generating Test Oracle for Role Binding in Multi-Agent Systems
Authors: Xin Wang, Qi Yan, Xinjun Mao, ZhiChang Qi
Venue: Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference (2003)

Multi-agent systems(MAS) are typical distributed systems.It is an open problem for generating test oracles fora MAS. In this paper, a role-based MAS model is proposed,together with some basic definitions on soft gene, role andagent. A method to generate test oracle for such a MASis brought forward, which may address the checking of dynamicbinding between agents and roles. RoboCup simulationfootball team case is studied to illustrate the newMAS model and the corresponding test oracle generatingmethod.
FOL: a language for implementing file organizations for information storage and retrieval systems
Authors: Billy G. Claybrook
Venue: Proceedings of the 1973 meeting on Programming languages and information retrieval (1973)

FOL is a language for implementing file organizations. It is implemented in LPL, a list processing language that is an extension of PL/1. FOL presents the user with a convenient means for declaring the structure of records in a file. Either tree structured or graph structured files can be created and manipulated. The language treats records in a file as nodes in a list. The paper describes other file manipulation languages like APL and IDS. The data organization of FOL and the procedural language for declaring record structures and data manipulation commands are given.
Language evolution: neural homologies and neuroinformatics
Authors: Michael Arbib, Mihail Bota
Venue: Neural Networks (2003)

This paper contributes to neurolinguistics by grounding an evolutionary account of the readiness of the human brain for language in the search for homologies between different cortical areas in macaque and human. We consider two hypotheses for this grounding, that of Aboitiz and García [Brain Res. Rev. 25 (1997) 381] and the Mirror System Hypothesis of Rizzolatti and Arbib [Trends Neurosci. 21 (1998) 188] and note the promise of computational modeling of neural circuitry of the macaque and its linkage to analysis of human brain imaging data. In addition to the functional differences between the two hypotheses, problems arise because they are grounded in different cortical maps of the macaque brain. In order to address these divergences, we have developed several neuroinformatics tools included in an on-line knowledge management system, the NeuroHomology Database, which is equipped with inference engines both to relate and translate information across equivalent cortical maps and to evaluate degrees of homology for brain regions of interest in different species.
Rendezvous layer protocols for Bluetooth-enabled smart devices
Authors: Frank Siegemund, Michael Rohs
Venue: Personal and Ubiquitous Computing (2003)

AbstractCommunication platforms for ubiquitous computing need to be flexible, self-organizing, highly scalable and energy efficient, because in the envisioned scenarios a large number of autonomous entities communicate in potentially unpredictable ways. Short-range wireless technologies form the basis of such communication platforms. In this paper we investigate device discovery in Bluetooth, a candidate wireless technology for ubiquitous computing. Detecting new devices accounts for a significant portion of the total energy consumption in Bluetooth. It is argued that the standard Bluetooth rendezvous protocols for device detection are not well suited for ubiquitous computing scenarios, because they do not scale to a large number of devices, take too long to complete, and consume too much energy. Based on theoretical considerations, practical experiments and simulation results, recommendations for choosing inquiry parameters are given that optimize discovery performance. We propose an adaptive rendezvous protocol that significantly increases the performance of the inquiry procedure by implementing cooperative device discovery. Also higher level methods to optimize discovery performance, specifically the use of sensory data and context information, are considered.
Extracting information from intermediate semiconstructive HA-systems &ndash; extended abstract
Authors: Mauro Ferrari, Camillo Fiorentini, Pierangelo Miglioli
Venue: Mathematical Structures in Computer Science (2001)

In this abstract we will describe research in progress on the problem of extracting information from proofs. Here we will concentrate our attention on semiconstructive calculi, which is a kind of calculus that is of interest in the framework of program synthesis and formal verification. We will discuss the notion of uniformly semiconstructive calculus, introduce our information extraction mechanism and apply it to two calculi extending Intuitionistic Arithmetic.
Houston, we have a problem: there's a leak in the CS1 affective oxygen tank
Authors: Dawn McKinney, Leo F. Denton
Venue: Proceedings of the 35th SIGCSE technical symposium on Computer science education (2004)

The affective domain can be used to support the internalization of cognitive content and foster the development of curriculum and industry-related interests, attitudes, values, and practices. This study investigated correlations between affective factors and course grade. Interest, perceived competence, effort, lack of pressure, and value correlated significantly with CS1 course grades. Moreover, this study investigated the levels of these factors over the course of CS1. Almost all of the levels of these significant factors decreased significantly during the CS1 course as measured by pretests and posttests. Results of this study further indicated that the use of specific affective objectives and instructional strategies lessened these decreases.
A formal specification of a visual language editor
Authors: Jeannette M. Wing, Amy Moormann Zaremski
Venue: Proceedings of the 6th international workshop on Software specification and design (1991)

This paper presents a non-trivial case study on the use of the Larch specification languages to describe the Mir&oacute; visual languages and graphical editor. In addition to excerpts from the specification, we discuss properties of Mir&oacute; provable from the specification, limitations of Larch, and general lessons learned from this exercise.
Measuring the accuracy of four attributes of sound for conveying changes in a large data set
Authors: Jason Alan Holmes
Venue:  (2003)

Human auditory perception is suited to receiving and interpreting information from the environment but this knowledge has not been used extensively in designing computer-based information exploration tools. It is not known which aspects of sound are useful for accurately conveying information in an auditory display. An auditory display was created using PD, a graphical programming language used primarily to manipulate digital sound. The interface for the auditory display was a blank window. When the cursor is moved around in this window, the sound generated would changed based on the underlying data value at any given point. An experiment was conducted to determine which attribute of sound most accurately represents data values in an auditory display. The four attributes of sound tested were frequency-sine waveform, frequency-sawtooth waveform, loudness and tempo. 24 subjects were given the task of finding the highest data point using sound alone using each of the four sound treatments. Three dependent variables were measured: distance accuracy, numeric accuracy, and time on task. Repeated measures ANOVA procedures conducted on these variables did not rise to the level of statistical significance (&alpha; = .05). None of the sound treatments was more accurate than the other as representing the underlying data values. 52% of the trials were accurate within 50 pixels of the highest data point (target). An interesting finding was the tendency for the frequency-sin waveform to be used in the least accurate trial attempts (38%). Loudness, on the other hand, accounted for very few (12.5%) of the least accurate trial attempts. In completing the experimental task, four different search techniques were employed by the subjects: perimeter, parallel sweep, sector, and quadrant. The perimeter technique was the most commonly used.
Electrophoresis of DNA in micro-pillars fabricated in polydimethylsiloxane
Authors: Ken-ichi Inatomi, Shin-ichi Izuo, Sang-seok Lee, Hiroshi Ohji, Satoru Shiono
Venue: Microelectronic Engineering (2003)

We describe the fabrication of a device containing micro-pillars and separation of DNA. It was made of polydimethylsiloxane (PDMS) and made by a replica molding method using a patterned silicon wafer as a mold. The device has a micro-channel in which 15 µm pillars are arranged in a hexagonal lattice with 1 µm spacing. Electrophoresis of DNA in the pillars showed the average speed of DNA migration was dependent on its lengths. The PDMS device not only demonstrates the possibility of rapid DNA separation, but also has an advantage in mass production cost by using the replication method.
COSAR: commitment-oriented "sense and respond" system for microelectronic manufacturing
Authors: Jun-Jang Jeng, Henry Chang, Jen-Yao Chung
Venue: Proceedings of the 2003 ACM symposium on Applied computing (2003)

Microelectronic manufacturing is a discipline of supply chain management, and deals with the efficient coordination of manufacturing processes and owning enterprise along a value chine to provide products to customers. The systems for microelectronic manufacturing processes are usually linear, rigid and producing solutions that are far from optimal. This paper presents a commitment-oriented "sense and respond" system, called COSAR, for microelectronic manufacturing. COSAR enables the development of adaptive and configurable manufacturing systems. We will explain both the concept of commitment and also the foundation and architecture of COSAR.
Pipelining the adaptive decision feedback equalizer with zero latency
Authors: Mrityunjoy Chakraborty, Suraiya Pervin
Venue: Signal Processing (2003)

This paper extends a recently proposed approach to pipeline an adaptive filter to the case of least mean square (LMS)-based adaptive decision feedback equalizer. It is shown that by certain manipulation of the equalizer weight update equation, a pipelined architecture can be realized which generates the output at the first stage itself and thus is free from any latency. The proposed method overcomes certain limitations of the conventional approaches in that due to the absence of any latency, there is no compulsion to employ delayed LMS algorithm for coefficient adaptation and thus no compromise with convergence rate becomes necessary.
Automatic acquisition and initialization of articulated models
Authors: N. Krahnstoever, M. Yeasin, R. Sharma
Venue: Machine Vision and Applications (2003)

Tracking, classification and visual analysis of articulated motion is challenging because of the difficulties involved in separating noise and variabilities caused by appearance, size and viewpoint fluctuations from task-relevant variations. By incorporating powerful domain knowledge, model-based approaches are able to overcome these problem to a great extent and are actively explored by many researchers. However, model acquisition, initialization and adaptation are still relatively under-investigated problems, especially for the case of single-camera systems.In this paper, we address the problem of automatic acquisition and initialization of articulated models from monocular video without any prior knowledge of shape and kinematic structure. The framework is applied in a human-computer interaction context where articulated shape models have to be acquired from unknown users for subsequent limb tracking. Bayesian motion segmentation is used to extract and initialize articulated models from visual data. Image sequences are decomposed into rigid components that can undergo parametric motion. The relative motion of these components is used to obtain joint information. The resulting components are assembled into an articulated kinematic model which is then used for visual tracking, eliminating the need for manual initialization or adaptation. The efficacy of the method is demonstrated on synthetic as well as natural image sequences. The accuracy of the joint estimation stage is verified on ground truth data.
Aligning Technology and Business Strategy: Issues & Frameworks, A Field Study of 15 Companies
Authors: Joseph W. Weiss, Don Anderson
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

This paper presents survey and interview findings from 21 Senior IT and business executives in 15 organizations including several Fortune 500 and 1000 firms. Survey, interviews, and field observational techniques were used to characterize organizations as Operational, Strategic Resource, or Strategic Weapon profiles based on level of business/IT strategy alignment. Results indicate that strategic alignment occurs most frequently across industries and organizations at functional and team levels, followed by the business unit, and enterprise levels. Our findings confirm studies that argue the continuing difficulty organizations experience in achieving enterprise alignment of IT and business strategy. Our results also showed that knowledge management capabilities were the least used integrating enablers.Project management skills were identified as the most frequently used alignment resources, followed by change management, negotiation, political, innovation, and entrepreneurial capabilities. Reasons offered for these findings include: limited level of know-how by professionals, organizational structural and cultural barriers, and production pressures to useexisting technologies. Future research and practical suggestions for alignment are offered.
Energy management of virtual memory on diskless devices
Authors: Jerry Hom, Ulrich Kremer
Venue: Compilers and operating systems for low power (2003)

In a pervasive computing environment, applications are able to run across different platforms with significantly different resources. Such platforms range from high-performance desktops to handheld PDAs. This chapter discusses a compiler approach to reduce the energy consumption of a diskless device where the swap space is provided by a remotely mounted file system accessible via a wire, less connection. Predicting swapping events at compile time allows effective energy management of a PDA's wireless communication component such as a 802.11 or Bluetooth card.The compiler activates and de-activates the communication card based on compile-time knowledge of the past and future memory footprint of an application. In contrast to OS techniques, the compiler can better predict future program behavior, and can change this behavior through program transformations that enable additional optimizations.A prototype compilation system EELRM has been implemented as part of the SUIF2 compiler infrastructure. Preliminary experiments based on the SimpleScalar simulation toolset and three numerical programs indicate the potential benefits of the new technique.
Online customer service
Authors: Rick Gibson
Venue: The economic and social impacts of e-commerce (2003)

The purpose of this study is to find an effective online customer service strategy. Although the effectiveness of the online customer service will vary and depend on the type of business the company is involved in, the usage of different types of tools in this arena have proven to be more useful than others. Effectiveness in this work will be used, in the sense that the more effective strategy will lead to more satisfied customers, a higher customer retention rate and higher revenue for the business.
A Fuzzy-Logic Based Bidding Strategy for Autonomous Agents in Continuous Double Auctions
Authors: Minghua He, Ho-fung Leung, Nicholas R. Jennings
Venue: IEEE Transactions on Knowledge and Data Engineering (2003)

Increasingly, many systems are being conceptualized, designed, and implemented as marketplaces in which autonomous software entities (agents) trade services. These services can be commodities in e-commerce applications or data and knowledge services in information economies. In many of these cases, there are both multiple agents that are looking to procure services and multiple agents that are looking to sell services at any one time. Such marketplaces are termed continuous double auctions (CDAs). Against this background, this paper develops new algorithms that buyer and seller agents can use to participate in CDAs. These algorithms employ heuristic fuzzy rules and fuzzy reasoning mechanisms in order to determine the best bid to make given the state of the marketplace. Moreover, we show how an agent can dynamically adjust its bidding behavior to respond effectively to changes in the supply and demand in the marketplace. We then show, by empirical evaluations, how our agents outperform four of the most prominent algorithms previously developed for CDAs (several of which have been shown to outperform human bidders in experimental studies).
On the growth of components with non-fixed excesses
Authors: Anne-Elisabeth Baert, Vlady Ravelomanana, Loys Thimonier
Venue: Discrete Applied Mathematics (2003)

Denote by an l-component a connected graph with l edges more than vertices. We prove that the expected number of creations of (l + 1)-component, by means of adding a new edge to an l-component in a randomly growing graph with n vertices, tends to 1 as l,n tends to ∞ but with l=o(n1/4). We also show, under the same conditions on l and n, that the expected number of vertices that ever belong to an l-component is ∼ (12l)1/3n2/3.
A parsing algorithm that extends phrases
Authors: Daniel Chester
Venue: Computational Linguistics (1980)

It is desirable for a parser to be able to extend a phrase even after it has been combined into a larger syntactic unit. This paper presents an algorithm that does this in two ways, one dealing with "right extension" and the other with "left recursion". A brief comparison with other parsing algorithms shows it to be related to the left-corner parsing algorithm, but it is more flexible in the order that it permits phrases to be combined. It has many of the properties of the sentence analyzers of Marcus and Riesbeck, but is independent of the language theories on which those programs are based.
SQL text parsing for information retrieval
Authors: David Holmes
Venue: Proceedings of the twelfth international conference on Information and knowledge management (2003)

The concept of using a relational database to perform information retrieval (IR) search functions is well established. Prior work demonstrates the capability to perform common functions and advanced ranking algorithms using standard, unchanged SQL. The previous work does not address the preprocessing of unstructured text within the relational model. In fact, the parsing of the unstructured data into a structured data set was done outside of the database, usually using sequential programming languages such as C. This work proves that IR preprocessing does not require proprietary application code to build the framework necessary for searching document databases. Furthermore, the resulting environment is relational and integrates with other data sources within an organization.
C : C++ = JavaMM: Java
Authors: Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti
Venue: Proceedings of the 2nd international conference on Principles and practice of programming in Java (2003)

Teaching the first programming language has always been a hot topic in every Computer Science degree program, and the choice of Java does not escape this trend. The debate with Java concerns also the teaching method that should be followed: structured oriented or object oriented? We believe that the two paradigms are not mutually exclusive: Indeed, when designing a complex object system, the first phase of creating the objects' relationships is necessarily followed by an implementation phase, which requires a good knowledge of structured programming. In this paper we present a tool, called JavaMM, that can be effectively used to support students in their first approach to the Java language, according to the philosophy of "structured programming before object oriented programming".
Period two trichotomy on XN+1 = a + &#x03B3;XN-1 + &#x03B4;X N-2/XN + XN-2
Authors: E. Camouzis, R. Devault, G. Papaschinopoulos
Venue: Proceedings of the international conference on Computational methods in sciences and engineering (2003)

Our aim in this paper is to investigate the boundedness, global stability and periodic character of solutions of the difference equation xn+1 = α + γxn-1 + δxn-2/Bxn - Dxn-2, n = 0,1..., where the parameters α, γ, δ, B, D and the initial conditions are nonegative real numbers and Bxn + Dxn-2 > 0 for all n.
Case study: new techniques in the design of healthcare facilities
Authors: Tarek Alameldin, Mardelle Shepley
Venue: Proceedings of the conference on Visualization '94 (1994)

The recent advent of computer graphics techniques has helped to bridge the gap between architectural concepts and actual buildings. Closing this gap is especially critical in healthcare facilities. In this paper, we present new techniques to support the design decision process and apply them to the design of a neonatal intensive care unit. Two issues are addressed: ergonometric accessibility and visual supervision of spaces. These two issues can be investigated utilizing new technologies that demonstrate that computers are more than a medium of communication in the field of architecture; the computer can make a significant contribution as a proactive design tool.
Stand and Deliver: Why I Hate Stand-Up Meetings
Authors: Phillip A Laplante
Venue: Queue (2003)

Stand-up meetings are an important component of the “whole team,” which is one of the fundamental practices of extreme programming (XP). According to the Extreme Programming Web site, the stand-up meeting is one part of the rules and practices of extreme programming: “Communication among the entire team is the purpose of the stand-up meeting. They should take place every morning in order to communicate problems, solutions, and promote team focus. The idea is that everyone stands up in a circle in order to avoid long discussions. It is more efficient to have one short meeting that everyone is required to attend than many meetings with a few developers each.” [1]