Filters








9,502 Hits in 1.4 sec

Denali

Rajeev Joshi, Greg Nelson, Keith Randall
2002 SIGPLAN notices  
Early descriptions of the E-graph include the PhD thesis of one of the authors (Nelson) [15] , a journal paper by Nelson and Oppen [17] , and the crucial Downey-Sethi-Tarjan congruence closure algorithm  ... 
doi:10.1145/543552.512566 fatcat:5csehbjcuzbpfexfzka6pzccgi

Accelerating the Digitization of Biodiversity Research Specimens through Online Public Participation

Elizabeth R. Ellwood, Betty A. Dunckel, Paul Flemons, Robert Guralnick, Gil Nelson, Greg Newman, Sarah Newman, Deborah Paul, Greg Riccardi, Nelson Rios, Katja C. Seltmann, Austin R. Mast
2015 BioScience  
The most frequent steps in the initial digitization of specimens have been described as five discrete task clusters (Nelson et al. 2012) : predigitization curation and staging, specimen image capture,  ...  Biodiversity Specimens Workshop participants recognized 26 digitization activities in which the public could participate, some of which fit neatly into the last two task (i.e., activity) clusters of Nelson  ...  Nelson Rios is the manager of biodiversity informatics for the Tulane University Biodiversity Research Institute, in New  ... 
doi:10.1093/biosci/biv005 fatcat:gsilj7drkzhbzn6hvxslwsnnwa

Extended Static Checking for Java [chapter]

Greg Nelson
2004 Lecture Notes in Computer Science  
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors. The checker is powered by verification-condition generation and automatic theoremproving techniques. It provides programmers with a simple annotation language with which programmer design
more » ... isions can be expressed formally. ESC/Java examines the annotated software and warns of inconsistencies between the design decisions recorded in the annotations and the actual code, and also warns of potential runtime errors in the code. This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.
doi:10.1007/978-3-540-27764-4_1 fatcat:sdg3rrjmrrgjtcsu6logzswj3e

Replay and compositional computation [article]

Zeb Kurth-Nelson, Timothy Behrens, Greg Wayne, Kevin Miller, Lennart Luettgau, Ray Dolan, Yunzhe Liu, Philipp Schwartenbeck
2022 arXiv   pre-print
Kurth-Nelson et al. (2016) designed a directed graph of six nodes, where each node was defined by an object (cat, chair, etc) (Figure 3a ).  ...  it possible to detect replay in humans using magnetoencephalography (MEG), which enables the study of tasks with interesting nonspatial relationships that are difficult to explain to rodents (Kurth-Nelson  ... 
arXiv:2209.07453v1 fatcat:gfj3jtt3yvgknlzangll2whxwu

Structured Label Inference for Visual Understanding [article]

Nelson Nauata, Hexiang Hu, Guang-Tong Zhou, Zhiwei Deng, Zicheng Liao, Greg Mori
2018 arXiv   pre-print
Visual data such as images and videos contain a rich source of structured semantic labels as well as a wide range of interacting components. Visual content could be assigned with fine-grained labels describing major components, coarse-grained labels depicting high level abstractions, or a set of labels revealing attributes. Such categorization over different, interacting layers of labels evinces the potential for a graph-based encoding of label information. In this paper, we exploit this rich
more » ... ructure for performing graph-based inference in label space for a number of tasks: multi-label image and video classification and action detection in untrimmed videos. We consider the use of the Bidirectional Inference Neural Network (BINN) and Structured Inference Neural Network (SINN) for performing graph-based inference in label space and propose a Long Short-Term Memory (LSTM) based extension for exploiting activity progression on untrimmed videos. The methods were evaluated on (i) the Animal with Attributes (AwA), Scene Understanding (SUN) and NUS-WIDE datasets for multi-label image classification, (ii) the first two releases of the YouTube-8M large scale dataset for multi-label video classification, and (iii) the THUMOS'14 and MultiTHUMOS video datasets for action detection. Our results demonstrate the effectiveness of structured label inference in these challenging tasks, achieving significant improvements against baselines.
arXiv:1802.06459v1 fatcat:uqpditlhwjd4fdwsylkkuhhheu

Simulated Cluster Archive: A Computational Catalog of X-Ray Clusters in a Lambda-CDM Universe [article]

Michael L. Norman, Greg Daues, Erik Nelson, Chris Loken, Jack Burns, Greg Bryan, Anatoly Klypin
2000 arXiv   pre-print
We have simulated the evolution of a large sample of X-ray clusters in a Lambda-CDM universe at high spatial resolution using adaptive mesh refinement and placed the results in an online archive for public access. The Simulated Cluster Archive website http://sca.ncsa.uiuc.edu provides tools for interactive 2D and 3D analysis of gas and dark matter fields, X-ray and SZ imaging, and data export. We encourage community use and solicit their feedback.
arXiv:astro-ph/0005183v1 fatcat:n6ti3r4hojdpxpew5mcsewc36a

Hierarchical Label Inference for Video Classification [article]

Nelson Nauata, Jonathan Smith, Greg Mori
2018 arXiv   pre-print
Videos are a rich source of high-dimensional structured data, with a wide range of interacting components at varying levels of granularity. In order to improve understanding of unconstrained internet videos, it is important to consider the role of labels at separate levels of abstraction. In this paper, we consider the use of the Bidirectional Inference Neural Network (BINN) for performing graph-based inference in label space for the task of video classification. We take advantage of the
more » ... t hierarchy between labels at increasing granularity. The BINN is evaluated on the first and second release of the YouTube-8M large scale multilabel video dataset. Our results demonstrate the effectiveness of BINN, achieving significant improvements against baseline models.
arXiv:1706.05028v2 fatcat:mmkszlpsfbfyto6puyzczvodqm

Eraser

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
1997 ACM SIGOPS Operating Systems Review  
Using an earlier version of Eraser that detected race conditions in multithreaded Modula-3 programs, we found that the Lockset algorithm reported false alarms for Trestle programs [Manasse and Nelson  ... 
doi:10.1145/269005.266641 fatcat:iy5mnhmeh5ghpjcluo4y4car5m

Modula-3 language definition

Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, Greg Nelson
1992 SIGPLAN notices  
doi:10.1145/142137.142141 fatcat:zerqewi23fdyln22bqrbgvamjm

Analog retrieval by constraint satisfaction

Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld
1990 Artificial Intelligence  
We describe a computational model of how analogs are retrieved from memory using simultaneous satisfaction of a set of semantic, structural, and pragmatic constraints. The model is based on psychological evidence suggesting that human memory retrieval tends to favor analogs that have several kinds of correspondences with the structure that prompts retrieval: semantic similarity, isomorphism, and pragmatic relevance. We describe ARCS, a program that demonstrates how these constraints can be used
more » ... to select relevant analogs by forming a network of hypotheses and attempting to satisfy the constraints simultaneously. ARCS has been tested on several data bases that display both its psychological plausibility and computational power.
doi:10.1016/0004-3702(90)90018-u fatcat:u7my6qjxmnht7hjq6kokq2i34y

The Performance of Betting Lines for Predicting the Outcome of NFL Games [article]

Greg Szalkowski, Michael L. Nelson
2012 arXiv   pre-print
We investigated the performance of the collective intelligence of NFL fans predicting the outcome of games as realized through the Vegas betting lines. Using data from 2560 games (all post-expansion, regular- and post-season games from 2002-2011), we investigated the opening and closing lines, and the margin of victory. We found that the line difference (the difference between the opening and closing line) could be used to retroactively predict divisional winners with no less accuracy than 75%
more » ... ccuracy (i.e., "straight up" predictions). We also found that although home teams only beat the spread 47% of the time, a strategy of betting the home team underdogs (from 2002-2011) would have produced a cumulative winning strategy of 53.5%, above the threshold of 52.38% needed to break even.
arXiv:1211.4000v1 fatcat:z7nqrbmpmfhnff3rzwoj6pb6um

Cell Junctions: Lessons from a Broken Heart

Kevin S. Nelson, Greg J. Beitel
2009 Current Biology  
doi:10.1016/j.cub.2008.12.002 pmid:19211050 fatcat:v5p3c3m4yfbxppiu6se3aaqk7u

Personality and emotional processing: A relationship between extraversion and the late positive potential in adolescence

Brittany C. Speed, Brady D. Nelson, Greg Perlman, Daniel N. Klein, Roman Kotov, Greg Hajcak
2015 Psychophysiology  
Emotional reactivity can be examined in multiple ways (Nelson, Shankman, Olino, & Klein, 2011) .  ...  In addition, adolescence is a period characterized by increased emotionality, heightened responsiveness to emotional information, and increased risk for depression -particularly for females (Nelson, Leibenluft  ... 
doi:10.1111/psyp.12436 pmid:25847353 pmcid:PMC4506236 fatcat:flg62rkz5rhcjg4eh7jm5zk6va

Mammalian Sweet Taste Receptors

Greg Nelson, Mark A. Hoon, Jayaram Chandrashekar, Yifeng Zhang, Nicholas J.P. Ryba, Charles S. Zuker
2001 Cell  
doi:10.1016/s0092-8674(01)00451-2 pmid:11509186 fatcat:xd5qd6y5e5habpwkcypmybtome

Book Review: Dental Functional Morphology: How Teeth Work

Greg C. Nelson
2018 Dental Anthropology Journal  
Review by Greg C. Nelson  ... 
doi:10.26575/daj.v18i2.137 fatcat:xdvqqsyoezadzctbc2i3srz47m
« Previous Showing results 1 — 15 out of 9,502 results