288 search results - page 32 / 58 » Compositional Machine Transliteration |
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
BMCBI
2008
15 years 2 months ago
2008
Background: Prediction of bacterial virulent protein sequences has implications for identification and characterization of novel virulence-associated factors, finding novel drug/v...
118
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The paper proposes a hypernetwork-based method for stock market prediction through a binary time series problem. Hypernetworks are a random hypergraph structure of higher-order...
108
click to vote
TVLSI
2008
15 years 1 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
123
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...