Conference Paper

Refinement of automated cortical surface registration and labeling using geodesic curvature flow

August 2012

Conference: 18th Annual Meeting of the Organization for Human Brain Mapping (OHBM) 2012
Volume: 3

Authors:

Anand A Joshi

University of Southern California

David Shattuck

University of California, Los Angeles

Background / Purpose: To improve the accuracy of the cortical surface registration method. Main conclusion: We now use the automated method presented here to perform surface registration and label refinement, making the entire surface and volume registration and labeling sequence fully automatic.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Article

Automatic removal of hose bends from mandrels

March 1994

F. Kugelmann

Complex movements are frequently an obstacle to automation. Changes in the orientation of the robot hand and a high path accuracy result in long cycle times. With the aid of compliant systems, complex movement sequences can be reduced to simple basic movements. A simple automation system is obtained which reacts tolerantly to dimensional variations and positional errors.

Conference Paper

Assumption Generation for Asynchronous Systems by Abstraction Refinement

September 2012

Compositional verification provides a way for deducing properties of a complete program from properties of its constituents. In particular, the assume-guarantee style of reasoning splits a specification into assumptions and guarantees according to a given inference rule and the generation of assumptions through machine learning makes the automatic reasoning possible. However, existing works are ... [Show full abstract] purely focused on the synchronous parallel composition of Labeled Transition Systems (LTSs) or Kripke Structures, while it is more natural to model real software programs in the asynchronous framework. In this paper, shared variable structures are used as system models and asynchronous parallel composition of shared variable structures is defined. Based on a new simulation relation introduced in this paper, we prove that an inference rule, which has been widely used in the literature, holds for asynchronous systems as long as the components’ alphabets satisfy certain conditions. Then, an automating assumption generation approach is proposed based on counterexample-guided abstraction refinement, rather than using learning algorithms. Experimental results are provided to demonstrate the effectiveness of the proposed approach.

Article

Full-text available

Refining Automatically Extracted Knowledge Bases Using Crowdsourcing

May 2017 · Computational Intelligence and Neuroscience

Machine-constructed knowledge bases often contain noisy and inaccurate facts. There exists significant work in developing automated algorithms for knowledge base refinement. Automated approaches improve the quality of knowledge bases but are far from perfect. In this paper, we leverage crowdsourcing to improve the quality of automatically extracted knowledge bases. As human labelling is costly, ... [Show full abstract] an important research challenge is how we can use limited human resources to maximize the quality improvement for a knowledge base. To address this problem, we first introduce a concept of semantic constraints that can be used to detect potential errors and do inference among candidate facts. Then, based on semantic constraints, we propose rank-based and graph-based algorithms for crowdsourced knowledge refining, which judiciously select the most beneficial candidate facts to conduct crowdsourcing and prune unnecessary questions. Our experiments show that our method improves the quality of knowledge bases significantly and outperforms state-of-the-art automatic methods under a reasonable crowdsourcing cost.

View full-text

Conference Paper

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement

July 2016

In this work we develop an automated circular reasoning framework that is applicable to systems decomposed into multiple components. Our framework uses a family of circular assume-guarantee rules for which we give conditions for soundness and completeness. The assumptions used in the rules are initially approximate and their alphabets are automatically refined based on the counterexamples ... [Show full abstract] obtained from model checking the rule premises. A key feature of the framework is that the compositional rules that are used change dynamically with each iteration of the alphabet refinement, to only use assumptions that are relevant for the current alphabet, resulting in a smaller number of assumptions and smaller state spaces to analyze for each premise. Our preliminary evaluation of the proposed approach shows promising results compared to 2-way and monolithic verification.

Article

Automated topologically correct cortical surfaces from MR images

January 1999

We present an automated method for generating cortical surface representations from magnetic resonance (MR) images. The method is based on a sequence of low-level operations. The brain is extracted from an MR volume, image non-uniformity is estimated and corrected by examining local properties of the brain volume, and a Bayesian classifier labels the bias-corrected image with tissue classes. The ... [Show full abstract] white matter surface is selected and automatically edited using a graph-based algorithm to produce a typologically spherical volume

Conference Paper

Full-text available

Experience with High-Speed Automated Application-Identification for Network-Management

October 2009

AtoZ, an automatic traffic organizer, provides control of how network-resources are used by applications. It does this by combining the high-speed packet processing of the NetFPGA with an efficient method for application-behavior labeling. AtoZ can control network resources by prohibiting certain applications and controlling the resources available to others. We discuss deployment experience and ... [Show full abstract] use real traffic to illustrate how such an architecture enables several distinct features: high accuracy, high throughput, minimal delay, and efficient packet labeling - all in a low cost, robust configuration that works alongside the enterprise access-router.

View full-text

Conference Paper

Identifying inactive code in product lines with configuration-aware system dependence graphs

September 2014

Application engineers frequently create customer-specific products in two stages: the required software components are first selected to create an initial product which is then evolved by refining the selected features and adapting the code to meet the customers' requirements. For instance, developers frequently set configuration options in the code to adjust the product. However, given that such ... [Show full abstract] changes are often necessary in the entire code base it is hard to know which part of the code is still relevant for the chosen configuration options. This means that engineers need to understand and maintain a lot of code that is potentially inactive in a particular product variant. Existing approaches provide only partial solutions: for instance, feature-to-code mappings do not adequately consider complex code dependencies of the implemented features. Static analysis techniques provide better results but usually do not consider variability aspects. We present an approach to automatically identify inactive code in product variants using a configuration-aware code analysis technique. We demonstrate the flexibility of our approach by customizing it to a product line of an industry partner in the domain of industrial automation. We further evaluate the approach to demonstrate its effectiveness, accuracy, and performance.

Chapter

Synthesis Flow

January 1996

Synthesis denotes the refinement process from a more abstract specification to a more detailed implementation. Since this activity includes the creativity of the designer it is inherently difficult to automate. In order to obtain a reasonable computer aid nevertheless, there are different approaches along two directions: the automatic top-down synthesis and the interactive bottom-up synthesis.

Article

Automated order-filling makes a world of difference at wild planet

June 2003

J. Fireman

The role of automatic order-filling in reduction of time of shipping-fulfillment (ship-fill) activities is discussed. The reduction in the time required to perform selection and matching with eDistribution has found to provide dramatic time and cost savings. The increased accuracy, reduced cycle time and faster cash flow using the automatic order-filling are also elaborated.

Article

An automated method for monitoring the shape and position of the surface of parts of complex configu...

January 1991

Volodymyr Kvasnikov

A computerized laser-based system for the automatic monitoring of the shape and position of surfaces in surface machining operations is described. The system uses a He-Ne laser interferometer and a comparator mounted on aerostatic supports. The measurement procedure is described, and the accuracy of the measurements is estimated.

Article

Full-text available

Enhancing the accuracy of automatic eddy detection and the capability of recognizing the multi-core...

February 2014 · Ocean Science

Automated methods are important for automatically detecting mesoscale eddies in large volumes of altimeter data. While many algorithms have been proposed in the past, this paper presents a new method, called hybrid detection (HD), to enhance the eddy detection accuracy and the capability of recognizing eddy multi-core structures from maps of sea level anomaly (SLA). The HD method has integrated ... [Show full abstract] the criteria of the Okubo–Weiss (OW) method and the sea surface height-based (SSH-based) method, two commonly used eddy detection algorithms. Evaluation of the detection accuracy shows that the successful detection rate of HD is ~ 96.6% and the excessive detection rate is ~ 14.2%, which outperforms the OW and those methods using SLA extrema to identify eddies. The capability of recognizing multi-core structures and its significance in tracking eddy splitting or merging events have been illustrated by comparing with the detection results of different algorithms and observations in previous literature.

View full-text

Article

Updating Markov models based on speech input and additional information for automated telephone dire...

January 1998 · The Journal of the Acoustical Society of America

Gregory J. Bielby

In methods and apparatus for at least partially automating a telephone directory assistance function, directory assistance callers are prompted to speak locality or called entity names associated with desired directory listings. A speech recognition algorithm is applied to speech signals received in response to prompting to determine spoken locality or called entity names. Desired telephone ... [Show full abstract] numbers are released to callers, and released telephone numbers are used to confirm or correct at least some of the recognized locality or called entity names. Speech signal representations labelled with the confirmed or corrected names are used as labelled speech tokens to refine prior training of the speech recognition algorithm. The training refinement automatically adjusts for deficiencies in prior training of the speech recognition algorithm and to long term changes in the speech patterns of directory assistance callers served by a particular directory assistance installation. The methods can be generalized to other speech recognition applications.

Refinement of automated cortical surface registration and labeling using geodesic curvature flow

Abstract

No full-text available

Recommended publications

Automatic removal of hose bends from mandrels

Assumption Generation for Asynchronous Systems by Abstraction Refinement

Refining Automatically Extracted Knowledge Bases Using Crowdsourcing

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement

Automated topologically correct cortical surfaces from MR images

Experience with High-Speed Automated Application-Identification for Network-Management

Identifying inactive code in product lines with configuration-aware system dependence graphs

Synthesis Flow

Automated order-filling makes a world of difference at wild planet

An automated method for monitoring the shape and position of the surface of parts of complex configu...

Enhancing the accuracy of automatic eddy detection and the capability of recognizing the multi-core...

Updating Markov models based on speech input and additional information for automated telephone dire...