ppxscal/embedding_network huggingface dataset:
Unfolding probabilistic data-flow graphs under different timing models
Authors: S. Tongsima
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

It is known that in many applications, because of selection statements, e.g., if-statement, the computation time of a node can be represented by a random variable. This paper focuses on any iterative application (containing loops) reflecting those uncertainties. Such an application can then be transformed to a probabilistic data-flow graph. A challenging problem is to derive graph transformation techniques which can produce a good schedule. This paper introduces two timing models, the time-invariant and time-variant models, to characterize the nature of these applications. Furthermore, for the time-invariant model, we propose a means of selecting a minimum rate-optimal unfolding factor which guarantees the best schedule length. We also propose a good estimation for choosing an unfolding factor for a graph under the time-variant model.
Extending the windows desktop interface with connected handheld computers
Authors: Brad A. Myers, Robert C. Miller, Benjamin Bostwick, Carl Evankovich
Venue: Proceedings of the 4th conference on USENIX Windows Systems Symposium - Volume 4 (2000)

Increasingly, people will be in situations where there are multiple communicating computing devices that have input / output capabilities. For example, people might carry their handheld computer, such as a Windows CE device or a Palm Pilot, into a room with a desktop or an embedded computer. The handheld computer can communicate with the PC using wired or wireless technologies, and then both computers can be used at the same time. We are investigating many ways in which the handheld computer can be used to extend the functions of existing and new applications. For example, the handheld's screen can be used as a customizable input and output device, to provide various controls for desktop applications. The handheld can contain scroll bars, buttons, virtual knobs and menus. It can also display the slide notes or a list of slide titles for a presentation, the list of current tasks and windows, and lists of links for web browsing. The user can tap on these lists on the handheld to control the PC. Information and control can flow fluidly among all the user's devices, so that there is an integrated environment.
Secure Multipath Routing Protocol for Wireless Sensor Networks
Authors: Nidal Nasser, Yunfeng Chen
Venue: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (2007)

One important issue when designing Wireless Sensor Network (WSN) is the routing protocol that makes the best use of the severely limited resource presented by WSN, especially the energy limitation. Another import factor required attention from researchers is providing as much security to the application as possible. In this paper, we propose a new routing protocol called SEER: Secure and Energy- Efficient multipath Routing protocol. SEER uses multipath alternately as the path for communicating between two nodes thus prolong the lifetime of the network. On the other hand, SEER is effectively resistive to some specific attacks that have the character of pulling all traffic through the malicious nodes by advertising an attractive route to the destination. The performance of our protocol is compared to the Directed Diffusion protocol. Simulation results show that our protocol surpasses the Directed Diffusion protocol in terms of throughput, control overhead and network lifetime.
Supporting OO Design Heuristics
Authors: Neville Churcher, Sarah Frater, Cong Phuoc Huynh, Warwick Irwin
Venue: Proceedings of the 2007 Australian Software Engineering Conference (2007)

Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purposes such as identification of favourable regions of design space. Some heuristics in software engineering can be expressed in high-level abstract terms while others are more specific. Heuristics tend to be couched in terms which make them hard to automate. In our previous work we have developed robust semantic models of software in order to support the computation of metrics and the construction of visualisations which allow their interpretation by developers. In this paper, we show how software engineering heuristics can be supported by a semantic model infrastructure. Examples from our current work illustrate the value of combining the rigour of a semantic model with the human mental models associated with heuristics.
Large Scale Distributed Disaster Information System Based on Nation-Wide Highspeed Network
Authors: Hiroyuki Echigo Yoshitaka Shibata, Hiroaki Yuze, Tsuyoshi Hoshikawa, Kazuo Takahata, Nobuhiro Sawano
Venue: Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems (2007)

In this paper, a robust and large scale resident-oriented safety information system on the occurrence of the various disasters constructed over a nation-wide high-speed network is introduced. The evacuated residents can register their safety information to the local safety information servers in the evacuation area whether they can safely evaluated or not using mobile PCs or terminals at the evacuation place or mobile terminals on the way of evacuation. All of the local information servers are connected each other by wireless network and the safety information can be sent an upper-layer database in the district area and finally integrated into a district safety information in that region. In our system some of the damaged local servers due to the disaster can be detected and recovered by the upper-layer database server. On the other hand, the upperlayer database servers are backed up by mirror servers located at mutually different locations with long distance to isolate the influence of the same disaster when the some of them were destroyed or disordered. Thus, by introducing two levels of redundancy and backup functions, more large scale and robust safety information database system can be realized.
Distributed web search efficiency by truncating results
Authors: Christopher T. Fallen, Gregory B. Newby
Venue: Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries (2007)

A large set of Web documents (the TREC GOV2 collection) comes from many separate Internet hosts, such as www.nih.gov and travel.state.gov. There is considerable variability in the number of Web pages (i.e., documents) from each host. In this paper, we present and evaluate a method for setting a maximum number of "hits" that may be presented for each web host. Federated search environments are increasingly common components of digital libraries and in these environments, the benefit of such a maximum is that it can reduce the number of possibly relevant documents presented by each subcollection, without hurting early precision measures such as P@20. Derivation of a maximum number, which is proportional to the subcollection size but not sensitive to different search topics, is made possible by an analysis of patterns of relevance judgment across approximately 17,000 web hosts in GOV2.
Stronger Domain Name System Thwarts Root-Server Attacks
Authors: George Lawton
Venue: Computer (2007)

Domain Name System security measures and quick, coordinated responses by Internet engineers are helping to make distributed denial-of-service attacks less effective.
Evolutionary algorithm for speech segmentation
Authors: D. H. Milone, J. J. Merelo, H. L. Rufiner
Venue: Proceedings of the Evolutionary Computation on 2002. CEC '02. Proceedings of the 2002 Congress - Volume 02 (2002)

Speech segmentation is one of the problems in the speech processing area. The main techniques that attempt to solve it are manual segmentation and hidden Markov model alignment. In this work a new technique based on an evolutionary algorithm that permits to segment the speech without a previous training process is presented.
Jifclipse: development tools for security-typed languages
Authors: Boniface Hicks, Dave King, Patrick McDaniel
Venue: Proceedings of the 2007 workshop on Programming languages and analysis for security (2007)

Security-typed languages such as Jif require the programmer to label variables with information flow security policies as part of application development. The compiler then flags errors wherever information leaks may occur. Resolving these information leaks is a critical task in security-typed language application development. Unfortunately, because information flows can be quite subtle, simple error messages tend to be insufficient for finding and resolving the source of information leaks; more sophisticated development tools are needed for this task. To this end we provide a set of principles to guide the development of such tools. Furthermore, we implement a subset of these principles in an integrated development environment (IDE) for Jif, called Jifclipse, which is built on the Eclipse extensible development platform. Our plug-in provides a Jif programmer with additional tools to view hidden information generated by a Jif compilation, to suggest fixes for errors, and to get more specific information behind an error message. Better development tools are essential for making security-typed application development practical; Jifclipse is a first step in this process
Affordances, effectivities, and assisted imitation: Caregivers and the directing of attention
Authors: Patricia Zukow-Goldring, Michael A. Arbib
Venue: Neurocomputing (2007)

We focus on how infants' discovery of a range of affordances and effectivities contributes to participating in a new activity. We emphasize how caregivers bracket ongoing actions with gestures that direct the infant's attention to perceptual information embodied in action sequences. Such supervised learning narrows the search space and enhances the speed of engaging adeptly in a new activity and provides a basis for achieving a common understanding of ongoing events. These caregiver practices during assisted imitation may illuminate how automata might detect and learn new affordances for action by observing and interacting with other intelligent agents.
From transfer to transformation: towards a framework for successful dissemination of engineering education
Authors: S. Fincher
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

The article describes a framework for successful dissemination of disciplinary-specific education expertise, and illustrates its use with examples from project EPCoS (Effective Projectwork in Computer Science) (http://www.cs.ukc.ac.uk/national/EPCOS). Project EPCoS was funded from 1996-1999 by the UK Fund for Development in Teaching and Learning to: identify, make explicit and systematize existing best practices in computer science student project methods and techniques; to realise techniques for transferring project work practices between institutions; and to execute and evaluate such transfers.
An Approach for Real-Time Database Modeling and Performance Management
Authors: Jisu Oh, Kyoung-Don Kang
Venue: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium (2007)

It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target tracking. Feedback control has recently been considered a promising approach to enabling reliable real-time data service. However, most existing work on feedback control of RTDB performance is not based on a RTDB-specific control model, which is critical for closed-loop system design. To address this problem, we design a novel RTDB model that can capture RTDB dynamics by modeling the relation between the total arrival rate (sum of the transaction arrival rate and restart rate) and utilization via a difference equation. Based on the model, we design and tune a utilization controller to compute the total arrival rate adjustment needed to support the desired average/transient utilization. We also design a QoS management scheme and admission control technique that can judiciously adapt the transaction QoS and arrival rate in a RTDB, if necessary, to support the desired utilization, while enhancing the success ratio. In a simulation study, we show that our approach can support the desired average/transient utilization for a range of transaction arrival rates under severe data contention, while considerably improving the success ratio compared to the tested baselines.
Design of a Scalable Peer-to-Peer Information System Using the GT4 Index Service
Authors: Shishir Bharathi, Ann Chervenak
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

Grid applications need efficient access to information about available resources and services. Typically, this access is provided by information services that are often organized as hierarchical systems for better scalability and performance. As the number of types and instances of information services increases, it has become challenging to set up these hierarchies efficiently. We describe the design and implementation of an information system that forwards queries among GT4 Index Services using an unstructured peer-to-peer overlay network. Our initial measurements show that the performance of the peerto- peer system scales better than a centralized Index Service. We also discuss simple optimizations that can significantly improve system performance.
On H/sup /spl infin// optimal signal reconstruction in noisy filter banks
Authors: H. Vikalo
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

We study the design of synthesis filters in noisy filter bank systems using an H/sup /spl infin// point of view. For unitary analysis polyphase matrices we obtain an explicit expression for the minimum achievable disturbance attenuation. Numerical examples and comparisons with existing methods are also included.
Ontology-supported FAQ processing and ranking techniques
Authors: Sheng-Yuan Yang, Fang-Chen Chuang, Cheng-Seen Ho
Venue: Journal of Intelligent Information Systems (2007)

This paper describes an FAQ system on the Personal Computer (PC) domain, which employs ontology as the key technique to pre-process FAQs and process user query. It is also equipped with an enhanced ranking technique to present retrieved, query-relevant results. Basically, the system bases on the wrapper technique to help clean, retrieve, and transform FAQ information collected from a heterogeneous environment and stores it in an ontological database. During retrieval of FAQs, the system trims irrelevant query keywords, employs either full keywords match or partial keywords match to retrieve FAQs, and removes conflicting FAQs before turning the final results to the user. Ontology plays the key role in all the above activities. To produce a more effective presentation of the search results, the system employs an enhanced ranking technique, which includes Appearance Probability, Satisfaction Value, Compatibility Value, and Statistic Similarity Value as four measures properly weighted to rank the FAQs. Our experiments show the system does improve precision rate and produces better ranking results. The proposed FAQ system manifests the following interesting features. First, the ontology-supported FAQ extraction from webpages can clean FAQ information by removing redundant data, restore missing data, and resolve inconsistent data. Second, the FAQs are stored in an ontology-directed internal format, which supports semantics-constrained retrieval of FAQs. Third, the ontology-supported natural language processing of user query helps pinpoint user's intent. Finally, the partial keywords match-based ranking method helps present user-most-wanted, conflict-free FAQ solutions for the user.
Reasoning about XML update constraints
Authors: Bogdan Cautis, Serge Abiteboul, Tova Milo
Venue: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007)

We introduce in this paper a class of constraints for describing howan XML document can evolve, namely XML update constraints. For these constraints, we study the implication problem, giving algorithms and complexity results for constraints of varying expressive power. Besides classical constraint implication, we also consider an instance-based approach. More precisely, we study implication with respect to a current tree instance, resulting from a series of unknown updates. The main motivation of our work is reasoning about data integrity under update restrictions in contexts where owners may lose control over their data, such as in publishing or exchange.
Implementation and performance of application-controlled file caching
Authors: Pei Cao, Edward W. Felten, Kai Li
Venue: Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation (1994)

Traditional file system implementations do not allow applications to control file caching replacement decisions. We have implemented two-level replacement, a scheme that allows applications to control their own cache replacement, while letting the kernel control the allocation of cache space among processes. We designed an interface to let applications exert control on replacement via a set of directives to the kernel. This is effective and requires low overhead. We demonstrate that for applications that do not perform well under traditional caching policies, the combination of good application-chosen replacement strategies, and our kernel allocation policy LRU-SP, can reduce the number of block I/Os by up to 80%, and can reduce the elapsed time by up to 45%. We also show that LRU-SP is crucial to the performance improvement for multiple concurrent applications: LRU-SP fairly distributes cache blocks and offers protection against foolish applications.
Gauss-Vaníček and Fourier Transform Spectral Analyses of Marine Diversity
Authors: James L. Cornette
Venue: Computing in Science and Engineering (2007)

The author compares Gauss-Vaníček analysis of historical marine diversity data with a Fourier transform spectral analysis. Somewhat surprisingly, the results show that the two techniques are equivalent.
A method for asynchronous, web-based lecture delivery
Authors: R. Almeida Bittencourt
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

Computer-based distance education has been growing enormously in recent years due to advances in key technologies: telecommunications, computer technology, graphical user interfaces, and the Internet. Distance education materials can be presented either synchronously, creating the illusion of a classroom on the computer, or asynchronously, allowing the students access-on-demand. We describe the development of a system to solve part of the asynchronous education problem-delivery of pre-recorded multimedia lectures via a web browser. We built a demonstration system using off-the-shelf technology making it possible to make presentations using commercial tools and to display them on standard systems. We designed the system with lectures composed of "slides" accompanied by audio commentary. These presentations can be delivered via low-speed modem links-an important consideration in places without a well-developed infrastructure. We also believe that computer-based education is often so complicated to use that operation interferes with education. In order to avoid this, we evaluated a prototype system to obtain feedback about difficulties in operation and to correct them.
An investigation of factors affecting technology acceptance and use decisions by Australian allied health therapists
Authors: Louise K. Schaper, Graham P. Pervan
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

The research reported in this paper describes the development, empirical validation and analysis of a model of technology acceptance by Australian occupational therapists. The study described involved the collection of quantitative data through a national survey, with over 2000 responses and a longitudinal case study within the community health sector. Results provide qualitative and quantitative support for the proposed model and demonstrate the inadequacy of traditional models of technology acceptance when applied to the health sector. This work extends technology acceptance studies into new realms of the health sector and highlights the need for a broadening of health IT research, and particularly technology acceptance studies, to encompass a more holistic and inclusive view of those who work in healthcare in order to gain a greater understanding of its complexities and how IS implementation success can be enhanced in this arena.
A study of the application of emerging technology: teacher and student perceptions of the impact of one-to-one laptop computer access
Authors: Raymond L. Calabrese
Venue:  (2006)

The purpose of this study was to describe and identify Sedgwick High School's teacher and student perceptions of the impact of one-to-one laptop computer access using an appreciative inquiry theoretical research perspective and the theoretical frameworks of change and paradigm shift. An appreciative inquiry theoretical research perspective was used to structure a qualitative, embedded descriptive case study design. An embedded case study design was used to describe the perceptions of high school teachers and their students who were involved in a one-to-one laptop computer wireless environment on student learning and how teachers teach. Data were collected through teacher and student focus groups, as well as administration of the Left-Hand Right-Hand Column Case Method. Data were analyzed using the comparative analysis matrix method (Miles Huberman, 1994). The analyzed data revealed six salient findings: (1) Students functioned in the capacity of teacher, (2) technology changed the way teachers and students communicated, (3) the culture of the classroom dynamics between teacher and student changed, (4) technology made learning enjoyable for students, (5) teachers and students believed immersion in a technology-rich learning environment created advantages for student success after high school graduation, and (6) teachers believed that access to ubiquitous technology created new challenges for maintaining student engagement in the learning process. Five of the six findings suggested that technology had changed teaching and learning, and helped to create a paradigm shift in the teacher and student roles. Additionally, those findings also identified the positive core of Sedgwick High School, serving to describe the life giving forces within the organization. One of the six findings revealed challenges associated with the application of emerging technology in the classroom. The findings from this study have the potential to contribute to areas of study that focus on the use of technology in schools. Moreover, research from this study has the potential to help serve as a foundation for other school leaders who are seeking opportunities that prepare students for life in the technology-rich 21st Century through one-to-one laptop computer access.