Sciweavers

288 search results - page 15 / 58
» Compositional Machine Transliteration
Sort
View
ICALT
2005
IEEE
15 years 7 months ago
The Design for a Collaborative System of English as Foreign Language Composition Writing of Senior High School Students in Taiwa
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
Yi-Fan Chang, Diane L. Schallert
118
Voted
COLT
2010
Springer
14 years 12 months ago
Composite Objective Mirror Descent
We present a new method for regularized convex optimization and analyze it under both online and stochastic optimization settings. In addition to unifying previously known firstor...
John Duchi, Shai Shalev-Shwartz, Yoram Singer, Amb...
109
Voted
IEEESCC
2005
IEEE
15 years 7 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICML
2008
IEEE
16 years 2 months ago
Dirichlet component analysis: feature extraction for compositional data
We consider feature extraction (dimensionality reduction) for compositional data, where the data vectors are constrained to be positive and constant-sum. In real-world problems, t...
Hua-Yan Wang, Qiang Yang, Hong Qin, Hongbin Zha
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 6 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...