Author

Rob Miller

66 papers · 1994–2026

1994peak 6 in 20142026

Frequent co-authors

Papers

showing 1–25 of 66 RSS

Human computation tasks with global constraints

Haoqi Zhang, Edith Law, Rob Miller +3 more

Computer Science Applications · Digital Access to Scholarship at Harvard (DASH) (Harvard University) · 5 May 2012 · cited 164× · DOI ↗ · more like this ·

An important class of tasks that are underexplored in current human computation systems are complex tasks with global constraints. One example of such a task is itinerary planning, where solutions consist of a sequence of activities that meet requirements specified by the requester. In this paper, we focus on the crowdsourcing of such plans as a case study of constraint-based human computation tasks and introduce a collaborative planning system called Mobi that illustrates a novel crowdware paradigm. Mobi presents a single interface that enables crowd participants to view the current solution context and make appropriate contributions based on current needs. We conduct experiments that explain how Mobi enables a crowd to effectively and collaboratively resolve global constraints, and discuss how the design principles behind Mobi can more generally facilitate a crowd to tackle problems…

The Event Calculus in Classical Logic - Alternative Axiomatisations.

Rob Miller, Murray Shanahan

Artificial Intelligence · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1999 · cited 123× · OpenAlex ↗ · more like this ·

We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation.

Progressive open source

Jamie Dinkelacker, Pankaj Garg, Rob Miller +1 more

Information Systems · 2002 · cited 120× · DOI ↗ · more like this ·

The success of several Open Source™ software systems, e.g., Apache, Bind, Emacs, and Linux, has recently sparked interest in studying and emulating the software engineering principles underlying this innovative development and use model. Certain aspects of the Open Source development method, e.g., community building, open discussions for requirements and features, and evolvable and modular designs are having fundamental and far reaching consequences on general software engineering practices.To leverage such Open Source methods and tools, we have defined an innovative software engineering paradigm for large corporations: Progressive Open Source (POS). POS leverages the power of Open Source methods and tools for large corporations in a progressive manner: starting from completely within the corporation, to include partner businesses, and eventually complete Open Source. In this paper we…

Tie strength in question & answer on social network sites

Katrina Panovich, Rob Miller, David R. Karger

Information Systems · 11 Feb 2012 · cited 103× · DOI ↗ · more like this ·

Asking friends, colleagues, or other trusted people to help answer a question or find information is a familiar and tried-and-true concept. Widespread use of online social networks has made social information seeking easier, and has provided researchers with opportunities to better observe this process. In this paper, we relate question answering to tie strength, a metric drawn from sociology describing how close a friendship is. We present a study evaluating the role of tie strength in question answers. We used previous research on tie strength in social media to generate tie strength information between participants and their answering friends, and asked them for feedback about the value of answers across several dimensions. While sociological studies have indicated that weak ties are able to provide better information, our findings are significant in that weak ties do not have this…

Narratives in the Situation Calculus

Rob Miller, Murray Shanahan

Artificial Intelligence · Journal of Logic and Computation · 1994 · cited 81× · DOI ↗ · more like this ·

A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the event calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the situation calculus. This paper bridges the gap between these types of formalism by supplying a technique for linking incomplete narrative descriptions to situation calculus domain formulae written in the usual style using a Result function. Particular attention is given to actions with duration and overlapping actions. By illuminating the relationship between these two different styles of representation, the paper moves us one step closer to a full understanding of the space of all possible formalisms for reasoning about action.

Addressing misconceptions about code with always-on programming visualizations

Tom Lieber, Joel Brandt, Rob Miller

Computer Science Applications · DSpace@MIT (Massachusetts Institute of Technology) · 26 Apr 2014 · cited 71× · DOI ↗ · more like this ·

We present Theseus, an IDE extension that visualizes run-time behavior within a JavaScript code editor. By displaying real-time information about how code actually behaves during execution, Theseus proactively addresses misconceptions by drawing attention to similarities and differences between the programmer's idea of what code does and what it actually does. To understand how programmers would respond to this kind of an always-on visualization, we ran a lab study with graduate students, and interviewed 9 professional programmers who were asked to use Theseus in their day-to-day work. We found that users quickly adopted strategies that are unique to always-on, real-time visualizations, and used the additional information to guide their navigation through their code.

Adversarial Examples in RF Deep Learning: Detection and Physical Robustness

Silvija Kokalj-Filipović, Rob Miller, Garrett Vanhoy

Artificial Intelligence · November 2019 · cited 70× · DOI ↗ · more like this ·

While research on adversarial examples (AdExs) in machine learning for images has been prolific, similar attacks on deep learning (DL) for radio frequency (RF) signals and corresponding mitigation strategies are scarcely addressed in the published work, with only a handful of recent publications in the RF domain. With minimal waveform perturbation, RF adversarial examples (AdExs) can cause a substantial increase in misclassifications for spectrum sensing/ survey applications (e.g. ZigBee mistaken for Bluetooth). In this work, two statistical tests for AdEx detection are proposed. One statistical test leverages the peak-to-average-power ratio (PAPR) of the RF samples. The second test uses the softmax outputs of the machine learning model, which is proportional to the likelihoods the classifier assigns to each of the trained classes. The first test leverages the RF nature of the data…

Targeted Adversarial Examples Against RF Deep Classifiers

Silvija Kokalj-Filipović, Rob Miller, Joshua Morman

Artificial Intelligence · 15 May 2019 · cited 69× · DOI ↗ · more like this ·

Adversarial examples (AdExs) in machine learning for classification of radio frequency (RF) signals can be created in a targeted manner such that they go beyond general misclassification and result in the detection of a specific targeted class. Moreover, these drastic, targeted misclassifications can be achieved with minimal waveform perturbations, resulting in catastrophic impact to deep learning based spectrum sensing applications (e.g. WiFi is mistaken for Bluetooth). This work addresses targeted deep learning AdExs, specifically those obtained using the Carlini-Wagner algorithm, and analyzes previously introduced defense mechanisms that performed successfully against non-targeted FGSM-based attacks. To analyze the effects of the Carlini-Wagner attack, and the defense mechanisms, we trained neural networks on two datasets. The first dataset is a subset of the DeepSig dataset…

Associating the visual representation of user interfaces with their internal structures and metadata

Tsung-Hsiang Chang, Tom Yeh, Rob Miller

Human-Computer Interaction · DSpace@MIT (Massachusetts Institute of Technology) · 16 Oct 2011 · cited 48× · DOI ↗ · more like this ·

Pixel-based methods are emerging as a new and promising way to develop new interaction techniques on top of existing user interfaces. However, in order to maintain platform independence, other available low-level information about GUI widgets, such as accessibility metadata, was neglected intentionally. In this paper, we present a hybrid framework, PAX, which associates the visual representation of user interfaces (i.e. the pixels) and their internal hierarchical metadata (i.e. the content, role, and value). We identify challenges to building such a framework. We also develop and evaluate two new algorithms for detecting text at arbitrary places on the screen, and for segmenting a text image into individual word blobs. Finally, we validate our framework in implementations of three applications. We enhance an existing pixel-based system, Sikuli Script, and preserve the readability of its…

Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits

Bradley T. Vander Zanden, Richard Halterman, Brad A. Myers +5 more

Hardware and Architecture · ACM Transactions on Programming Languages and Systems · November 2001 · cited 38× · DOI ↗ · more like this ·

One-way, dataflow constraints are commonly used in graphical interface toolkits, programming environments, and circuit applications. Previous papers on dataflow constraints have focused on the design and implementation of individual algorithms. In contrast, this article focuses on the lessons we have learned from a decade of implementing competing algorithms in the Garnet and Amulet graphical interface toolkits. These lessons reveal the design and implementation tradeoffs for different one-way, constraint satisfaction algorithms. The most important lessons we have learned are that (1) mark-sweep algorithms are more efficient than topological ordering algorithms; (2) lazy and eager evaluators deliver roughly comparable performance for most applications; and (3) constraint satisfaction algorithms have more than adequate speed, except that the storage required by these algorithms can be…

Relo: Helping Users Manage Context during Interactive Exploratory Visualization of Large Codebases

Vineet Sinha, David R. Karger, Rob Miller

Sociology and Political Science · 2006 · cited 33× · DOI ↗ · more like this ·

As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this paper, we present a tool, Relo, that supports developers’ understanding by allowing interactive exploration of code. As the developer explores relationships found in the code, Relo builds and automatically manages the context in a visualization, thereby helping build the developer’s mental representation of the code. Developers can group viewed artifacts or use the viewed items to ask Relo for further exploration suggestions, with Relo providing features to limit the growth of the diagram. To ensure developers don’t get overwhelmed, Relo has been built with a user-centered approach, and preliminary evaluations with developers exploring new code have shown them to find the tool intuitive and helpful.

Adversarial Examples in RF Deep Learning: Detection of the Attack and its Physical Robustness

Silvija Kokalj-Filipovic, Rob Miller

cs.LG · 16 Feb 2019 · cited 32× · arXiv ↗ · more like this ·

While research on adversarial examples in machine learning for images has been prolific, similar attacks on deep learning (DL) for radio frequency (RF) signals and their mitigation strategies are scarcely addressed in the published work, with only one recent publication in the RF domain [1]. RF adversarial examples (AdExs) can cause drastic, targeted misclassification results mostly in spectrum sensing/ survey applications (e.g. BPSK mistaken for 8-PSK) with minimal waveform perturbation. It is not clear if the RF AdExs maintain their effects in the physical world, i.e., when AdExs are delivered over-the-air (OTA). Our research on deep learning AdExs and proposed defense mechanisms are RF-centric, and incorporate physical world, OTA effects. We here present defense mechanisms based on statistical tests. One test to detect AdExs utilizes Peak-to- Average-Power-Ratio (PAPR) of the DL data…

Reasoning about discontinuities in the event calculus

Rob Miller, Murray Shanahan

Artificial Intelligence · Principles of Knowledge Representation and Reasoning · 5 Nov 1996 · cited 28× · OpenAlex ↗ · more like this ·

This paper describes a logic-based formalism which combines techniques for reasoning about actions with standard mathematical techniques for modelling dynamic systems using the differential calculus. The formalism inherits a robust solution to the frame problem which can handle concurrency, non-determinism, domain constraints and narrative. It also incorporates a mechanism for reasoning about the boundary conditions associated with systems of differential equations defined over various intervals. This mechanism overcomes a number of drawbacks of previous systems. 1 INTRODUCTION Solutions to the frame problem now exist which can handle a variety of phenomena, such as narrative, concurrent action and non-deterministic action (see (Shanahan 1997) for a general discussion). However, the topic of continuous change has received relatively little attention in the Reasoning about Action…

A spreadsheet-based user interface for managing plural relationships in structured data

Eirik Bakke, David R. Karger, Rob Miller

Computer Networks and Communications · DSpace@MIT (Massachusetts Institute of Technology) · 7 May 2011 · cited 26× · DOI ↗ · more like this ·

A key feature of relational database applications is managing \emph{plural} relationships---one-to-many and many-to-many---between entities. However, since it is often infeasible to adopt or develop a new database application for any given schema at hand, information workers instead turn to spreadsheets, which lend themselves poorly to schemas requiring multiple related entity sets. In this paper, we propose to reduce the cost-usability gap between spreadsheets and tailor-made relational database applications by extending the spreadsheet paradigm to let the user establish relationships between rows in related worksheets as well as view and navigate the hierarchical cell structure that arises as a result. We present Related Worksheets, a spreadsheet-like prototype application, and evaluate it with a screencast-based user study on 36 Mechanical Turk workers. First-time users of our…

Service Discovery and Device Identification in Cognitive Radio Networks

Rob Miller, Wenyuan Xu, Pandurang Kamat +1 more

Computer Networks and Communications · Scholar Commons (University of South Carolina) · June 2007 · cited 26× · DOI ↗ · more like this ·

Cognitive radios (CR) will be able to communicate adaptively in an effort to optimize spectral efficiency. An integral step towards this goal involves obtaining a representative view of the various services operating in a local area. Although it is possible to load different software modules to identify each potential service, such an approach is needlessly inefficient. Instead, rather than use a collection of complete protocols on a CR, we believe that it is essential to have a separate identification module that is capable of reliably identifying services and devices while minimizing the code needed. In particular, by effectively leveraging protocol-specific properties, we show that it is possible to utilize data from narrowband spectral sampling in order to identify broader band services and individual devices. We demonstrate the feasibility of such service and device identification…

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future

Jiefei Ma, Rob Miller, Leora Morgenstern +1 more

Artificial Intelligence · EPiC series in computing · 23 Jan 2018 · cited 20× · DOI ↗ · more like this ·

We present a generalisation of the Event Calculus, specified in classical logic and implemented in ASP, that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show via a case study how this framework may be used as a basis for a "possible-worlds" style approach to epistemic and causal reasoning in a narrative setting. In this framework an agent may gain knowledge about both fluent values and action occurrences through sensing actions, lose knowledge via non-deterministic actions, and represent plans that include conditional actions whose conditions may be initially unknown.

Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling

Anant Bhardwaj, Juho Kim, Steven Dow +4 more

cs.HC · 23 Sep 2014 · cited 17× · arXiv ↗ · more like this ·

Constructing a good conference schedule for a large multi-track conference needs to take into account the preferences and constraints of organizers, authors, and attendees. Creating a schedule which has fewer conflicts for authors and attendees, and thematically coherent sessions is a challenging task. Cobi introduced an alternative approach to conference scheduling by engaging the community to play an active role in the planning process. The current Cobi pipeline consists of committee-sourcing and author-sourcing to plan a conference schedule. We further explore the design space of community-sourcing by introducing attendee-sourcing -- a process that collects input from conference attendees and encodes them as preferences and constraints for creating sessions and schedule. For CHI 2014, a large multi-track conference in human-computer interaction with more than 3,000 attendees and…

Relo

Vineet Sinha, David R. Karger, Rob Miller

Information Systems · 2005 · cited 14× · DOI ↗ · more like this ·

As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this paper, we present a tool, Relo, that supports developers' understanding by allowing interactive exploration of code. As the developer explores relationships found in the code, Relo builds and automatically manages the context in a visualization, thereby helping build the developer's mental representation of the code. Developers can group viewed artifacts or use the viewed items to ask Relo for further exploration suggestions. Relo is built as an Eclipse plug-in integrated into the Java Tooling (JDT), and uses a standard, RDF, based backend allowing for maintaining code relationships and performing inferences about the relationships.

Story Comprehension through Argumentation

Irene‐Anna N. Diakidoy, Kakas Antonis, Loizos Michael +1 more

Artificial Intelligence · Frontiers in artificial intelligence and applications · 2014 · cited 12× · DOI ↗ · more like this ·

This paper presents a novel application of argumentation for automated Story Comprehension (SC). It uses argumentation to develop a computational approach for SC as this is understood and studied in psychology. Argumentation provides uniform solutions to various representational and reasoning problems required for SC such as the frame, ramification, and qualification problems, as well as the problem of contrapositive reasoning with default information. The grounded semantics of argumentation provides a suitable basis for the construction and revision of comprehension models, through the synthesis of the explicit information from the narrative in the text with the implicit (in the reader's mind) common sense world knowledge pertaining to the topic(s) of the story given in the text. We report on the empirical evaluation of the approach through a prototype system and its ability to capture…

E-RES: A System for Reasoning about Actions, Events and Observations

Antonis Kakas, Rob Miller, Francesca Toni

cs.AI · 9 Mar 2000 · cited 12× · arXiv ↗ · more like this ·

E-RES is a system that implements the Language E, a logic for reasoning about narratives of action occurrences and observations. E's semantics is model-theoretic, but this implementation is based on a sound and complete reformulation of E in terms of argumentation, and uses general computational techniques of argumentation frameworks. The system derives sceptical non-monotonic consequences of a given reformulated theory which exactly correspond to consequences entailed by E's model-theory. The computation relies on a complimentary ability of the system to derive credulous non-monotonic consequences together with a set of supporting assumptions which is sufficient for the (credulous) conclusion to hold. E-RES allows theories to contain general action laws, statements about action occurrences, observations and statements of ramifications (or universal laws). It is able to derive…

Reasoning about Actions, Narratives and Ramifications

Antonis Kakas, Rob Miller

Artificial Intelligence · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1997 · cited 10× · OpenAlex ↗ · more like this ·

The Language E is a simple declarative language for describing the effects of action occurrences within a given narrative, using an ontology of actions, time points and fluents (i.e. properties which can change their truth values over time). This paper shows how E may be extended to deal with ramifications. More precisely, we show how Language E domain descriptions can include statements describing permanent relationships or constraints between fluents, and how the model theoretic semantics of E can be extended in an intuitive way to ensure that the effects of actions are appropriately propagated via such statements, whilst retaining E&apos;s simple approach to the frame problem. We also show how Event Calculus style logic programs may be used to compute consequences of such domain descriptions using standard SLDNF, even when only incomplete information is given about some initial…

Planning with Incomplete Information

Antonis Kakas, Rob Miller, Francesca Toni

cs.AI · 9 Mar 2000 · cited 8× · arXiv ↗ · more like this ·

Planning is a natural domain of application for frameworks of reasoning about actions and change. In this paper we study how one such framework, the Language E, can form the basis for planning under (possibly) incomplete information. We define two types of plans: weak and safe plans, and propose a planner, called the E-Planner, which is often able to extend an initial weak plan into a safe plan even though the (explicit) information available is incomplete, e.g. for cases where the initial state is not completely known. The E-Planner is based upon a reformulation of the Language E in argumentation terms and a natural proof theory resulting from the reformulation. It uses an extension of this proof theory by means of abduction for the generation of plans and adopts argumentation-based techniques for extending weak plans into safe plans. We provide representative examples illustrating the…

Incremental exploratory visualization of relationships in large codebases for program comprehension

Vineet Sinha, Rob Miller, David R. Karger

Information Systems · 16 Oct 2005 · cited 7× · DOI ↗ · more like this ·

Cognitive-based visualization of semantically structured cultural heritage data

Kalliopi Kontiza, Antonis Bikakis, Rob Miller

Artificial Intelligence · UCL Discovery (University College London) · 2015 · cited 5× · OpenAlex ↗ · more like this ·

We present preliminary findings regarding the increasing use of Info-Vis tools and semantically structured data by cultural heritage institutions. This sector faces a number of challenges in developing best practices for publishing Linked Data, including the presentation of their digital cultural heritage collections and the visualization of their multidimensional hidden histories. We suggest that, as these institutions' interest in Semantic Web technologies grows and associated applications are more widely adopted, the need to provide InfoVis tools for efficient overview and exploration of cultural data increases. We postulate that changes in the paradigms for interaction with cultural datasets are also needed, with more focus on users' needs and cognitive processes. We suggest that by taking into account human information processes, better cognitive support can be introduced via…

CrowdCamp

Paúl André, Michael S. Bernstein, Mira Dontcheva +3 more

Computer Science Applications · 5 May 2012 · cited 5× · DOI ↗ · more like this ·

The field of collective intelligence - encompassing aspects of crowdsourcing, human computation, and social computing - is having tremendous impact on our lives, and the fields are rapidly growing. We propose a hands-on event that takes the main benefits of a workshop - provocative discussion and community building - and allows time to focus on developing ideas into actual outputs: experiment designs, in-depth thoughts on wicked problems, paper or coded prototypes. We will bring together researchers to discuss future visions and make tangible headway on those visions, as well as seeding collaboration. The outputs from brainstorming, discussion, and building will persist after the workshop for attendees and the community to view, and will be written up.