ppxscal/embedding_network huggingface dataset:
Leveraging a better interface language to simplify adaptation
Authors: Joshua Introne, Richard Alterman
Venue: Proceedings of the 9th international conference on Intelligent user interfaces (2004)

We describe an approach to building adaptive groupware systems. This approach encompasses a methodology that reduces the complexity of inferring user intent by identifying a domain-specific interface language that both supports the user's maintenance of common ground, and can be used to drive an adaptive component.Our approach can be framed as follows: 1) Users of same-time different-place collaborative systems must exchange certain types coordination specific information; 2) We can facilitate the exchange and management of this information by introducing special purpose interface components, which we call Coordinating Representations, that structure these communications; 3) Information that is collected through these interface components is particularly well suited to driving intent inferencing procedures; and 4) Intent inference can be used to drive adaptive components that support the collaborative activity.We discuss empirical results from two experiments that validate this methodology.
Proceedings of the eleventh ACM international conference on Multimedia
Venue: International Multimedia Conference (2003)

Welcome to the Eleventh ACM International Conference on Multimedia (MM'03), the premier technical conference on multimedia applications, content, and systems. MM'03 is richer in many respects than most technical meetings as it represents a careful blend of science, technology, and arts.The technical program achieves a balance between theory and practice, academia and industry, as well as applications, content, and systems research. Over 255 individual authors and teams from 25 countries and 4 continents submitted technical papers to the conference. Approximately 40% of the submissions came from North America, 20% from Europe, and 30% from Asia. These submissions were partitioned into three tracks: Applications (74 submission), Content (100 submissions), and Systems (81 submissions). Three program committee members reviewed each submission. Additional reviews from experts outside the program committee were obtained for several submissions. The program committee met in June at the IBM T.J. Watson Research Center to discuss the submissions and select the papers to be presented at the conference. The review process culminated in the acceptance of 43 papers (10 papers in the Applications track, 19 papers in the Content track, and 14 papers in the Systems track) with a total acceptance rate of 17%. Each selected submission was assigned a shepherd. Authors were encouraged to reviewer comments with their shepherds and revise the paper accordingly. The shepherds approved the final versions of the paper; you are seeing the result of this hard work! Everyone owes thanks to the program committee and the shepherds for their important contributions. We also owe the program committee chairs, specifically Thomas Plagemann, Prashant Shenoy, and John R. Smith our gratitude for a difficult job, well done.The conference program also includes tutorials, workshops, demonstrations, posters, and video demonstrations. The demonstrations, posters, and video submissions were also reviewed. Again, the many reviewers, listed elsewhere in these proceedings, did an outstanding job. We are excited about the breadth and depth of the multimedia program.A doctoral symposium is being held for the fourth year. This program, which occurs at the end of the technical program Thursday afternoon, allows students engaged in dissertation research to present their work to the public. Everyone who has participated in these sessions in the past, particularly faculty and researchers from industry, has responded positively to the experience. Those of you in academia know that PhD qualifying or preliminary exams, however they are called, are an enjoyable experience because you get to talk about research and innovative ideas rather than fight bureaucracies or grade piles of exams. We strongly encourage people interested in new ideas and research to attend, particularly those of you thinking about hiring faculty and researchers in the future.
Tele-lab IT security: an architecture for interactive lessons for security education
Authors: Ji Hu, Christoph Meinel, Michael Schmitt
Venue: ACM SIGCSE Bulletin (2004)

IT security education is an important activity in computer science education. The broad range of existing security threats makes it necessary to teach students the principles of IT security as well as to let them gain hands-on experience. In order to enable students to practice IT security anytime anywhere, a novel tutoring system is being developed at the University of Trier, Germany, which allows them to get familiar with security technologies and tools via the Internet. Based on virtual machine technology, users are able to perform exercises on a Linux system instead of in a restricted simulation environment. This paper describes the user interface of the Tele-Lab IT Security, its system architecture and its functional components.
Report from the ICSE workshop: bridging the gaps between software engineering and human-computer interaction
Authors: Rick Kazman
Venue: ACM SIGSOFT Software Engineering Notes (2003)

The First International Workshop on the Relationships between Software Engineering and Human-Computer Interaction was held on May 3--4, 2003 as part of the 2003 International Conference on Software Engineering, in Portland, OR, U.S.A. This workshop was motivated by a perception among researchers, practitioners, and educators that the fields of Human-Computer Interaction and Software Engineering were largely ignoring each other and that they needed to work together more closely and to understand each other better. This report describes the motivation, goals, organization, and outputs of the workshop and the significant activity that it has subsequently fostered.
Extensions to SNOBOL4 in the SNOBAT implementation
Authors: Stefan M. Silverston
Venue: ACM SIGPLAN Notices (1977)

SNOBAT is a batch processor for the SNOBOL4 language, developed by the author for the IBM 360. The latest version of SNOBAT, Version 1.9, was released in June, 1976.SNOBAT incorporates a number of extensions to the standard version of SNOBOL4, as set forth by Griswold, Poage, and Polonsky (1). These extensions are described here, and the motivations for their inclusion in SNOBAT are discussed. Some of them are original with the author and his associates, to the best of his knowledge, while some were first suggested by others, as noted. A detailed exposition of SNOBAT extensions to SNOBOL4 appears in the SNOBAT 1.9 Manual (2).
Automated-generating test case using UML statechart diagrams
Authors: Supaporn Kansomkeat, Wanchai Rivepiboon
Venue: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology (2003)

Software testing plays a major role in software development because it accounts for a large part of the development cost. Moreover, manual testing technique always makes a problem. Consequently, this paper proposes the automatic testing technique to solve partially the testing process. This technique can automatically generate and select test cases from UML statechart diagrams. Firstly, we transform this diagram into intermediate diagram, called Testing Flow Graph (TFG), explicitly identify flows of UML statechart diagrams and enhance for testing. Secondly, from TFG we generate test case using the testing criteria that is the coverage of the state and transition of diagrams. Finally, the evaluation is performed using mutation analysis to assess the fault revealing power of our test cases.
Knowledge-based data mining
Authors: Sholom M. Weiss, Stephen J. Buckley, Shubir Kapoor, Søren Damgaard
Venue: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining (2003)

We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical decision rules or trees. Unlike the classical views of knowledge-base evaluation or refinement, our view accepts the contents of the knowledge base as completely correct. The knowledge base and the results of its stored cases will provide direction for the discovery of new relationships in the form of newly induced decision rules. An expert system called SEAS was built to discover sales leads for computer products and solutions. The system interviews executives by asking questions, and based on the responses, recommends products that may improve a business' operations. Leveraging this expert system, we record the results of the interviews and the program's recommendations. The very same data stored by the expert system is used to find new predictive rules. Among the potential advantages of this approach are (a) the capability to spot new sales trends and (b) the substitution of less expensive probabilistic rules that use database data instead of interviews.
Towards a UML profile for building on top of running software
Authors: Isabelle Mirbel, Violaine de Rivieres
Venue: UML and the unified process (2003)

Currently, fewer and fewer applications are developed from scratch. Therefore, with any development process, it is very important to determine during the analysis and design phases whether there are any applications that must be safeguarded and how this could be accomplished. Legacy applications, as well as Enterprise Resource Planning integration are typical examples of developments that deal with safeguarding. Indeed, safeguarding may be necessary for a specific piece of work involving the integration of new developments with different parts of running applications. To support such a difficult but fundamental task, we recommend a set of extensions through a UML profile. In this proposal, we highlight three aspects of safeguarding which have to be taken into account: the business expertise, the interfaces, and the code itself. We then present how this profile can be used along the different phases of analysis and design; applicable guidelines are provided to support software designers in their daily work.
Knowledge Conversion in Organizational Contexts: A Framework and Experiments
Authors: Hannu Kivijärvi
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 8 - Volume 8 (2004)

Knowledge is the capability to take action and the primary resource for all organizational transformations. It allows strategic decision making, the planning and control of organizational activities, the management of everyday business operations as well as our personal behaviour. Knowledge exists at various levels, not only at the personal level but also at group and organizational levels. Organizational knowledge is a special type of knowledge, collective understanding', that is valid in a specific organizational context.In this paper, we demonstrate an artificial (virtual, synthetic) environment for supporting organizational knowledge management and decision making. The purpose of the construction is to offer a context for complete knowledge creation. The proposed system is a complete artifact', a supportive environment in which knowledge accumulates and is shared, a system that is built to activate existing knowledge and to support the creation of valuable new knowledge in an organization.
Understanding packet delivery performance in dense wireless sensor networks
Authors: Jerry Zhao, Ramesh Govindan
Venue: Proceedings of the 1st international conference on Embedded networked sensor systems (2003)

Wireless sensor networks promise fine-grain monitoring in a wide variety of environments. Many of these environments (e.g., indoor environments or habitats) can be harsh for wireless communication. From a networking perspective, the most basic aspect of wireless communication is the packet delivery performance: the spatio-temporal characteristics of packet loss, and its environmental dependence. These factors will deeply impact the performance of data acquisition from these networks.In this paper, we report on a systematic medium-scale (up to sixty nodes) measurement of packet delivery in three different environments: an indoor office building, a habitat with moderate foliage, and an open parking lot. Our findings have interesting implications for the design and evaluation of routing and medium-access protocols for sensor networks.
Toward a coherent framework for the control of planar biped locomotion
Authors: Eric Richard Westervelt
Venue:  (2003)

Planar, underactuated, biped walkers form an important domain of application for hybrid dynamical systems. This dissertation presents the design of controllers that induce exponentially stable dynamic walking for general planar biped robots that have one degree of freedom greater than the number of available actuators during the single support phase. The within-step control action creates an attracting invariant set&mdash;a two-dimensional zero dynamics submanifold of the full hybrid model&mdash;whose restriction dynamics admits a scalar linear time invariant return map. Exponentially stable periodic orbits of the zero dynamics correspond to exponentially stabilizable orbits of the full model. Thus, walking controllers may be designed via the two-dimensional zero dynamics. A convenient parameterization of the hybrid zero dynamics is imposed through the choice of a class of output functions. Parameter optimization is used to tune the hybrid zero dynamics in order to achieve closed-loop, exponentially stable walking with low energy consumption, while meeting natural kinematic and dynamic constraints. Two additional control features are developed: (1) the ability to compose controllers that induce walking at a, fixed average walking rate to obtain walking at several, discrete average walking rates with guaranteed stability during the transitions; and (2) the ability to regulate the average walking rate to a continuum of values. The general theory developed in the dissertation is experimentally verified on a five-link prototype walker, consisting of a torso and two legs with knees.
Laxity Threshold Polling for Scalable Real-Time/Non-Real-Time Scheduling
Authors: Robert A. Lackman, Jian Xu
Venue: Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing (2003)

Minimum Laxity Threshold scheduling has been found by several authors to give a near optimal trade-off between soft-real-time loss rate due to expired deadline and non-real-time average delay. By varying the threshold of the scheduling algorithm the real-time/non-real-time quality of service trade-off may be adjusted. In this paper an approximation is proposed to minimum deadline threshold scheduling. By means of discrete event simulation the approximation is demonstrated to come close to minimum deadline threshold scheduling in its performance. This approximation has the advantage of giving better scalability than minimum laxity threshold. It also has the advantage of not requiring a single queue that must be scheduled so it is usable for distributed applications
Engineering high-performance legacy codes as CORBA components for problem-solving environments
Authors: M. Li, D. W. Walker, O. F. Rana, Y. Huang, P. T. Williams, R. C. Ward
Venue: Journal of Parallel and Distributed Computing (2003)

This paper describes techniques used to leverage high-performance legacy codes as CORBA components to a distributed problem-solving environment. It first briefly introduces the software architecture adopted by the environment. Then it presents a CORBA oriented wrapper generator (COWG) which can be used to automatically wrap high-performance legacy codes as CORBA components. Two legacy codes have been wrapped with COWG. One is an MPI-based molecular dynamic simulation (MDS) code, the other is a finite element-based computational fluid dynamics (CFD) code for simulating incompressible Navier-Stokes flows. Performance comparisons between runs of the MDS CORBA component and the original MDS legacy code on a cluster of workstations and on a parallel computer are also presented. Wrapped as CORBA components, these legacy codes can be reused in a distributed computing environment. The first case shows that high-performance can be maintained with the wrapped MDS component. The second case shows that a Web user can submit a task to the wrapped CFD component through a Web page without knowing the exact implementation of the component. In this way, a user's desktop computing environment can be extended to a high-performance computing environment using a cluster of workstations or a parallel computer.
Algebraic properties of processes for Local Action Systems
Authors: Nico Verlinden, Dirk Janssens
Venue: Mathematical Structures in Computer Science (2002)

Graph rewriting has been used extensively to model the behaviour of concurrent systems and to provide a formal semantics for them. In this paper, we investigate processes for Local Action Systems (LAS); LAS generalize several types of graph rewriting based on node replacement and embedding. An important difference between processes for Local Action Systems and the process notions that have been introduced for other systems, for example, Petri nets, is the presence of a component describing the embedding mechanism. The aim of the paper is to develop a methodology for dealing with this embedding mechanism: we introduce a suitable representation (a dynamic structure) for it, and then investigate the algebraic properties of this representation. This leads to a simple characterization of the configurations of a process and to a number of equational laws for dynamic structures. We illustrate the use of these laws by providing an equational proof of one of the basic results for LAS processes, namely that the construction yielding the result graph of a process behaves well with respect to the sequential composition of processes.
On multiindices and multivariables presentation of the Voigt functions
Authors: M. A. Pathan, M. Kamarujjama, M. Khursheed Alam
Venue: Journal of Computational and Applied Mathematics (2003)

This paper aims at presenting multiindices and multivariables study of the unified (or generalized) Voigt functions which play an important rôle in the several diverse field of physics such as astrophysical spectroscopy and the theory of neutron reactions. Some expressions (representations) of these functionl are given in terms of familiar special functions of multivariables. Further representations and series expansions involving multidimensional classical polynomials (Laguerre and Hermite) of mathematical physics are established.
Reliability studies of MOCVD TiSiN and EnCoRe Ta(N)/Ta
Authors: Zs. Tőkei, D. Kelleher, B. Mebarki, T. Mandrekar, S. Guggilla, K. Maex
Venue: Microelectronic Engineering (2003)

Passivated single damascene copper SiO2 damascene lines were evaluated in combination with TiSiN and Ta(N)/Ta diffusion barriers. Leakage current, breakdown and time-dependent dielectric breakdown properties were investigated on a wafer level basis for temperatures ranging between room temperature and 150 °C. It is found that the leakage performance of the wafers with a TiSiN barrier is better at room temperature, but at 150 °C the performance levels out with Ta(N)/Ta. Time-dependent dielectric breakdown measurements at 150 °C show that the lifetime of the interconnect is higher with the selected Ta(N)/Ta barrier than for TiSiN.
A Differential CMOS Current-Mode Variable Gain Amplifier with Digital dB-Linear Gain Control
Authors: Arun Ravindran, Eva Vidal, Seoung-Jae Yoo, Kishore Ramarao, Mohammed Ismail
Venue: Analog Integrated Circuits and Signal Processing (2004)

A novel CMOS variable gain amplifier operating on current signals with a dB-linear gain control is presented. The gain control is achieved by multiplying a digitally synthesized exponentially varying control current signal by a differential input signal in the current domain. A current amplifier at the output sets the gain to the desired level. Current-mode operation allows for a reduced supply voltage by minimizing the voltage swing at the low impedance nodes of the circuit. Multiple circuit realizations for various blocks are presented allowing for designs meeting different constraints. Experimental realization of the variable gain amplifier shows the validity of the presented approach.
Synthesis of fault-tolerant concurrent programs
Authors: Paul C. Attie, Anish Arora, E. Allen Emerson
Venue: ACM Transactions on Programming Languages and Systems (TOPLAS) (2004)

Methods for mechanically synthesizing concurrent programs from temporal logic specifications obviate the need to manually construct a program and compose a proof of its correctness. A serious drawback of extant synthesis methods, however, is that they produce concurrent programs for models of computation that are often unrealistic. In particular, these methods assume completely fault-free operation, that is, the programs they produce are fault-intolerant. In this paper, we show how to mechanically synthesize fault-tolerant concurrent programs for various fault classes. We illustrate our method by synthesizing fault-tolerant solutions to the mutual exclusion and barrier synchronization problems.
Proceedings of the 2003 ACM workshop on XML security
Venue: Workshop On XML Security (2003)

These proceedings contain the papers selected for presentation at the ACM Workshop on XML Security, held in conjunction with the 10th ACM Computer and Communications Security Conference, October 31, 2003, in Virginia (USA).In response to the call for papers, 16 papers were submitted to the workshop. These papers were evaluated on the basis of their significance, novelty, and technical quality. Each paper was reviewed by at least two members of the program committee. The program committee meeting was held electronically. Of the papers submitted, 12 were selected for presentation at the workshop. The workshop program also includes an invited talk by Frank Siebenlist.
Digital annotation of printed documents
Authors: Corsin Decurtins, Moira C. Norrie, Beat Signer
Venue: Proceedings of the twelfth international conference on Information and knowledge management (2003)

We present a general model and information server for the digital annotation of printed documents. The resulting annotation framework supports both informal and structured annotations as well as context-dependent services. A demonstrator application for mammography that features both enhanced writing and reading activities is described.
Episteme or practice? Differentiated communitarian structures in a biology laboratory
Authors: Frédéric Créplet, Olivier Dupouët, Emmanuelle Vaast
Venue: Communities and Technologies (2003)

This paper explores the different social structures coexisting within a biology laboratory. This work draws upon an empirical study and the results are analysed using the social network analysis toolbox. We evidence that actors form links between them in order to carry out cognitive activities. Depending on the content of this activity, resulting networks can take different shapes. When dealing with scientific knowledge, actors tend to form an epistemic community, whereas they form a community of practice when they seek to enhance their skills in setting experiments. Moreover, these two structures are connected by means of boundary objects and boundary spanners.