Sciweavers

2066 search results - page 192 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
NAACL
2010
15 years 3 months ago
Unsupervised Syntactic Alignment with Inversion Transduction Grammars
Syntactic machine translation systems currently use word alignments to infer syntactic correspondences between the source and target languages. Instead, we propose an unsupervised...
Adam Pauls, Dan Klein, David Chiang, Kevin Knight
ACL
2009
15 years 3 months ago
Dependency Based Chinese Sentence Realization
This paper describes log-linear models for a general-purpose sentence realizer based on dependency structures. Unlike traditional realizers using grammar rules, our method realize...
Wei He, Haifeng Wang, Yuqing Guo, Ting Liu
IC3
2009
15 years 3 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
196
Voted
LSSC
2007
Springer
16 years 1 days ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
ISTA
2008
15 years 7 months ago
Towards a Theory of Services
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
Wolfgang Reisig