Sign In

Communications of the ACM

121 - 130 of 2,912 for bentley

An analysis of algorithms laboratory utilizing the maximum segment sum problem

This paper describes a laboratory/homework exercise, appropriate for the traditional CS 2 or Data Structures & Algorithms course (CS 7) [1], that gives students practice in analyzing algorithms to determine their asymptotic running times as well as in recognizing the relationship between an algorithm's asymptotic running time and the execution time of a program implementing it. The exercise utilizes the maximum segment sum problem, which, we argue, is a good alternative to sorting, the problem that is probably most often used in exercises of this kind.

Partitioned model checking from software specifications

With the trends toward higher-level design, verification models written in software, and hardware/software codesign, it is increasingly important to verify that RTL hardware behaves correctly according to an executable software specification. In this paper, we propose a natural way to formalize a cycle-accurate software specification as an annotated control flow graph, and then we introduce a novel partitioned model-checking algorithm that exploits the annotated control flow graph. Preliminary experimental results show that our new method runs faster than standard model checking.

Concept-based multi-objective problems and their solution by EC

Recent studies on the support of engineers during conceptual design resulted in a non-traditional type of Multi-Objective Problems (MOPs), namely concept-based ones. In concept-based MOPs the focus is on conceptual solutions that are represented by sets of particular solutions. This means that a concept has a one-to-many relation with the objective space. Such a set-based concept representation is most suitable for human-computer interaction. In concept-based MOPs concept-related preferences could be easily incorporated with or without range-related preferences. This paper provides an overview of studies on concept-based problems, which have been conducted at Tel-Aviv University, and suggests some future research directions.

MACCS: enabling communications for mobile workers within healthcare environments

As wireless communications systems become more ubiquitous, enterprise workers are becoming more and more mobile. Addressing mobility in the enterprise has recently become a pressing concern for many corporations. In particular, there is a growing component of mobile workers whose job tasks require them to be mobile within their local workspace. These workers sometimes do not have a desk or phone and frequently use their hands in performing required tasks; they typically referred to as "corridor cruisers" or "campus roamers". One class of workers that fall under this category is healthcare professionals (e.g. nurses). Communication enabling these workers usually involves an expensive proposition: equipping them with a mobile/wireless phone, PDA or a paging device. Our goal was to see if we could address the communications needs of healthcare workers by using a small, inexpensive, wearable, hands-free audio device (a wireless headset) along with a speech interface to an intelligent agent. In this paper we present the results of an industrial user study in a real world healthcare environment of our Mobile Access to Converged Communications System (MACCS) which empowers mobile workers with a hands-free voice interface to manage their communications. In addition we also discuss the design, implementation and deployment of MACCS.

Collocated Interaction: New Challenges in 'Same Time, Same Place' Research

In the 25 years since Ellis, Gibbs, and Rein proposed the time-space taxonomy, research in the 'same time, same place' quadrant has diversified, perhaps even fragmented. The goal of this one-day workshop is to bring together researchers with diverse, yet convergent interests in tabletop, surface, mobile and wearable technologies, and those interested in the social aspects of interaction, such as conversation analysis and ethnomethodology. These communities have matured considerably, and produced significant exemplars of systems, methods, and studies concerned with collocated interactions. Yet, new challenges abound as people wear and carry more devices than ever, creating fragmented device ecologies at work, and changing the ways we socialise with each other. In this workshop we seek to start a dialogue to look back as well as forward, review best practices, discuss and design paper-prototypes using the collocated design framework, to consider how we might address new and future challenges through collocated design practice.

Why computer science students need language

Many students enter the field of computer science with misconceptions about the importance of communication skills. They often choose this field, thinking they will end up with jobs working alone or with other "techies" developing computer games, and not having to deal with people. These students often do not realize the significance of reading, writing, and speaking skills in computer science. This paper discusses several relevant areas of computer science, and explains why computer science students need skills covered in English, speech, technical writing, and even foreign language courses in order to achieve success as a computing professional.

Automated awareness and visualization of online presence

We propose a novel framework for facilitating awareness of people's contactability in a networked environment. Image analysis on periodically captured photo bursts estimates a user's presence and activity levels. A graphical mapping combines these two parameters to represent how contactable the user is. A Visualization conveys the contactability of multiple users to their contacts on the network. An interaction strategy combines the above with the ability to actively seek for awareness of contactability. We describe the current status of implementing this framework, and report intermediate results.