Sciweavers

497 search results - page 71 / 100
» On a Parallel Extended Euclidean Algorithm
Sort
View
CPHYSICS
2004
92views more  CPHYSICS 2004»
13 years 7 months ago
Ultrahigh resolution simulations of mode converted ion cyclotron waves and lower hybrid waves
Full Wave studies of mode conversion (MC) processes in toroidal plasmas have required prohibitive amount of computer resources in the past because of the disparate spatial scales ...
J. C. Wright, P. T. Bonoli, E. D'Azevedo, M. Bramb...
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 2 months ago
Backstepping control design for motion coordination of self-propelled vehicles
Motion coordination of autonomous vehicles has applications from target surveillance to climate monitoring. Previous research has yielded stabilizing control laws for a selfpropell...
Rochelle Mellish, Derek A. Paley
CONCUR
2003
Springer
14 years 1 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
ACL
2009
13 years 5 months ago
Demonstration of Joshua: An Open Source Toolkit for Parsing-based Machine Translation
We describe Joshua (Li et al., 2009a)1, an open source toolkit for statistical machine translation. Joshua implements all of the algorithms required for translation via synchronou...
Zhifei Li, Chris Callison-Burch, Chris Dyer, Juri ...
EMNLP
2009
13 years 5 months ago
A Syntactified Direct Translation Model with Linear-time Decoding
Recent syntactic extensions of statistical translation models work with a synchronous context-free or tree-substitution grammar extracted from an automatically parsed parallel cor...
Hany Hassan, Khalil Sima'an, Andy Way