• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,969
Next 10 →

A Transformation System for Developing Recursive Programs

by R. M. Burstall, John Darlington , 1977
"... A system of rules for transforming programs is described, with the programs in the form of recursion equations An initially very simple, lucid. and hopefully correct program IS transformed into a more efficient one by altering the recursion structure Illustrative examples of program transformations ..."
Abstract - Cited by 649 (3 self) - Add to MetaCart
are given, and a tentative implementation !s described Alternative structures for programs are shown, and a possible initial phase for an automatic or semiautomatic program manipulation system is lndmated KEY WORDS AND PHRASES program transformation, program mampulatlon, optimization, recursion CR

Where are the really hard manipulation problems? The manipulation phase transition

by Toby Walsh
"... Voting is a simple mechanism to aggregate the preferences of agents. Many voting rules have been shown to be NP-hard to manipulate. However, a number of recent theoretical results have suggested that this complexity may only be in the worst-case and manipulation may be easy in practice. In this pape ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Voting is a simple mechanism to aggregate the preferences of agents. Many voting rules have been shown to be NP-hard to manipulate. However, a number of recent theoretical results have suggested that this complexity may only be in the worst-case and manipulation may be easy in practice

A Nonlinear Primal-Dual Method For Total Variation-Based Image Restoration

by Tony F. Chan, Gene H. Golub, Pep Mulet , 1995
"... . We present a new method for solving total variation (TV) minimization problems in image restoration. The main idea is to remove some of the singularity caused by the non-differentiability of the quantity jruj in the definition of the TV-norm before we apply a linearization technique such as Newton ..."
Abstract - Cited by 232 (22 self) - Add to MetaCart
norms. Experimental results show that the new method has much improved global convergence behaviour than the primal Newton's method. 1. Introduction. During some phases of the manipulation of an image some random noise and blurring is usually introduced. The presence of this noise and blurring

Where are the really hard manipulation problems? The phase transition . . .

by Toby Walsh , 2009
"... ..."
Abstract - Cited by 39 (15 self) - Add to MetaCart
Abstract not found

A shape-based approach to the segmentation of medical imagery using level sets

by Andy Tsai, Anthony Yezzi, William Wells, Clare Tempany, Dewey Tucker, Ayres Fan, W. Eric Grimson, Alan Willsky - IEEE Trans. Med. Imag , 2003
"... Abstract—We propose a shape-based approach to curve evolution for the segmentation of medical images containing known object types. In particular, motivated by the work of Leventon, Grimson, and Faugeras [15], we derive a parametric model for an implicit representation of the segmenting curve by app ..."
Abstract - Cited by 172 (11 self) - Add to MetaCart
by applying principal component analysis to a collection of signed distance representations of the training data. The parameters of this representation are then manipulated to minimize an objective function for segmentation. The resulting algorithm is able to handle multidimensional data, can deal

The MPEG-4 video standard verification model

by Thomas Sikora, Senior Member - IEEE Trans. Circuits and Syst. Video Techonol , 1997
"... Abstract—The MPEG-4 standardization phase has the man-date to develop algorithms for audio-visual coding allowing for interactivity, high compression, and/or universal accessibility and portability of audio and video content. In addition to the conven-tional “frame”-based functionalities of the MPEG ..."
Abstract - Cited by 162 (4 self) - Add to MetaCart
Abstract—The MPEG-4 standardization phase has the man-date to develop algorithms for audio-visual coding allowing for interactivity, high compression, and/or universal accessibility and portability of audio and video content. In addition to the conven-tional “frame”-based functionalities

Integrating gesture recognition and direct manipulation

by Dean Rubine - In Proceedings of the Summer '91 USENIX Technical Conference , 1991
"... CMU-ITC-91 i00 A gesture-based interface is one in which the user specifies commands by simple drawings, typically made with a mouse or stylus. A single intuitive gesture can simultaneously specify objects, an operation, and additional parameters, making gestures more powerful than the "cli ..."
Abstract - Cited by 15 (1 self) - Add to MetaCart
interface. More interestingly, GRANDMA supports a new two-phase interaction technique, in which a gesture collection phase is immediately followed by a manipulation phase. In its simplest form, the phase transition is indicated by keeping the mouse still while continuing to hold the button down

The Manipulated Consensus:

by unknown authors
"... globalisation, local agency, and cultural legacies in post-Soviet education reform [1] IVETA SILOVA Open Society Institute, Almaty, Kazakhstan ABSTRACT At the end of the 1990s, Latvian minority education reform was characterised by extensive references to Western European models, including such conc ..."
Abstract - Add to MetaCart
& von Hagen, 1997, p. 187). In this context, the transformation process has not necessarily reflected a gradually phased transition accompanied by a replacement of ‘the old ’ Soviet

Deformable Linear Object manipulation planning with contacts

by Olivier Roussel
"... Abstract—We consider the manipulation planning problem of a Deformable Linear Object (DLO) in free or contact space. We assume the DLO is handled by a gripper at one of its extremities and during the manipulating phase, the grasped end may change. The problem is solved by coupling dynamic simulation ..."
Abstract - Add to MetaCart
Abstract—We consider the manipulation planning problem of a Deformable Linear Object (DLO) in free or contact space. We assume the DLO is handled by a gripper at one of its extremities and during the manipulating phase, the grasped end may change. The problem is solved by coupling dynamic

Learning to Predict Phases of Manipulation Tasks as Hidden States

by Oliver Kroemer, Herke Van Hoof, Gerhard Neumann, Jan Peters
"... Abstract—Phase transitions in manipulation tasks often oc-cur when contacts between objects are made or broken. A switch of the phase can result in the robot’s actions suddenly influencing different aspects of its environment. Therefore, the boundaries between phases often correspond to constraints ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
Abstract—Phase transitions in manipulation tasks often oc-cur when contacts between objects are made or broken. A switch of the phase can result in the robot’s actions suddenly influencing different aspects of its environment. Therefore, the boundaries between phases often correspond to constraints
Next 10 →
Results 1 - 10 of 1,969
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University