Skip to search formSkip to main contentSkip to account menu

SMT A07

Known as: SMT-A07 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Combining symbolic techniques such as: (i) SMT solving, (ii) rewriting modulo theories, and (iii) model checking can enable the… 
2013
2013
We participated in the IWSLT 2013 Evaluation Campaign for the MT track for two official directions: German$English. Our system… 
2011
2011
This paper documents recent work carried out for PeEn-SMT, our Statistical Machine Translation system for translation between the… 
2011
2011
En desarrollo Aspectos térmicos de la ejecución de programas: estudio experimental sobre un Pentium 4 2011 Prebúsquedas hardware… 
2011
2011
Let MR be a right R-module. We introduce the concept of right generalized p.q.-Baer modules (or simply, right GPQ modules) to… 
2006
2006
Many natural language processes have some degree of preprocessing of data: tokenisation, stemming and so on. In the domain of… 
2006
2006
PurposeNitric oxide synthase (NOS) inhibitors were confirmed to correct the hypotension associated with septic shock, but the… 
2005
2005
Motivasi, gaya pembelajaran dan kebolehan kognitif memainkan peranan penting dan menjadi penentu kepada kejayaan akademik… 
1996
1996
Prostanoids, including prostaglandin E2 (PGE2), suppress macrophage effector functions against Mycobacterium tuberculosis. PGE2…