ppxscal/embedding_network huggingface dataset:
Discovering Frequent Arrangements of Temporal Intervals
Authors: Panagiotis Papapetrou, George Kollios, Stan Sclaroff, Dimitrios Gunopulos
Venue: Proceedings of the Fifth IEEE International Conference on Data Mining (2005)

In this paper we study a new problem in temporal pattern mining: discovering frequent arrangements of temporal intervals. We assume that the database consists of sequences of events, where an event occurs during a time-interval. The goal is to mine arrangements of event intervals that appear frequently in the database. There are many applications where these type of patterns can be useful, including data network, scientific, and financial applications. Efficient methods to find frequent arrangements of temporal intervals using both breadth first and depth first search techniques are described. The performance of the proposed algorithms is evaluated and compared with other approaches on real datasets (American Sign Language streams and network data) and large synthetic datasets.
Checking consistency of C and Verilog using predicate abstraction and induction
Authors: Daniel Kroening, Edmund Clarke
Venue: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design (2004)

It is common practice to write C models of circuits due to the greater simulation efficiency. Once the C program satisfies the requirements, the circuit is designed in a hardware description language (HDL) such as Verilog. It is therefore highly desirable to automatically perform a correspondence check between the C model and a circuit given in HDL. We present an algorithm that checks consistency between an ANSI-C program and a circuit given in Verilog using predicate abstraction. The algorithm exploits the fact that the C program and the circuit share many basic predicates. In contrast to existing tools that perform predicate abstraction, our approach is SAT-based and allows all ANSI-C and Verilog operators in the predicates. We report experimental results on an out-of-order RISC processor. We compare the performance of the new technique to bounded model checking (BMC).
Secure knowledge management and the semantic web
Authors: JinKyu Lee, Shambhu J. Upadhyaya, H. Raghav Rao, Raj Sharman
Venue: Communications of the ACM (2005)

Strengthening security within the domain of shared knowledge is a critical issue, and great challenge, to businesses today. A number of different protocols currently available offer an array of benefits and limitations.
Implementing touchme paradigm with a mobile phone
Authors: Lauri Pohjanheimo, Heikki Keränen, Heikki Ailisto
Venue: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies (2005)

In earlier papers, the concept of Physical Browsing has been suggested as a natural way to improve the usability of mobile devices and to enable interaction with digital services associated with real world objects in the environment. Since mobile phones are very widely used, it offers a good platform for pervasive applications. In this paper, we realize the Physical Browsing concept using an RFID-reader. With the reader attached to the mobile phone, we invoke digital services embedded in the environment. The implementation of the software needed for ubiquitous use of physical browsing is presented and the feasibility is demonstrated with four concrete examples.
Robust Skew Detection in mixed Text/Graphics Documents
Authors: Adnan Amin, Sue Wu
Venue: Proceedings of the Eighth International Conference on Document Analysis and Recognition (2005)

Document image processing has become an increasingly important technology in the automation of office documentation tasks. Automatic document scanners such as text readers and OCR (Optical Character Recognition) systems are an essential component of systems capable of those tasks. One of the problems in this field is that the document to be read is not always placed correctly on a flat-bed scanner. This means that the document may be skewed on the scanner bed, resulting in a skewed image. This skew has a detrimental effect on document analysis, document understanding, and character segmentation and recognition. Consequently, detecting the skew of a document image and correcting it are important issues in realizing a practical document reader. The proposed skew detection algorithm has no restriction on detectable angle range and does not rely on large blocks of text. It works well on textual document images, graphical images and mixed text and graphic images. The performance of the systems was evaluated using over 60 images that consist of real life documents like envelopes and artificial mixed text/graphic icons. The skew detection algorithm is robust when compared with other methods when very few text lines are present in the document image.
Serially Concatenated LDPC and Turbo Code with Global Iteration
Authors: Sang Hoon Lee, Ji Ae Seok, Eon Kyeong Joo
Venue: Proceedings of the 18th International Conference on Systems Engineering (2005)

LDPC (low density parity check) code shows good performance at high SNR (signal to noise ratio), but turbo code shows better performance than LDPC code at low SNR. So serially concatenated LDPC and turbo code can be a good choice to get good performance at both low and high SNR region. Since both LDPC and turbo code use iterative decoding algorithms, global as well as local iteration is possible. Thus, the performance of serially concatenated LDPC and turbo code with global iteration is analyzed in this paper.
Simulation of scheduling methods for operating systems
Authors: Edward L. Lamie
Venue: ACM SIGSIM Simulation Digest (1977)

One of the criticisms leveled against GPSS is that it is too "general purpose" to be of much value in certain specialized areas. This criticism has also been applied to the modeling of operating systems and some individuals have discounted the value of GPSS in this area because of the mistaken belief that it is not possible to change the priority of an inactive transaction.
From the chair
Authors: Janice C. Sipior, Diane Lending
Venue: ACM SIGMIS Database (2005)

A warm invitation is extended to you and your invited guests to attend "The Fifth Annual ACM-SIGMIS Reception," to be held as an ACM-SIGMIS event prior to the International Conference on Information Systems (ICIS2005) in Las Vegas, NV USA, December 11 - 14, 2005. Light refreshments will be served. Where: International Conference on Information Systems (ICIS2005) Las Vegas, NV USA, The Venetian Hotel, Casanova Room 606 When: 5:30 to 7:00 pm, Saturday, December 10, 2005 Who: All ACM-SIGMIS members and their invited guests are welcomeThe SIGMIS CPR'06 Conference will be held April 13-15, 2006 in Claremont, CA USA. The theme of this year's conference is "Forty Four Years of Computer Personnel Research: Achievements, Challenges and the Future." Please plan to attend. More information can be found at: http://www.acm.org/sigmis/conferences.htmlPlease consider hosting a future SIGMIS CPR (Computer Personnel Research) Conference. We are currently accepting Calls For Proposals for the SIGMIS CPR'08 Conference. Let's make the SIGMIS CPR Conference a continuing success! If you are interested, please email me (janice.sipior@villanova.edu) to briefly provide insight about your interest, potential locations, potential conference committee members, potential themes if you have any, and any other relevant information.
Perceptions of leadership among high school students: simulation versus face-to-face environments
Authors: Scott W. Brown
Venue:  (2005)

Most everyone can think of a leader, whether in the political, entertainment, or other realm, and the general public seems to know a great deal about the lives of these leaders. Feelings and actions for leaders are often intense: people love and loathe, praise and blame, live and die for, and follow and abandon their leaders. Despite such intensity of feelings for and depth of knowledge about leaders, Burns (1978) indicates that there exists a severe lack of knowledge about leadership. This study examined perceptions of leadership in a problem-based learning environment. Set in the GlobalEd Project, an international negotiations simulation, students played the role of a country and, within that country, were assigned an issue area, such as human rights. As students collaborated within their classroom setting and across classrooms through synchronous and asynchronous communication, leaders emerged within and across countries. This study examined the perceptions of leadership traits across mediums in face-to-face (F2F) and computer-mediated communication (CMC) environments, across time over the course of a five week simulation, and across gender groupings of all male, all female, or mixed-gender groups. Results indicated that leadership attributes did not vary across contexts, but the intensity by which they were assessed varied across contexts. Leadership attributes were significantly different over time and differed significantly according to the gender group in which the students participated.
Towards Understanding of Multimedia Documents: A Trial of Picture Book Analysis and Generation
Authors: Momoko Yamamoto, Kyoko Hikino, Sayako Kijima, Masahito Hirakawa
Venue: Proceedings of the Seventh IEEE International Symposium on Multimedia (2005)

Computers are expected to be a tool for assisting people to enrich their everyday life. Computation performance was first augmented, followed by the improvement of communication capacity. It's time to provide computer capabilities to help people cultivate their intellectual faculties. Media research has been carried out for years. Researchers focused on utilizing media. What we should do now is to carefully analyze media itself, resulting in development of well-formed media for further success in media research. We are going to investigate how media convey the information and affect people - the way of their thinking. As a first step towards this goal, we propose in this paper the analysis and generation of picture books. A scheme of generating a picture from a text script is presented extensively.
Work function controllability of metal gates made by interdiffusing metal stacks with low and high work functions
Authors: T. Matsukawa, Y. X. Liu, M. Masahara, K. Ishii, K. Endo, H. Yamauchi, E. Sugimata, H. Takashima, T. Higashino, E. Suzuki, S. Kanemaru
Venue: Microelectronic Engineering (2005)

Work function (φ m) of metal transistor gates was controlled by using Al-Ni and Ni-Ta alloys made through an interdiffusion process, in which stacks of different metals were annealed. In addition to conventional capacitance-voltage measurements for φm evaluation, φm uniformity was also measured microscopically. The average φm of the Al-Ni alloy was successfully changed compared to that of pure Al by interdiffusion at 500°C. The φm nonuniformity of Al-Ni, however, was problematic. Though Ni-Ta alloys required interdiffusion at a higher temperature of 700°C, the Ni-Ta alloys had better φm uniformity. Thus, the Ni-Ta alloy is a more suitable candidate for use in metal gates of high-integrity transistors.
Integrating COTS Software into Systems through Instrumentation and Reasoning
Authors: Alexander Egyed, Robert Balzer
Venue: Automated Software Engineering (2006)

Commercial-off-the-shelf (COTS) software tends to be cheap, reliable, and functionally powerful due to its large user base. It has thus become highly desirable to incorporate COTS software into software products (systems) as it can significantly reduce development cost and effort, while maintaining overall software product quality and increasing product acceptance. However, incorporating COTS software into software products introduces new complexities that developers are currently ill equipped to handle. Most significantly, while COTS software frequently contains programmatic interfaces that allow other software components to obtain services from them on a direct call basis, they usually lack the ability to initiate interactions with other components. This often leads to problems of state and/or data inconsistency. This paper presents a framework for integrating COTS software as proactive components within a software system that maintain the consistency of the state and data they share with other components. The framework utilizes a combination of low-level instrumentation and high-level reasoning to expose the relevant internal activities within a COTS component required to initiate the communication needed to maintain consistency with the other components with which it shares state and data. We will illustrate these capabilities through the integration of IBM's Rational Rose into a design suite and demonstrate how our framework solves the complex data synchronization problems that arise from this integration.
Flash Memory Cell: Parametric Test Data Reconstruction for Process Monitoring
Authors: B. Saillet, J. M. Portal, D. Nee
Venue: Proceedings of the 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2005)

We present here a method to complement the number of process parameters at the Parametric Test (PT) of Flash memory. This method focuses on the reconstruction of Flash memory geometry parameters not directly available during Parametric Test (PT). This method is based on the use of a mathematical model generated with a "Design Of Simulation" (DOS) technique. The DOS uses Flash cell simulations results (for different geometries) and outputs, a polynomial equation of the threshold voltages. The parametric test improvement is realized in building complementary geometric distribution from the available measured parameters of the Flash Test Element Groups located in the scribe lines. The geometric distributions are obtained from the mathematical model and do not need complementary measurements. Moreover the calculation is done off-line and does not require extra test time. With this method, widths and lengths distributions of the Flash memory cells are available after Parametric Test (PT).
Considering Reach in Tangible and Table Top Design
Authors: Aaron Toney, Bruce H. Thomas
Venue: Proceedings of the First IEEE International Workshop on Horizontal Interactive Human-Computer Systems (2006)

Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is used. Despite its impact to date tangible, table top, and user interface design have all largely overlooked reach as a design constraint. As a result advancing the state of the art for tangible and table top designs requires rethinking existing designs to consider the repercussions of reach, and starting to formally consider reach as part of our designs process. Designing in consideration of reach will allow for more usable tables, applications supporting diverse environments, and user interfaces which are optimally scaled to their current set of users.
Using XML and XACML to Support Attribute Based Delegation
Authors: Chunxiao Ye, Zhongfu Wu
Venue: Proceedings of the The Fifth International Conference on Computer and Information Technology (2005)

This paper proposes an Attribute-Based- Delegation-Model (ABDM) with an extended delegation condition consisting of both delegation attribute expression (DAE) and prerequisite condition. In ABDM, a delegatee must satisfy delegation condition (especially DAE) when assigned to a delegation role. With delegation condition, ABDM relieves delegator and security administrator of security management work in delegation. To implement ABDM, we use XML to describe user, permission, role, delegation constraint, prerequisite condition and user's attribute expression, and XACML to describe DAEs of permissions and roles respectively. Also, we propose an extended data-flow model based on XML and XACML to show how ABDM works.
Ambient functionality
Authors: Pekka Silvennoinen
Venue: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies (2005)

The motivation for this session is based on a vision of a future where there will be a number, however large, of processors integrated into artefacts in our environment. These objects will have an identity, an IP address of their own, or at least a tag attached to them, so that they can be activated and enabled to receive and transmit RF signals carrying information on their state, behaviour and location. The sensors will communicate autonomously. This is an era in which wireless internet will connect objects rather than just people. 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
Global Clock Synchronization in Sensor Networks
Authors: Qun Li, Daniela Rus
Venue: IEEE Transactions on Computers (2006)

Global synchronization is important for many sensor network applications that require precise mapping of collected sensor data with the time of the events, for example, in tracking and surveillance. It also plays an important role in energy conservation in MAC layer protocols. This paper describes four methods to achieve global synchronization in a sensor network: a node-based approach, a hierarchical cluster-based method, a diffusion-based method, and a fault-tolerant diffusion-based method. The diffusion-based protocol is fully localized. We present two implementations of the diffusion-based protocol for synchronous and asynchronous systems and prove its convergence. Finally, we show that, by imposing some constraints on the sensor network, global clock synchronization can be achieved in the presence of malicious nodes that exhibit Byzantine failures.
A learning automata based algorithm for optimization of continuous complex functions
Authors: Xianyi Zeng, Zeyi Liu
Venue: Information Sciences: an International Journal (2005)

This paper presents a new method for optimizing continuous complex functions based on a learning automaton. This method can be considered as active learning permitting to select on-line the most significant data samples in order to quickly converge to a quasi global optimum of the functions to be optimized with a fewer number of tests or calculations. Like other stochastic optimization algorithms, it aims at finding a compromise between exploitation and exploration, i.e. converging to the nearest local optima and exploring the function behavior in order to discover global optimal regions. During the optimization procedure, this method enhances local search in interesting regions or intervals and reduces the whole searching space by removing useless regions or intervals.
Grid-Based PDE.Mart: A PDE-Oriented PSE for Grid Computing
Authors: Guoyong Mao, Mo Mu, Wu Zhang, Xiaobin Zhang
Venue: Proceedings of the First International Conference on e-Science and Grid Computing (2005)

We investigate the migration of network-based PDE.Mart to the grid platform. The grid architecture of PDE.Mart is presented. Grid-based PDE.Mart is a service-oriented system, and is implemented based on Apache AXIS and Tomcat web service server. Implementation issues are discussed in detail.
A Comparison of Two Programming Models for Pervasive Computing
Authors: Hen-I Yang, Erwin Jansen, Sumi Helal
Venue: Proceedings of the International Symposium on Applications on Internet Workshops (2006)

Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platform for interoperability. Two different models, namely, the context-driven model and the service-oriented model, have been proposed and studied for their feasibilities as the foundation for implementing programmable pervasive spaces. We present these two alternatives and contrast their advantages and disadvantages.
Audio Scene Analysis as a Control System for Hearing Aids
Authors: Marie Roch, Tong Huang, Jing Liu, Richard R. Hurtig
Venue: Proceedings of the Seventh IEEE International Symposium on Multimedia (2005)

It is well known that simple amplification cannot help many hearing-impaired listeners. As a consequence of this, numerous signal enhancement algorithms have been proposed for digital hearing aids. Many of these algorithms are only effective in certain environments. The ability to quickly and correctly detect elements of the auditory scene can permit the selection/parameterization of enhancement algorithms from a library of available routines. In this work, the authors examine the real time parameterization of a frequency-domain compression algorithm which preserves formant ratios and thus enhances speech understanding for some individuals with severe sensorineural hearing loss in the 2-3 kHz range. The optimal compression ratio is dependent upon qualities of the acoustical signal. We briefly review the frequency-compression technology and describe a Gaussian mixture model classifier which can dynamically set the frequency compression ratio according to broad acoustic categories which we call cohorts. We discuss the results of a prototype simulator which has been implemented on a general purpose computer.
Code security analysis with assertions
Authors: Jan Jürjens, Mark Yampolskiy
Venue: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005)

Designing and implementing cryptographic protocols is known to be difficult. A lot of research has been devoted to develop formal techniques to analyze abstract designs of cryptographic protocols. Less attention has been paid to the verification of implementation-relevant aspects of cryptographic protocols. This is an important challenge since it is non-trivial to securely implement secure designs, because a specification by its nature is more abstract than the corresponding implementation, and the additional information may introduce attacks not present on the design level. We propose an approach to determine security goals provided by a protocol implementation based on control flow graphs and automated theorem provers for first-order logic. More specifically, here we explain how to make use of assertions in the source code for a practical and efficient security analysis.
Automatic Test Programs Generation Driven by Internal Performance Counters
Authors: W. Lindsay, E. Sanchez, M. Sonza Reorda, G. Squillero
Venue: Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (2004)

In the past performance counters have been available to top-end microprocessors as hardware luxuries for profiling critical applications. Today, on the contrary, several desktop microprocessors contain hardware support for monitoring performance events. This paper proposes a new approach to automatic test program generation that exploits such hardware to monitor specific micro-architectural events. In the approach, the generation tool repeatedly evaluates and improves candidate programs directly running on the target microprocessor: candidate programs are not "simulated", but rather "executed". The fast evaluation of candidate tests enables the use of an automatic methodology even on large designs. As a case study, an experiment targeting the Intel® Pentium® 4 microprocessor is reported.