Results 1  10
of
37
Freefinement Stephan van Staden ETH Zurich
"... Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for establishing whether an inductively defined term, typically a program, satisfies a specification. Examples of ve ..."
Abstract
 Add to MetaCart
Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for establishing whether an inductively defined term, typically a program, satisfies a specification. Examples
OPTIMAL CONTROL THROUGH BIOLOGICALLYINSPIRED PURSUIT 1
"... Abstract: Inspired by the process by which ants gradually optimize their foraging trails, this paper investigates the cooperative solution of a class of freefinal time, partiallyconstrained final state optimal control problems by a group of dynamic systems. A cooperative, pursuitbased algorithm i ..."
Abstract
 Add to MetaCart
Abstract: Inspired by the process by which ants gradually optimize their foraging trails, this paper investigates the cooperative solution of a class of freefinal time, partiallyconstrained final state optimal control problems by a group of dynamic systems. A cooperative, pursuitbased algorithm
Edit Detection and Parsing for Transcribed Speech
 In Proc. NAACL
, 2001
"... We present a simple architecture for parsing transcribed speech in which an editedword detector first removes such words from the sentence string, and then a standard statistical parser trained on transcribed speech parses the remaining words. The edit detector achieves a misclassification rate on ..."
Abstract

Cited by 66 (6 self)
 Add to MetaCart
We present a simple architecture for parsing transcribed speech in which an editedword detector first removes such words from the sentence string, and then a standard statistical parser trained on transcribed speech parses the remaining words. The edit detector achieves a misclassification rate on edited words of 2.2%. (The NULLmodel, which marks everything as not edited, has an error rate of 5.9%.) To evaluate our parsing results we introduce a new evaluation metric, the purpose of which is to make evaluation of a parse tree relatively indi#erent to the exact tree position of EDITED nodes. By this metric the parser achieves 85.3% precision and 86.5% recall.
Exploring features for identifying edited regions in disfluent sentences
 In Proceedings of the International Workshop on Parsing Techniques
, 2005
"... This paper describes our effort on the task of edited region identification for parsing disfluent sentences in the Switchboard corpus. We focus our attention on exploring feature spaces and selecting good features and start with analyzing the distributions of the edited regions and their components ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
This paper describes our effort on the task of edited region identification for parsing disfluent sentences in the Switchboard corpus. We focus our attention on exploring feature spaces and selecting good features and start with analyzing the distributions of the edited regions and their components in the targeted corpus. We explore new feature spaces of a partofspeech (POS) hierarchy and relaxed for rough copy in the experiments. These steps result in an improvement of 43.98% percent relative error reduction in Fscore over an earlier best result in edited detection when punctuation is included in both training and testing data [Charniak and Johnson 2001], and 20.44 % percent relative error reduction in Fscore over the latest best result where punctuation is excluded from the training and testing data [Johnson and Charniak 2004]. 1
Modeling Intuitive Behavior for Safe Human/Robot Coexistence and Cooperation
"... Abstract – An intuitive behavior model for safe human/robot coexistence and cooperation is presented. For this purpose, we classify the robot behavior into four cooperation states, which are characterized by two criteria: motion context and interaction context. The motion context can be gross or fin ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Abstract – An intuitive behavior model for safe human/robot coexistence and cooperation is presented. For this purpose, we classify the robot behavior into four cooperation states, which are characterized by two criteria: motion context and interaction context. The motion context can be gross or fine and the interaction context can be free or guided. We describe basic principles relevant to modeling safe and intuitive behavior for robots. The desired robot behavior is detailed for each of the four states along with the necessary transitions between those states. Index Terms – industrial robot, safe human/robot cooperation, guided motion, distance controlled velocity I.
Integrality of L 2 Betti numbers
 Preprints of SFB 478
, 1999
"... The Atiyah conjecture predicts that the L 2Betti numbers of a finite CWcomplex with torsionfree fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse limits of groups for which it is true. As a corollary it holds f ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
The Atiyah conjecture predicts that the L 2Betti numbers of a finite CWcomplex with torsionfree fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse limits of groups for which it is true. As a corollary it holds for residually torsionfree solvable groups, e.g. for pure braid groups or for positive 1relator groups with torsion free abelianization. Putting everything together we establish a new class of groups for which the Atiyah conjecture holds, which contains all free groups and in particular is closed under taking subgroups, direct sums, free products, extensions with elementary amenable quotient, and under direct and inverse limits of directed systems. MSC: 55N25 (homology with local coefficients), 16S34 (group rings, Laurent rings), 46L50 (noncommutative measure theory) 1
International Space Station (ISS). Spacecraft rendezvous and
"... Autonomous rendezvous and docking of vehicles are essential for future space exploration of the Moon, Mars, and beyond, and for the supply and repair of vehicles such as the ..."
Abstract
 Add to MetaCart
Autonomous rendezvous and docking of vehicles are essential for future space exploration of the Moon, Mars, and beyond, and for the supply and repair of vehicles such as the
Solving optimal control problems with MATLAB — Indirect methods
"... The theory of optimal control has been well developed for over forty years. With the advances of computer technique, optimal control is now widely used in multidisciplinary applications such as biological systems, communication networks and socioeconomic systems etc. As a result, more and more ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
The theory of optimal control has been well developed for over forty years. With the advances of computer technique, optimal control is now widely used in multidisciplinary applications such as biological systems, communication networks and socioeconomic systems etc. As a result, more and more
AUTONOMOUS PROXIMITY OPERATIONS AND DOCKING OF SPACECRAFT
, 2009
"... Guidance, navigation and control system for autonomous proximity operations and docking of spacecraft ..."
Abstract
 Add to MetaCart
Guidance, navigation and control system for autonomous proximity operations and docking of spacecraft
Results 1  10
of
37